Formal Approaches to Software Testing (vol. # 3997)
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to ...
اقرأ المزيد
Formal Methods and Testing : An Outcome of the FORTEST Network, Revised Selected Papers
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network ...
اقرأ المزيد
Formal Models of Communicating Systems
This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that ...
اقرأ المزيد
Fundamentals of Image Data Mining : Analysis, Features, Classification and Retrieval / Dengsheng Zhang
Presents a comprehensive review of the essentials of image data mining, and the latest cutting-edge techniques used in the ...
اقرأ المزيد
Fundamentals of Pattern Recognition and Machine Learning
Fundamentals of Pattern Recognition and Machine Learning is designed for a one or two-semester introductory course in Pattern ...
اقرأ المزيد
Global Design to Gain a Competitive Edge : An Holistic and Collaborative Design Approach based on Computational Tools
Global Design to Gain a Competitive Edge collects together papers from the 2008 International Conference on Advanced Design ...
اقرأ المزيد
Hydrogen-based Autonomous Power Systems : Techno-economic Analysis of the Integration of Hydrogen in Autonomous Power Systems
Hydrogen-based Autonomous Power Systems contains a review of hydrogen technologies suitable for RES-based autonomous power ...
اقرأ المزيد
Implementation and Application of Automata (vol. # 3317)
This volume of Lecture Notes in Computer Science contains the revised versions of the papers presented at the 9th International ...
اقرأ المزيد
Implementation and Application of Functional Languages (vol. # 3474)
The 16th International Workshop on Implementation and Application of Fu- tional Languages (IFL 2004) was held in Lub ¨ ...
اقرأ المزيد
Intelligent Computing Theories and Application
This two-volume set of LNCS 12463 and LNCS 12464 constitutes - in conjunction with the volume LNAI 12465 - the refereed proceedings ...
اقرأ المزيدIntelligent Educational Machines
Artificial Intelligence and Education is an ever-growing research area. It uses artificial intelligence tools and techniques ...
اقرأ المزيد
Intelligent Systems and Applications : Proceedings of the 2020 Intelligent Systems Conference (IntelliSys) Volume 1
The book Intelligent Systems and Applications - Proceedings of the 2020 Intelligent Systems Conference is a remarkable collection ...
اقرأ المزيد
Intelligent Systems and Applications : Proceedings of the 2020 Intelligent Systems Conference (IntelliSys) Volume 2
The book Intelligent Systems and Applications - Proceedings of the 2020 Intelligent Systems Conference is a remarkable collection ...
اقرأ المزيد
Intelligent Systems and Applications : Proceedings of the 2020 Intelligent Systems Conference (IntelliSys) Volume 3
The book Intelligent Systems and Applications - Proceedings of the 2020 Intelligent Systems Conference is a remarkable collection ...
اقرأ المزيد
Language Technologies for the Challenges of the Digital Age
This open access volume constitutes the refereed proceedings of the 27th biennial conference of the German Society for Computational ...
اقرأ المزيد
Laser Fabrication and Machining of Materials
Laser Fabrication and Machining of Materials introduces readers to the fundamental properties and physical phenomena of laser ...
اقرأ المزيد
Logics of Specification Languages
The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: ...
اقرأ المزيد
Machine Ethics
This book offers the first systematic guide to machine ethics, bridging between computer science, social sciences and philosophy. ...
اقرأ المزيد
Machines, Computations, and Universality
Constitutes the post-proceedings of the 4th International Conference on Machines, Computations, and Universality, MCU 2004, ...
اقرأ المزيد
Machines, Computations, and Universality
The 18 revised full papers presented together with nine invited papers cover Turing machines, register machines, word processing, ...
اقرأ المزيد
