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
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 ...
Lee mas
Automating Business Modelling
Enterprise Modelling (EM) methods are frequently used by entrepreneurs as an analysis tool for describing and redesigning ...
Lee mas
Automotive Production Systems and Standardisation
The introduction of the Mercedes-Benz Production System (MPS) is exemplary of a trend within the automotive industry: the ...
Lee masAutonomes 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 ...
Lee mas
Autonomic Communication (vol. # 3457)
The ?rst IFIP Workshop on Autonomic Communication (WAC 2004) was held 2004 in Berlin, Germany. The purpose of this workshop ...
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
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), ...
Lee mas
Autonomic and Trusted Computing
This book constitutes the refereed proceedings of the Third International Conference on Autonomic and Trusted Computing, ...
Lee mas
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 ...
Lee masAutonomous 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 ...
Lee mas
Autonomous Intelligent Systems: Agents and Data Mining
This book constitutes the refereed proceedings of the International Workshop on Autonomous Intelligent Systems: Agents and ...
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 Robots and Agents
This book deals with the theoretical and methodological aspects of incorporating intelligence in Autonomous Robots and Agents. ...
Lee mas
Autonomy Oriented Computing
Autonomy Oriented Computing explores the important theoretical and practical issues in AOC, by analyzing methodologies and ...
Lee mas
Avalanche Dynamics
Avalanches, debris, mudflows and landslides are common and natural phenomena that occur worldwide, predominantly in mountainous ...
Lee mas
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 ...
Lee mas
Average-Cost Control of Stochastic Manufacturing Systems
This book is concerned with hierarchical control of manufacturing systems under uncertainty. It focuses on system performance ...
Lee masAviation 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 ...
Lee mas
