Filter by
Model Checking Software
This book constitutes the refereed proceedings of the 22nd International Symposium on Model Checking Software, SPIN 2015, held in Stellenbosch, South Africa, in August 2015. The 18 papers presented – 14 regular papers and 4 tool or new idea papers – were carefully reviewed and selected from 27 submissions. They cover the field between theoretical advances and practical considerations and ar…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-23403-8
- Collation
- XVIII, 319
- Series Title
- Lecture Notes in Computer Science
- Call Number
- -
Intelligent Cloud Computing: First International Conference, ICC 2014, Muscat…
This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by…
- Edition
- -
- ISBN/ISSN
- 978-3-319-19847-7
- Collation
- -
- Series Title
- -
- Call Number
- -
Precedence: Social Differentiation in the Austronesian World
This collection of papers is the sixth volume in the Comparative Austronesian series. The papers that comprise this volume examine the concept of precedence as a form of local discourse and as a mechanism for ordering status, at different levels, within specific Austronesian-speaking societies. This is the first volume of its kind to focus entirely on precedence and to provide an explication of…
- Edition
- -
- ISBN/ISSN
- 9781921536472
- Collation
- -
- Series Title
- -
- Call Number
- 301 VIS p
Snow Sports Trauma and Safety: Conference Proceedings of the International So…
This book covers the latest in snow sport epidemiology, snow sport injuries and treatment, and biomechanical/mechanical engineering related to snow sports injuries (mechanisms of injury, injury prevention by equipment design, injury prevention by design of resort features, and more). It brings together a collection of papers from the International Congress on Ski Trauma and Safety (the biennal …
- Edition
- -
- ISBN/ISSN
- 9783319527550
- Collation
- -
- Series Title
- -
- Call Number
- -
Innovations in Derivatives Markets : Fixed income Modeling, Valuation Adjustm…
Quantitative Finance; Banking; Statistics for Business/Economics/Mathematical Finance/Insurance; Mathematical Modelling and Industrial Mathematics; Probability Theory and Stochastic Processes; Financial Engineering
- Edition
- -
- ISBN/ISSN
- 9783319724065
- Collation
- -
- Series Title
- -
- Call Number
- 650
Ester Boserup’s Legacy on Sustainability; Orientations for Contemporary Res…
Arising from a scientific conference marking the 100th anniversary of her birth, this book honors the life and work of the social scientist and diplomat Ester Boserup, who blazed new trails in her interdisciplinary approach to development and sustainability.
- Edition
- -
- ISBN/ISSN
- 9789401786775
- Collation
- -
- Series Title
- -
- Call Number
- T 300.72 KOW e
Ester Boserup’s Legacy on Sustainability: Orientations for Contemporary Res…
Arising from a scientific conference marking the 100th anniversary of her birth, this book honors the life and work of the social scientist and diplomat Ester Boserup, who blazed new trails in her interdisciplinary approach to development and sustainability.
- Edition
- -
- ISBN/ISSN
- 9789401786775
- Collation
- -
- Series Title
- -
- Call Number
- 301 EST e
The Unreal Estate Guide to Detroit
Intense attention has been paid to Detroit as a site of urban crisis. This crisis, however, has not only yielded the massive devaluation of real estate that has so often been noted; it has also yielded an explosive production of seemingly valueless urban property that has facilitated the imagination and practice of alternative urbanisms. The first sustained study of Detroit’s alternative urba…
- Edition
- -
- ISBN/ISSN
- 9780472900282
- Collation
- -
- Series Title
- -
- Call Number
- 720 HER u
Internetgeographien: Beobachtungen zum Verhältnis von Internet, Raum und Ges…
Dieser Band führt zwei interdisziplinäre Forschungsfelder zusammen: Die Untersuchung der gesellschaftlichen Bedeutung des Internets und die theoretische Diskussion zum Verhältnis von Raum und Gesellschaft. Die räumlichen und gesellschaftlichen Dimensionen des Internets werden anhand physisch-materieller, struktureller, perzeptiver und kommunikativer Aspekte analysiert. Sichtbar wird dabei n…
- Edition
- -
- ISBN/ISSN
- 9783515085069
- Collation
- -
- Series Title
- -
- Call Number
- -
Innovations in Derivatives Markets: Fixed income Modeling, Valuation Adjustme…
Quantitative Finance; Banking; Statistics for Business/Economics/Mathematical Finance/Insurance; Mathematical Modelling and Industrial Mathematics; Probability Theory and Stochastic Processes; Financial Engineering
- Edition
- -
- ISBN/ISSN
- 9783319724065
- 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