Electronic Books

Total Books: 361 - 380 /2978

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 ...

Total Books: 361 - 380 /2978