Electronic Books

Total Books: 621 - 640 /4802

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

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

Automating Business Modelling

Enterprise Modelling (EM) methods are frequently used by entrepreneurs as an analysis tool for describing and redesigning ...

Automotive Production Systems and Standardisation

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

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 Communication (vol. # 3457)

The ?rst IFIP Workshop on Autonomic Communication (WAC 2004) was held 2004 in Berlin, Germany. The purpose of this workshop ...

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

Autonomic Principles of IP Operations and Management

th This volume presents the proceedings of the 6 IEEE International Workshop on IP Operations and Management (IPOM 2006), ...

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 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 Robots and Agents

This book deals with the theoretical and methodological aspects of incorporating intelligence in Autonomous Robots and Agents. ...

Autonomy Oriented Computing

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

Avalanche Dynamics

Avalanches, debris, mudflows and landslides are common and natural phenomena that occur worldwide, predominantly in mountainous ...

Avengers Assemble!: Critical Perspectives on the Marvel Cinematic Universe / Terence McSweeney

We are living in the age of the superhero and we cannot deny it. 'Avengers Assemble!' is a vibrant and theoretically informed ...

Average-Cost Control of Stochastic Manufacturing Systems

This book is concerned with hierarchical control of manufacturing systems under uncertainty. It focuses on system performance ...

Aviation Noise Impact Management : Technologies, Regulations, and Societal Well-being in Europe

This book provides a view into the state-of-the-art research on aviation noise and related annoyance. The book will primarily ...

Total Books: 621 - 640 /4802