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