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 ...
اقرأ المزيد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 ...
اقرأ المزيد
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 ...
اقرأ المزيد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 ...
اقرأ المزيد
Axions : Theory, Cosmology, and Experimental Searches
Axions are peculiar hypothetical particles that could both solve the CP problem of quantum chromodynamics and at the same ...
اقرأ المزيد
BNF 83 : March 2022 / British National Formulary
The first choice for concise medicines information. Trusted by healthcare professionals across the world to support confident ...
اقرأ المزيد
BNF for Children 2022-2023
BNF for Children is the first choice for concise medicines information for children. Trusted by healthcare professionals ...
اقرأ المزيد
Balancing Agility and Formalism in Software Engineering : Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers
This book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East Conference ...
اقرأ المزيد
Balloon Kyphoplasty
This book focuses on balloon kyphoplasty and alter- tive minimally invasive treatments for stabilization of osteoporotic ...
اقرأ المزيد
Banking for Family Business
Hints of globalization have actually been around for several decades, even though they made only a modest impact; however, ...
اقرأ المزيد
Bargaining Power Effects in Financial Contracting
The aim of this dissertation is to examine bargaining power effects in financial contracting. In particular power effects ...
اقرأ المزيد
Barriers and Biases in Computer-Mediated Knowledge Communication
This books deals with computer-mediated cooperation and communication scenarios in teaching and learning situations, leisure ...
اقرأ المزيد
Baseband Analog Circuits for Software Defined Radio
Baseband Analog Circuits for Software Defined Radio aims to describe the transition towards a Software Radio from the analog ...
اقرأ المزيد
Basic Bundle Theory and K-Cohomology Invariants : With contributions by Siegfried Echterhoff, Stefan Fredenhagen and Bernhard Krötz
Based on several recent courses given to mathematical physics students, this volume is an introduction to bundle theory with ...
اقرأ المزيد
Basic Principles of Fresnel Antenna Arrays
This book provides us a with the basics of the various Fresnel Antenna approaches, in order to achieve low-cost, low-profile, ...
اقرأ المزيد
Basics Masonry Construction - Basics / Nils Kummer
Masonry construction is usually the top priority in the constructive exercises during the course. The basic principles of ...
اقرأ المزيد
Basics of Aerothermodynamics
The discrete numerical methods of aerodynamics/aerothermodynamics permit now - what was twenty years ago not imaginable - ...
اقرأ المزيد
Basics of PET Imaging
This unparalleled text on the basics of PET imaging technology is an ideal resource for technologists and residents preparing ...
اقرأ المزيد
Battery Management Systems
The contents of this book builds further on the contents of the first volume in the Philips Research Book Series, Battery ...
اقرأ المزيد
