Automated Deduction – CADE-20
This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held ...
Continue reading
Automated Nanohandling by Microrobots
Automated Nanohandling by Microrobots introduces an actuation principle for such microrobots and presents a new robot design. ...
Continue reading
Automated Reasoning with Analytic Tableaux and Related Methods
It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
Continue reading
Automated Reasoning with Analytic Tableaux and Related Methods
It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
Continue reading
Automated Technology for Verification and Analysis
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
Continue reading
Automated Technology for Verification and Analysis
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
Continue reading
Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...
Continue reading
Automated Technology for Vertification and Analysis
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main ...
Continue readingAutomatic video editor / Naeem Alhomsi ; Yahea Najibeh ; Yasser Nourallah ; Ahmad Sukkar
Searching in a large database of videos is one of the challenges faced by the user today as most of the results are inaccurate ...
Continue reading
Autonomic Management of Mobile Multimedia Services
th This volume presents the proceedings of the 9 IFIP/IEEE International Conference on Management of Multimedia and Mobile ...
Continue reading
Autonomous Intelligent Systems: Multi-Agents and Data Mining
MAS offiers powerful metaphors for information system conceptualization, a range of new techniques, and technologies specifically ...
Continue reading
Autonomous Intelligent Systems: Multi-Agents and Data Mining
MAS offiers powerful metaphors for information system conceptualization, a range of new techniques, and technologies specifically ...
Continue reading
Autonomous Systems - Self-Organization, Management, and Control : Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6–7, 2008
The International Workshop on "Autonomous Systems - Self-Organization, Management, and Control " is the eighth in a successful ...
Continue reading
Autotuning of PID Controllers
Recognising the benefits of improved control, the second edition of Autotuning of PID Controllers provides simple yet effective ...
Continue reading
B2B eCommerce : Basics, Business Models and Best Practices in Business-to-Business Online Trade / Gerrit Heinemann
Covers the basics of business-to-business (B2B) eCommerce, where similar principles of customer targeting can be observed ...
Continue readingBIM for Design Firms: Data Rich Architecture at Small and Medium Scales / François Lévy, Jeffrey W. Ouellette
Expands on Building Information Modeling, showing its applicability to a range of design-oriented projects. It emphasizes ...
Continue reading
Bacterial Biofilms
This volume tends to focus on the biology of biofilms that affect human disease. It opens with chapters that provide the ...
Continue reading
Bacterial Fish Pathogens
This completely revised and updated edition of Bacterial Fish Pathogens is a comprehensive discussion of the biological aspects ...
Continue reading
Bacterial Genomes and Infectious Diseases
This book imparts fundamental knowledge on the structure, organization, and evolution of bacterial genomes. The value and ...
Continue reading
Bacterial Physiology
The application of new molecular methodologies in the study of bacterial behaviour and cell architecture has enabled new ...
Continue reading
