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, ...
اقرأ المزيد
