Automated Deduction – CADE-20
This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held ...
اقرأ المزيد
Automated Nanohandling by Microrobots
Automated Nanohandling by Microrobots introduces an actuation principle for such microrobots and presents a new robot design. ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Automated Technology for Verification and Analysis
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
اقرأ المزيد
Automated Technology for Verification and Analysis
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
اقرأ المزيد
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 ...
اقرأ المزيد
Automated Technology for Vertification and Analysis
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main ...
اقرأ المزيدAutomatic 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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Autonomous Intelligent Systems: Multi-Agents and Data Mining
MAS offiers powerful metaphors for information system conceptualization, a range of new techniques, and technologies specifically ...
اقرأ المزيد
Autonomous Intelligent Systems: Multi-Agents and Data Mining
MAS offiers powerful metaphors for information system conceptualization, a range of new techniques, and technologies specifically ...
اقرأ المزيد
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 ...
اقرأ المزيد
Autotuning of PID Controllers
Recognising the benefits of improved control, the second edition of Autotuning of PID Controllers provides simple yet effective ...
اقرأ المزيد
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 ...
اقرأ المزيدBIM 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 ...
اقرأ المزيد
Bacterial Biofilms
This volume tends to focus on the biology of biofilms that affect human disease. It opens with chapters that provide the ...
اقرأ المزيد
Bacterial Fish Pathogens
This completely revised and updated edition of Bacterial Fish Pathogens is a comprehensive discussion of the biological aspects ...
اقرأ المزيد
Bacterial Genomes and Infectious Diseases
This book imparts fundamental knowledge on the structure, organization, and evolution of bacterial genomes. The value and ...
اقرأ المزيد
Bacterial Physiology
The application of new molecular methodologies in the study of bacterial behaviour and cell architecture has enabled new ...
اقرأ المزيد
