Electronic Books

Automated Technology for Verification and Analysis

This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...

Automated Technology for Vertification and Analysis

The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main ...

Automotive Software- Connected Services in Mobile Networks

Software development for the automotive domain is currently subject to a silent revolution. On the one hand, software has ...

Beginning Ubuntu Linux

The book starts by introducing you to the world of Linux. Then, it outlines Ubuntu installation in illustrated steps, after ...

Beginning Ubuntu Linux

Beginning Ubuntu Linux is the perfect guide for those switching to the world's favorite Linux. The new edition has been ...

Bio-inspired Information and Communication Technologies

This book constitutes the refereed conference proceedings of the 12th International Conference on Bio-inspired Information ...

Bioinspired Optimization Methods and Their Applications : 9th International Conference, BIOMA 2020, Brussels, Belgium, November 19–20, 2020, Proceedings

This book constitutes the refereed proceedings of the 9th International Conference on Bioinspired Optimization Methods and ...

Biomedical Visualisation

This edited book explores the use of technology to enable us to visualise the life sciences in a more meaningful and engaging ...

Biometric Systems

The use of computers to recognize humans from physical and behavioral traits dates back to the digital computer evolution ...

Biomimicry for Optimization, Control, and Automation

In this book, we focus onhowtousebiomimicryof the functionaloperationofthe “hardwareandso- ware” of biological systems ...

Brain-Computer Interfaces : An International Assessment of Research and Development Trends

This WTEC study gathered information on worldwide status and trends in BCI research to disseminate to government decisionmakers ...

Brain-Inspired Computing 4th International Workshop, BrainComp 2019, Cetraro, Italy, July 15–19, 2019, Revised Selected Papers

Building the Infrastructure for Cloud Security : A Solutions view

For cloud users and providers alike, security is an everyday concern, yet there are very few books covering cloud security ...

CMOS Active Inductors and Transformers : Principle, Implementation, and Applications

CMOS Active Inductors and Transformers: Principle, Implementation, and Applications provides a systematic presentation and ...

CMOS Current-Mode Circuits for Data Communications

This book addresses the analysis and design principles of CMOS current mode circuits and their applications for data communications. ...

Closed-Loop Control of Blood Glucose

The purpose of this book is to introduce the ?eld of closed-loop blood g- cose control, in a simple manner, to the reader. ...

Cloud Computing and Services Science

This book constitutes extended, revised and selected papers from the 10th International Conference on Cloud Computing and ...

Cloud Computing, Smart Grid and Innovative Frontiers in Telecommunications : 9th EAI International Conference, CloudComp 2019, and 4th EAI International Conference, SmartGIFT 2019, Beijing, China, December 4-5, 2019, and December 21-22, 2019

This book constitutes the refereed proceedings of the 9thInternational Conference on Cloud Computing, CloudComp 2019, and ...

Co-design for System Acceleration

This book is concerned with studying the co-design methodology in general, and how to determine the more suitable interface ...

Code: The Hidden Language of Computer Hardware and Software - 2nd ed. / Charles Petzold

The classic guide to how computers work, updated with new chapters and interactive graphics Computers are everywhere --- ...