Filter by
The Design of Requirements Modelling Languages
This book explains in detail how to define requirements modelling languages – formal languages used to solve requirement-related problems in requirements engineering. It moves from simple languages to more complicated ones and uses these languages to illustrate a discussion of major topics in requirements modelling language design. The book positions requirements problem solving within the…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-18821-8
- Collation
- XII, 286
- Series Title
- -
- Call Number
- -
The DV-Xα Molecular-Orbital Calculation Method
This multi-author contributed volume contains chapters featuring the development of the DV-Xα method and its application to a variety of problems in Materials Science and Spectroscopy written by leaders of the respective fields. The volume contains a Foreword written by the Chairs of Japanese and Korea DV-X alpha Societies. This book is aimed at individuals working in Quantum Chemistry.
- Edition
- 1
- ISBN/ISSN
- 978-3-319-11185-8
- Collation
- X, 361, 146 b/w illustrations, 59 illustrations in colour
- Series Title
- -
- Call Number
- -
The Coral Reef Era: From Discovery to Decline
On 4 June 1629, the Batavia, pride of the Dutch East India Company Fleet, was wrecked on her maiden voyage in a seemingly empty expanse of the Indian Ocean. The question “how did this happen?” led to 300 years of investigation by those curious to solve the enigma: what are corals and how are coral reefs formed?. Relying heavily on primary source material Part 1 traces the sequential evol…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-07479-5
- Collation
- XV, 195, 35 b/w illustrations
- Series Title
- Humanity and the Sea
- Call Number
- -
The Conquest of Cancer
Based on 30 years of clinical and research experience, backed by a careful assessment of four decades of published data, Dr. Faguet documented in The War on Cancer (Springer 2005), early advances in cancer treatment and patient survival that soon stalled. Ten years later and after an exhaustive analysis of evidence-based data available through 2013 that incorporates 755 references, he reveals t…
- Edition
- 1
- ISBN/ISSN
- 978-94-017-9165-6
- Collation
- XV, 249, 19 b/w illustrations, 7 illustrations in colour
- Series Title
- -
- Call Number
- -
The Congruences of a Finite Lattice
This is a self-contained exposition by one of the leading experts in lattice theory, George Grätzer, presenting the major results of the last 70 years on congruence lattices of finite lattices, featuring the author's signature Proof-by-Picture method. Key features: * Insightful discussion of techniques to construct "nice" finite lattices with given congruence lattices and "nice" congruen…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-38798-7
- Collation
- XXXIV, 346, 159 b/w illustrations
- Series Title
- -
- Call Number
- -
The Real and the Complex: A History of Analysis in the 19th Century
This book contains a history of real and complex analysis in the nineteenth century, from the work of Lagrange and Fourier to the origins of set theory and the modern foundations of analysis. It studies the works of many contributors including Gauss, Cauchy, Riemann, and Weierstrass. This book is unique owing to the treatment of real and complex analysis as overlapping, inter-related subject…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-23715-2
- Collation
- XVI, 350, 71 b/w illustrations
- Series Title
- Springer Undergraduate Mathematics Series
- Call Number
- -
The Public Economy in Crisis
This Brief proposes a new theory of public economics which deemphasizes reliance on the free market and affirms the importance of public goods and services within the context of the democratic process and constitutional governance. Public non-market production makes up from a quarter to more than half of all economic activity in advanced democratic nation-states. Yet by imposing market precepts…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-40487-5
- Collation
- XV, 128, 3 b/w illustrations, 4 illustrations in colour
- Series Title
- SpringerBriefs in Economics
- Call Number
- -
The Principles of Geotourism
The book introduces tourism earth-science as a new scientific discipline by applying the principles of earth-science in the study of natural and human tourism resources. It involves studying the geo-scientific characteristics of these tourism resources through surveys, evaluation and aesthetic value assessment. It also discusses about the principles behind geopark establishment and management. …
- Edition
- 1
- ISBN/ISSN
- 978-3-662-46697-1
- Collation
- XXIII, 264, 7 illustrations in colour
- Series Title
- Springer Geography
- Call Number
- -
The Practice of Enterprise Modeling
This volume constitutes the proceedings of the 8th IFIP WG 8.1 Conference on the Practice of Enterprise Modeling held in November 2015 in Valencia, Spain. The PoEM conference series started in 2008 and aims to provide a forum sharing knowledge and experiences between the academic community and practitioners from industry and the public sector. The 23 short papers accepted were carefully revi…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-25897-3
- Collation
- XIII, 389, 122 illustrations in colour
- Series Title
- Lecture Notes in Business Information Processing
- Call Number
- -
The Practical Compendium of Immunisations for International Travel
This inclusive work presents a comprehensive update on vaccines for the international traveller. In over 21 chapters, written by leading writers in travel medicine from Australia, New Zealand and Singapore, vaccinology for travel is explained in accessible terms with a focus on practical information. An initial introduction to immunology proceeds into common travel-related diseases and a ris…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-15922-5
- Collation
- X, 242, 8 b/w illustrations, 8 illustrations in colour
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography