Filter by
Validation of Evolving Software
This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and upgrades, and may be used as a research monograph and a reference book.
- Edition
- -
- ISBN/ISSN
- 978-3-319-10623-6
- Collation
- VIII, 220
- Series Title
- -
- Call Number
- -
Bionic Optimization in Structural Design : Stochastically Based Methods to Im…
The book provides suggestions on how to start using bionic optimization methods, including pseudo-code examples of each of the important approaches and outlines of how to improve them. The most efficient methods for accelerating the studies are discussed. These include the selection of size and generations of a study’s parameters, modification of these driving parameters, switching to gradien…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46596-7
- Collation
- -
- Series Title
- -
- Call Number
- 620
VLSI-SoC: Internet of Things Foundations 22nd IFIP WG 10.5/IEEE Internationa…
This book contains extended and revised versions of the best papers presented at the 22nd IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2014, held in Playa del Carmen, Mexico, in October 2014. The 12 papers included in the book were carefully reviewed and selected from the 33 full papers presented at the conference. The papers cover a wide range of topics …
- Edition
- -
- ISBN/ISSN
- 978-3-319-25279-7
- Collation
- 150 illustrations in colour
- Series Title
- -
- Call Number
- -
Biomimetic Design Method for Innovation and Sustainability
Presenting a novel biomimetic design method for transferring design solutions from nature to technology, this book focuses on structure-function patterns in nature and advanced modeling tools derived from TRIZ, the theory of inventive problem-solving. The book includes an extensive literature review on biomimicry as an engine of both innovation and sustainability, and discusses in detail th…
- Edition
- -
- ISBN/ISSN
- 978-3-319-33997-9
- Collation
- -
- Series Title
- -
- Call Number
- 620
Biometric and Intelligent Decision Making Support
This book presents different methods for analyzing the body language (movement, position, use of personal space, silences, pauses and tone, the eyes, pupil dilation or constriction, smiles, body temperature and the like) for better understanding people’s needs and actions, including biometric data gathering and reading. Different studies described in this book indicate that sufficiently much …
- Edition
- -
- ISBN/ISSN
- 978-3-319-13659-2
- Collation
- -
- Series Title
- -
- Call Number
- 620
VLSI-SoC: At the Crossroads of Emerging Trends 21st IFIP WG 10.5/IEEE Intern…
This book contains extended and revised versions of the best papers presented at the 21st IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2013, held in Istanbul, Turkey, in October 2013. The 11 papers included in the book were carefully reviewed and selected from the 48 full papers presented at the conference. An extended version of a previously unpublished …
- Edition
- -
- ISBN/ISSN
- 978-3-319-23799-2
- Collation
- XIV, 267
- Series Title
- -
- Call Number
- -
VI Latin American Congress on Biomedical Engineering CLAIB 2014, Paraná, Arg…
This volume presents the proceedings of the CLAIB 2014, held in Paraná, Entre Ríos, Argentina 29, 30 & 31 October 2014. The proceedings, presented by the Regional Council of Biomedical Engineering for Latin America (CORAL) offer research findings, experiences and activities between institutions and universities to develop Bioengineering, Biomedical Engineering and related sciences. The confe…
- Edition
- -
- ISBN/ISSN
- 978-3-319-13117-7
- Collation
- 954 b/w illustrations
- Series Title
- -
- Call Number
- -
Distributed optimization-based control of multi-agent networks in complex env…
This book offers a concise and in-depth exposition of specific algorithmic solutions for distributed optimization based control of multi-agent networks and their performance analysis. It synthesizes and analyzes distributed strategies for three collaborative tasks: distributed cooperative optimization, mobile sensor deployment and multi-vehicle formation control. The book integrates miscellaneo…
- Edition
- -
- ISBN/ISSN
- 9783319190723
- Collation
- xiii, 124 pages
- Series Title
- -
- Call Number
- 629.8
Using the C++ Standard Template Libraries
Using the C++ Standard Template Libraries is a contemporary treatment that teaches the generic programming capabilities that the C++ 14 Standard Library provides. In this book, author Ivor Horton explains what the class and function templates available with C++ 14 do, and how to use them in a practical context. You'll learn how to create containers, and how iterators are used with them to ac…
- Edition
- -
- ISBN/ISSN
- 978-1-4842-0004-9
- Collation
- XXV, 489
- Series Title
- -
- Call Number
- -
Handbook of Petroleum Processing
This extensively updated second edition of the already valuable reference targets research chemists and engineers who have chosen a career in the complex and essential petroleum industry, as well as other professionals just entering the industry who seek a comprehensive and accessible resource on petroleum processing. The handbook describes and discusses the key components and processes that ma…
- Edition
- -
- ISBN/ISSN
- 978-3-319-14528-0
- Collation
- XVI, 1913
- Series Title
- -
- Call Number
- 621
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography