Filter by
Formal Modeling and Verification of Cyber-Physical Systems
This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to modeling and verification of cyber-physical systems. This covers several aspects of the field, including hybrid systems and model checking, as well as applications in robotics and aerospace systems. …
- Edition
- -
- ISBN/ISSN
- 9783658099947
- Collation
- X, 313 pages
- Series Title
- -
- Call Number
- -
Databases in networked information systems
This book constitutes the refereed proceedings of the 10th International Workshop on Databases in Networked Information Systems, DNIS 2015, held in Aizu-Wakamatsu, Japan, March 2015. The 14 revised full papers presented together with 7 invited papers were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on big data analysis, information and…
- Edition
- -
- ISBN/ISSN
- 9783319163130
- Collation
- x, 289 pages
- Series Title
- -
- Call Number
- 004.6
Theory and Practice of Natural Computing Fourth International Conference, TP…
This book constitutes the refereed proceedings of the 4th International Conference on Theory and Practice of Natural Computing, TPNC 2015, held in Mieres, Spain, in December 2015. The 12 revised full papers presented together with 20 invited talks in this book were carefully reviewed and selected from 30 submissions. The scope of TPNC is rather broad, containing topics of either theoretical,…
- Edition
- -
- ISBN/ISSN
- 978-3-319-26841-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Theory and Applications of Smart Cameras
This book presents an overview of smart camera systems, considering practical applications but also reviewing fundamental aspects of the underlying technology. It introduces in a tutorial style the principles of sensing and signal processing, and also describes topics such as wireless connection to the Internet of Things (IoT) which is expected to be the biggest market for smart cameras. It…
- Edition
- -
- ISBN/ISSN
- 978-94-017-9987-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Theory and Applications of Applied Electromagnetics APPEIC 2015
In this book, experts from academia and industry present the latest advances in scientific theory relating to applied electromagnetics and examine current and emerging applications particularly within the fields of electronics, communications, and computer technology. The book is based on presentations delivered at APPEIC 2015, the 2nd Applied Electromagnetic International Conference, held in K…
- Edition
- -
- ISBN/ISSN
- 978-3-319-30117-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Theory and Applications of Applied Electromagnetics APPEIC 2014
In this book, experts from academia and industry present the latest advances in scientific theory relating to applied electromagnetics and examine current and emerging applications particularly within the fields of electronics, communications, and computer technology. The book is based on presentations delivered at APPEIC 2014, the 1st Applied Electromagnetic International Conference, held in B…
- Edition
- -
- ISBN/ISSN
- 978-3-319-17269-9
- Collation
- -
- Series Title
- -
- Call Number
- -
Theoretical Aspects of Spatial-Temporal Modeling
This book provides a modern introductory tutorial on specialized theoretical aspects of spatial and temporal modeling. The areas covered involve a range of topics which reflect the diversity of this domain of research across a number of quantitative disciplines. For instance, the first chapter provides up-to-date coverage of particle association measures that underpin the theoretical properties…
- Edition
- -
- ISBN/ISSN
- 978-4-431-55336-6
- Collation
- -
- Series Title
- -
- Call Number
- -
Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium,…
This book constitutes the refereed proceedings of the 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015, held in Cali, Colombia, in October 2015. The 25 revised full papers presented together with 7 invited talks, 3 tool papers, and 2 short papers were carefully reviewed and selected from 93 submissions. The papers cover various topics such as algebra and category…
- Edition
- -
- ISBN/ISSN
- 978-3-319-25150-9
- Collation
- -
- Series Title
- -
- Call Number
- -
The Windows 10 Accessibility Handbook Supporting Windows Users with Special …
Learn everything you need to know about making Windows 10 easier to use, see, hear, touch, or read, whether you are using it yourself, setting it up for another person, teaching others about ease of use at work or in the home, or working with a variety of people with specific needs in the community. What You'll Learn: Manage accessibility in the Settings app, and make use of the Ease of A…
- Edition
- -
- ISBN/ISSN
- 978-1-4842-1733-7
- Collation
- -
- Series Title
- -
- Call Number
- -
The Visual Language of Technique Volume 1 - History and Epistemology
The book is inspired by the first seminar in a cycle connected to the celebrations of the 150th anniversary of the Politecnico di Milano. "Dealing with the Image Ivory Towers and Virtual Bridges" was the motto of this meeting, aiming to stimulate a discussion among engineers, designers and architects, all of whom are traditionally involved in the use of the Image as a specialized language suppo…
- Edition
- -
- ISBN/ISSN
- 978-3-319-05350-9
- 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