Filter by
Tools and algorithms for the construction and analysis of systems : 26th Inte…
This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was …
- Edition
- -
- ISBN/ISSN
- 9783030452377
- Collation
- xxiii, 425p. : ill.
- Series Title
- -
- Call Number
- 004.21 TOO t
Disability in the industrial revolution
The Industrial Revolution produced injury, illness and disablement on a large scale and nowhere was this more visible than in coalmining. Disability in the Industrial Revolution sheds new light on the human cost of industrialisation by examining the lives and experiences of those disabled in a sector that was vital to Britain’s economic growth. Although it is often assumed that industrialisat…
- Edition
- -
- ISBN/ISSN
- 978152612577
- Collation
- 241 p.; 22 cm
- Series Title
- Disability History
- Call Number
- 303.64 BLA d
Integrating information into the engineering design process
Engineering design is a fundamental problem-solving model used by the discipline. Effective problem-solving requires the ability to find and incorporate quality information sources. To teach courses in this area effectively, educators need to understand the information needs of engineers and engineering students and their information gathering habits. This book provides essential guidance for e…
- Edition
- -
- ISBN/ISSN
- 9781557536495
- Collation
- -
- Series Title
- -
- Call Number
- 373.24 FOS i
Cultures in Collision and Conversation : Essays in the Intellectual History o…
In Cultures in Collision and Conversation, David Berger addresses three broad themes in Jewish intellectual history: Jewish approaches to cultures external to Judaism and the controversies triggered by this issue in medieval and modern times; the impact of Christian challenges and differing philosophical orientations on Jewish interpretation of the Bible; and Messianic visions, movements, and d…
- Edition
- -
- ISBN/ISSN
- 9781618117915
- Collation
- XIII, 367 p.
- Series Title
- Judaism and Jewish Life
- Call Number
- 296.39 BER c
The Linguistic integration of adult migrants. Some lessons from research
This volume provides a comprehensive report on a symposium organised by the Council of Europe (Strasbourg) in 2016 in the context of its human rights agenda. Its purpose was to explore some of the ways in which scientific evidence can inform the development and implementation of policy and practice designed to support the linguistic integration of adult migrants.
- Edition
- -
- ISBN/ISSN
- 9783110477498
- Collation
- xv, 431 p.; 22 cm.
- Series Title
- -
- Call Number
- 418 LIN l
A practical guide to TPM 2.0 : using the Trusted Platform Module in the new a…
A Practical Guide to TPM 2.0: Using the Trusted Platform Module in the New Age of Security is a straight-forward primer for developers. It shows security and TPM concepts, demonstrating their use in real applications that the reader can try out. Simply put, this book is designed to empower and excite the programming community to go out and do cool things with the TPM. The approach is to ramp t…
- Edition
- -
- ISBN/ISSN
- 9781430265849
- Collation
- xxvii, 392p. : ill.
- Series Title
- -
- Call Number
- 005.82 ART p
Demystifying Internet of Things security : successful IoT device/edge and pla…
Break down the misconceptions of the Internet of Things by examining the different security building blocks available in Intel Architecture (IA) based IoT platforms. This open access book reviews the threat pyramid, secure boot, chain of trust, and the SW stack leading up to defense-in-depth. The IoT presents unique challenges in implementing security and Intel has both CPU and Isolated Securit…
- Edition
- -
- ISBN/ISSN
- 9781484228968
- Collation
- xxx, 488p. : ill.
- Series Title
- -
- Call Number
- 005.8 DEM d
Mental imagery in clinical disorders
Mental imagery refers to the mental simulation or recreation of perceptual experience across different sensory modalities. The exploration of mental imagery represents a new and important area within clinical psychology, but arguably one still in its infancy. While mental imagery has featured prominently in recent theoretical accounts of disorders as diverse as post-traumatic stress disorder, p…
- Edition
- -
- ISBN/ISSN
- 9782889452620
- Collation
- 106 p.; 22 cm.
- Series Title
- -
- Call Number
- 362.2 PEA m
Social networks with rich edge semantics
Social Networks with Rich Edge Semantics introduces a new mechanism for representing social networks in which pairwise relationships can be drawn from a range of realistic possibilities, including different types of relationships, different strengths in the directions of a pair, positive and negative relationships, and relationships whose intensities change with time. For each possibility, the …
- Edition
- -
- ISBN/ISSN
- 9781315390628
- Collation
- xx, 210p. : ill.
- Series Title
- -
- Call Number
- 302.3015118 ZHE s
Planning for ecosystem services in cities
This open access book presents current knowledge about ecosystem services (ES) in urban planning, and discusses various urban ES topics such as spatial distribution of urban ecosystems, population distribution, and physical infrastructure properties. The book addresses all these issues by: i) investigating to what extent ecosystem services are currently included in urban plans, and discussing w…
- Edition
- -
- ISBN/ISSN
- 9783030200244
- Collation
- ix, 87p. : ill.
- Series Title
- -
- Call Number
- 333.7 PLA p
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography