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 Autocorrelation and Spectral Analysis
It takes advantage of greater computing power and robust algorithms to produce enough candidate models to be sure of providing ...
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
Automatic Quantum Computer Programming
Computer science will be radically transformed if ongoing efforts to build large-scale quantum computers eventually succeed ...
Lee mas
Automatic Quantum Computer Programming
Computer science will be radically transformed if ongoing efforts to build large-scale quantum computers eventually succeed ...
Lee mas
Automation in Construction toward Resilience : Robotics, Smart Materials and Intelligent Systems / Ehsan Noroozinejad Farsangi, Mohammad Noori, Tony T.Y. Yang
Presents all aspects of automation in construction pertaining to the use of information technologies in design, engineering, ...
Lee mas
Automotive Control Systems
Reflecting the trend to optimization through integrative approaches for engine, driveline and vehicle control, this book ...
Lee mas
Automotive Lighting and Human Vision
Visual perception is the most important of the human senses. Lack of visual perception is one of the main causes of accidents. ...
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 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 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 Navigation in Dynamic Environments
The purpose of this book is to address the challenging problem of Autonomous Navigation in Dynamic Environments, and to present ...
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
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 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 masAxial Flux Permanent Magnet Brushless Machines
Axial Flux Permanent Magnet (AFPM) brushless machines are modern electrical machines with a lot of advantageous merits over ...
Lee mas
Axial Flux Permanent Magnet Brushless Machines
This book deals with the analysis, construction, design, control and applications of AFPM machines. The authors present their ...
Lee masBGA International Conference on Foundations: Innovations, observations, design and practice: Proceedings of the international conference organised by British Geotechnical Association and held in Dundee, Scotland on 2 – 5th September 2003
Although foundation engineering is recognised as a mature discipline with geotechnics, the diversity of applications and ...
Lee mas
