Filter by
Hardware and Software: Verification and Testing: 11th International Haifa Ver…
This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015. The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on hybrid systems; tools; verification of robotics; symbolic execution; m…
- Edition
- -
- ISBN/ISSN
- 978-3-319-26286-4
- Collation
- XVI, 293
- Series Title
- -
- Call Number
- 004 HAN
The Icelandic Financial Crisis
This book presents a detailed account of Iceland’s recovery from the tumultuous banking collapse that overturned its financial industry in 2008. Early chapters recount how Iceland’s central bank was unable to follow the quantitative easing policies of the time to print money and save the banks, while serving the world´s smallest currency area. The book goes on to explore how the government…
- Edition
- -
- ISBN/ISSN
- 978-1-137-39455-2
- Collation
- XVI, 349
- Series Title
- Palgrave Macmillan Studies in Banking and Financial Institutions
- Call Number
- -
The ISRM Suggested Methods for Rock Characterization, Testing and Monitoring:…
This book is a collection of ISRM suggested methods for testing or measuring properties of rocks and rock masses both in the laboratory and in situ, as well as for monitoring the performance of rock engineering structures. The first collection (Yellow Book) has been published in 1981. In order to provide access to all the Suggested Methods in one volume, the ISRM Blue Book was published in 2007…
- Edition
- -
- ISBN/ISSN
- 978-3-319-07713-0
- Collation
- XIII, 293
- Series Title
- -
- Call Number
- -
The Hunt for FOXP5
Initially caught helplessly between well-meaning fellow scientists, the government and more sinister agents, Michelle, with the help of a host of unlikely heroes, eventually takes control and finds the courage to confront the decision of whether to save human lives or humanity.
- Edition
- -
- ISBN/ISSN
- 978-3-319-28961-8
- Collation
- VII, 251
- Series Title
- Science and Fiction
- Call Number
- -
The Humanitarian Challenge
Drawing on theory and practice, and spanning a broad range of subject matter, the book explores the origin of key concepts such as human security, reconciliation and resilience and questions their effectiveness in the pursuit of humanitarian ends. It also charts current developments in the humanitarian system, in particular in its legal and financial frameworks. Issues relating to humanitaria…
- Edition
- -
- ISBN/ISSN
- 978-3-319-13470-3
- Collation
- XII, 286
- Series Title
- -
- Call Number
- -
The Human Face of Ambient Intelligence
humanities. It is divided into two main parts: Part 1 is about different permutations of enabling technologies as well as core computational capabilities, namely context awareness, implicit and natural interaction, and intelligent behavior. It details the existing and upcoming prerequisite technologies, and elucidates the application and convergence of major current and future computing trends.…
- Edition
- -
- ISBN/ISSN
- 978-94-6239-130-7
- Collation
- XXXII, 523
- Series Title
- Atlantis Ambient and Pervasive Intelligence
- Call Number
- -
The Hsp60 Chaperonin
In this unique overview of the Hsp60 chaperonin, Peter Bross addresses molecular biologists, medical research scientists and individuals interested in molecular or general biology. First, Bross discusses the basics of the Hsp60 chaperonin in terms of its structure and the molecular mechanisms determining its function. Second, the author highlights the multiple roles of Hsp60 for cellular system…
- Edition
- -
- ISBN/ISSN
- 978-3-319-26088-4
- Collation
- XV, 85
- Series Title
- SpringerBriefs in Molecular Science
- Call Number
- -
My Math GPS : Elementary Algebra Guided Problem Solving
My Math GPS: Elementary Algebra Guided Problem Solving is a textbook that aligns to the CUNY Elementary Algebra Learning Objectives that are tested on the CUNY Elementary Algebra Final Exam (CEAFE). This book contextualizes arithmetic skills into Elementary Algebra content using a problem-solving pedagogy. Classroom assessments and online homework are available from the authors.
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 512 COR m
21st Century Theories of Education Administration
Educational administrative practitioners evaluate theories, implement practices andrene leadership strategies daily. The exploration of the leadership gap betweentheory and praxis is a quantum undertaking. Quantum physicists explain thepredictable behavior of particles and the energy they contain using quantummechanics (Izquierdo-Aymerich and Aduriz-Bravo 2009).
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 370 PEN t
A Learning Approach to School Discipline : Problem Solving Instead of Punishing
"A Learning Approach to School Discipline: Problem Solving Instead of Punishing" is one of the free open textbooks for Tertiary level. Feel free to use, adapt and modify the content to your own needs, and share the improved content with others because the book is offered under Creative Commons (CC) license. It allows users to repurpose the materials under the condition that original authors’ …
- Edition
- -
- ISBN/ISSN
- -
- Collation
- -
- Series Title
- -
- Call Number
- 370 MAR l
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography