Filter by
Formal Modeling and Analysis of Timed Systems
This book constitutes the refereed proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2015, held in Madrid, Spain, in September 2015. The conference was organized under the umbrella of Madrid Meet 2015, a one week event focussing on the areas of formal and quantitative analysis of systems, performance engineering, computer safety, and i…
- Edition
- -
- ISBN/ISSN
- 9783319229751
- Collation
- X, 321 pages
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Michael Field': Poetry, Aestheticism and the Fin de Siècle
'Michael Field' (1884–1914) was the pseudonym of two women, the aunt and niece Katharine Bradley and Edith Cooper, who lived and wrote together as 'lovers'. The large oeuvre contains poems, dramas, and a vast diary. Marion Thain recounts the development of a fascinating and idiosyncratic poetic persona, which became a self-reflexive study in aestheticism. The constructed life and work of 'Mic…
- Edition
- -
- ISBN/ISSN
- 9780511484933
- Collation
- -
- Series Title
- -
- Call Number
- -
Foliation Theory in Algebraic Geometry
Topics covered include: Fano and del Pezzo foliations; the cone theorem and rank one foliations; the structure of symmetric differentials on a smooth complex surface and a local structure theorem for closed symmetric differentials of rank two; an overview of lifting symmetric differentials from varieties with canonical singularities and the applications to the classification of AT bundles on si…
- Edition
- -
- ISBN/ISSN
- 978-3-319-24460-0
- Collation
- VII, 216 hlm.
- Series Title
- Simons Symposia
- Call Number
- -
A Decade of Extrasolar Planets around Normal Stars
Humans have long thought that planetary systems similar to our own should exist around stars other than the Sun, yet the search for planets outside our Solar System has had a dismal history of discoveries that could not be confirmed. However, this all changed in 1995, after which astonishing progress can be seen in this field; we now know of more than 200 extrasolar planets. These findings mark…
- Edition
- Mario Livio,Mario Liv,iJeff Valentio
- ISBN/ISSN
- 9780511536304
- Collation
- -
- Series Title
- Space Telescope Science Institute Symposium Series (19)
- Call Number
- -
The Shadow Banking System Creating Transparency in the Financial Markets
The book shows the fundaments of the shadow banking system and its entities, operations and risks. Focusing on the regulatory aspects, it provides an original view that is able to demonstrate that the lack of supervision is a market failure.
- Edition
- -
- ISBN/ISSN
- 978-1-137-49613-3
- Collation
- -
- Series Title
- -
- Call Number
- -
Imaging and Pathology of Pancreatic Neoplasms: A Pictorial Atlas
Although interest in pancreatic pathology is very high in the radiological and gastroenterological communities, it is still the case that less is known about pathology of the pancreas than about liver pathology, for example. Diagnosis depends on the structure of the pancreatic lesion, which can be directly visualized on US, CT or MR images. This atlas, which encompasses both the imaging and the…
- Edition
- -
- ISBN/ISSN
- 978-88-470-5677-0
- Collation
- XIII, 432
- Series Title
- -
- Call Number
- 615 IMA
Imaging Trauma and Polytrauma in Pediatric Patients
This book provides a detailed and comprehensive overview of the role of diagnostic imaging in the assessment and management of trauma and polytrauma in children. The coverage includes imaging of injuries to the head, thorax, abdomen, bone and musculoskeletal system, with careful attention to the newest imaging techniques, imaging during the course of recovery and imaging of complications. A ser…
- Edition
- -
- ISBN/ISSN
- 978-3-319-08523-4
- Collation
- IX, 188
- Series Title
- -
- Call Number
- 615 IMA
The Doubters Dilemma : Exploring student attrition and retention in universit…
This book explores the extent and causes of attrition and retention in university Language & Culture (L&C) programs through a detailed analysis of an institutional case study at The Australian National University (ANU). Using extensive data collected through student surveys, coupled with data mining of university-wide enrolment data, the authors explore the enrolment and progress of students in…
- Edition
- -
- ISBN/ISSN
- 9781760460440
- Collation
- -
- Series Title
- -
- Call Number
- 400 MAR d
Camille Flammarion's The Planet Mars
Camille Flammarion (1842-1925) began his career at 16 as a human computer under the great mathematician U. J. J. Le Verrier at the Paris Observatory. He soon tired of the drudgery; he was drawn to more romantic vistas, and at 19 wrote a book on an idea that he was to make his own—the habitability of other worlds. There followed a career as France’s greatest popularizer of astronomy, with …
- Edition
- -
- ISBN/ISSN
- 978-3-319-09641-4
- Collation
- -
- Series Title
- -
- Call Number
- 523.4
Image Analysis and Processing — ICIAP 2015: 18th International Conference, …
The two-volume set LNCS 9279 and 9280 constitutes the refereed proceedings of the 18th International Conference on Image Analysis and Processing, ICIAP 2015, held in Genoa, Italy, in September 2015. The 129 papers presented were carefully reviewed and selected from 231 submissions. The papers are organized in the following seven topical sections: video analysis and understanding, multiview geom…
- Edition
- -
- ISBN/ISSN
- 978-3-319-23233-1
- Collation
- XXVI, 737
- Series Title
- -
- Call Number
- 004.
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography