Electronic Books

Total Books: 361 - 380 /2678

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 constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...

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 Program Development : A Tribute to Robert Paige

This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the ...

Automatic Speech Recognition on Mobile Devices and over Communication Networks

This book brings together leading academic researchers and industrial practitioners to address the issues in this emerging ...

Automotive Production Systems and Standardisation

The introduction of the Mercedes-Benz Production System (MPS) is exemplary of a trend within the automotive industry: the ...

Automotive Software- Connected Services in Mobile Networks

Software development for the automotive domain is currently subject to a silent revolution. On the one hand, software has ...

Autonomes Fahren : Technische, rechtliche und gesellschaftliche Aspekte = Autonomous Driving : Technical, Legal and Societal Aspects

This book provides answers to a wide range of these and other questions. Experts from Germany and the USA describe central ...

Autonomic and Trusted Computing

To cope with the growing and ubiquitous complexity, autonomic computing (AC) focuses on se- manageable computing and communication ...

Autonomic and Trusted Computing

To cope with the growing and ubiquitous complexity, autonomic computing (AC) focuses on se- manageable computing and communication ...

Autonomic and Trusted Computing

This book constitutes the refereed proceedings of the Third International Conference on Autonomic and Trusted Computing, ...

Autonomic and Trusted Computing : 5th International Conference, ATC 2008, Oslo, Norway, June 23-25, 2008 Proceedings

This book constitutes the refereed procedings of the 5th International Conference on Autonomic and Trusted Computing, ATC ...

Autonomous Control for a Reliable Internet of Services

This open access book was prepared as a Final Publication of the COST Action IC1304 “Autonomous Control for a Reliable ...

Autonomous Driving : Technical, Legal and Social Aspects

This book takes a look at fully automated, autonomous vehicles and discusses many open questions: How can autonomous vehicles ...

Autonomous Intelligent Systems: Agents and Data Mining

This book constitutes the refereed proceedings of the International Workshop on Autonomous Intelligent Systems: Agents and ...

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

Autonomy Oriented Computing

Autonomy Oriented Computing explores the important theoretical and practical issues in AOC, by analyzing methodologies and ...

Total Books: 361 - 380 /2678