Filter by
100 Poems: Old and New
Rudyard Kipling (1865–1936), winner of the 1907 Nobel Prize for Literature and author of one of the most popular poems in the English language, 'If–', has long captured the interest of poetry lovers. Here, Thomas Pinney brings together a selection of well-established favourites and the best of the previously uncollected and unpublished poems from The Cambridge Edition of the Poems of Rudyar…
- Edition
- -
- ISBN/ISSN
- 9781107279513
- Collation
- -
- Series Title
- -
- Call Number
- -
Formal Methods for Multicore Programming
This book presents 5 tutorial lectures given by leading researchers at the 15th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2015, held in Bertinoro, Italy, in June 2015. SFM 2015 was devoted to multicore programming and covered topics such as concurrency and coordination mechanisms, architecture and memory models and …
- Edition
- -
- ISBN/ISSN
- 9783319189413
- Collation
- VII, 211 hlm.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Formal Methods and Software Engineering
This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, in November 2015. The 27 revised full papers presented were carefully reviewed and selected from 82 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state …
- Edition
- -
- ISBN/ISSN
- 9783319254234
- Collation
- XXV, 436 hlm.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Databases theory and applications
This book constitutes the refereed proceedings of the 26th Australasian Database Conference, ADC 2015, held in Melbourne, VIC, Australia, in June 2015. The 24 full papers presented together with 5 demo papers were carefully reviewed and selected from 43 submissions. The Australasian Database Conference is an annual international forum for sharing the latest research advancements and novel appli…
- Edition
- -
- ISBN/ISSN
- 9783319195483
- Collation
- xxv, 334 pages
- Series Title
- -
- Call Number
- 328
Formal Aspects of Component Software
This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014. The 20 full papers presented in this volume were carefully reviewed and selected from 44 submissions. They are organized in topical sections named: compositional approaches; adaptation and evolution; application and ex…
- Edition
- -
- ISBN/ISSN
- 9783319153179
- Collation
- X, 385 hlm.
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Forest Hydrology and Catchment Management
For the last three centuries forests have been recognised as providing the best water catchments and valued for their sustained output of high quality water. In Australia, work which was commenced fifty years ago has come to fruition and is providing new information on forest hydrology issues. The book focusses on the issues of small streams, including catchment definition, slope, hydrograph fo…
- Edition
- -
- ISBN/ISSN
- 978-94-017-9337-7
- Collation
- XIV, 268 hlm.
- Series Title
- -
- Call Number
- -
Theory of Reproducing Kernels and Applications
This book provides a large extension of the general theory of reproducing kernels published by N. Aronszajn in 1950, with many concrete applications. In Chapter 1, many concrete reproducing kernels are first introduced with detailed information. Chapter 2 presents a general and global theory of reproducing kernels with basic applications in a self-contained way. Many fundamental operations amo…
- Edition
- -
- ISBN/ISSN
- 978-981-10-0530-5
- Collation
- -
- Series Title
- -
- Call Number
- -
This Great Firebrand': William Laud and Scotland, 1617-1645
William Laud, Archbishop of Canterbury (1633-45), remains one of the most controversial figures in British ecclesiastical and political history. His rise to prominence under Charles I, his contribution to the shaping and implementation of contentious religious policies and his subsequent and catastrophic downfall are fundamental to our understanding of the religious and political developments w…
- Edition
- -
- ISBN/ISSN
- 9781787440326
- Collation
- -
- Series Title
- -
- Call Number
- -
Food Security and Industrial Clustering in Northeast Asia
This book integrates diversified methodologies of area studies, regional economic development, regional science, and related fields to draw up a strategy for forming the “regional food industrial cluster” in Northeast Asia. This is done by assigning “innovation” to a core concept, with the basic problem of food security as the horizontal axis and the areas of Northeast Asia as the verti…
- Edition
- -
- ISBN/ISSN
- 978-4-431-55282-6
- Collation
- XII, 282 hlm.
- Series Title
- New Frontiers in Regional Science: Asian Perspectives
- Call Number
- -
Troilus and Criseyde': A Reader's Guide
'Troilus and Criseyde', Geoffrey Chaucer's most substantial completed work, is a long historical romance; its famous tale of love and betrayal in the Trojan War later inspired William Shakespeare. This reader's guide, written specifically for students of medieval literature, provides a scene-by-scene paraphrase and commentary on the whole text. Each section explains matters of meaning, interpre…
- Edition
- -
- ISBN/ISSN
- 9781139030915
- Collation
- -
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography