Electronic Books

Total Books: 101 - 120 /300

Computer Aided Verification

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...

Computer Aided Verification

This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference ...

Computer Vision and Internet of Things : Technologies and Applications / Lavanya Sharma, Mukesh Carpenter

Explores the utilization of Internet of Things (IoT) with computer vision and its underlying technologies in different applications ...

Control of Traffic Systems in Buildings

Control of Traffic Systems in Buildings presents the state of the art in the analysis and control of transportation systems ...

Crypto-Finance, Law and Regulation : Governing an Emerging Ecosystem / Joseph Lee

Explores the emergence of a decentralised and disintermediated crypto-market and investigates the way in which it can transform ...

Current Topics in Artificial Intelligence

The book presented address all current issues of artificial intelligence ranging from methodological and foundational aspects ...

Current Topics in Artificial Intelligence

The book presented address all current issues of artificial intelligence ranging from methodological and foundational aspects ...

Current Trends in High Performance Computing and Its Applications

This book contains variety of subjects in modern high performance computing and its applications, such as numerical and ...

DNA Computing

Constitutes the post-proceedings of the 7th International Workshop on DNA-Based Computers, held in Florida in 2001. The 26 ...

Deep Statistical Comparison for Meta-heuristic Stochastic Optimization Algorithms / Tome Eftimov, Peter Korošec

Presents a comprehensive comparison of the performance of stochastic optimization algorithms Includes an introduction to ...

Design Computing and Cognition 06

This is the second volume of the new conference series Design Computing and Cognition (DCC) that takes over from and subsumes ...

Design and Analysis of Learning Classifier Systems : A Probabilistic Approach

This book provides a comprehensive introduction to the design and analysis of Learning Classifier Systems (LCS) from the ...

Design by Evolution : Advances in Evolutionary Design

This book showcases the state of the art in evolutionary algorithms for design. The chapters are organized by experts in ...

Differential Evolution

Problems demanding globally optimal solutions are ubiquitous, yet many are intractable when they involve constrained functions ...

Diversity and Evolution of Butterfly Wing Patterns

is book facilitates an integrative understanding of the development, genetics and evolution of butterfly wing patterns. To ...

Domain Decomposition Methods in Science and Engineering XVII

This volume contains a selection of papers presented at the 17th International Conference on Domain Decomposition Methods ...

Economics: Complex Windows

This volume contains papers that provide an analysis of topics in the following areas: Agent Based Models, Non-linear Time ...

Embedded Computer Systems: Architectures, Modeling, and Simulation :8th International Workshop, SAMOS 2008, Samos, Greece, July 21-24, 2008. Proceedings

This book constitutes the refereed proceedings of the 8th International Workshop on Systems, Architectures, Modeling, and ...

Embedded Robotics : From Mobile Robots to Autonomous Vehicles with Raspberry Pi and Arduino / Thomas Bräunl

Presents a unique examination of mobile robots and autonomous vehicles using embedded systems, from introductory to advanced ...

Engineering Evolutionary Intelligent Systems

This edited volume 'Engineering Evolutionary Intelligent Systems' deals with the theoretical and methodological aspects, ...

Total Books: 101 - 120 /300