Automated Technology for Verification and Analysis
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
Lee mas
Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
Lee mas
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
Automated Technology for Vertification and Analysis
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main ...
Lee mas
Automotive Control Systems
Reflecting the trend to optimization through integrative approaches for engine, driveline and vehicle control, this book ...
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 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
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 mas
Avian Navigation: Pigeon Homing as a Paradigm
This monograph summarizes our current knowledge about pigeon homing, about the birds' application of a sun compass and a ...
Lee mas
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 ...
Lee mas
B 2007: Formal Specification and Development in B
These proceedingsrecordthe papers presented at the Seventh InternationalC- ference of B Users (B 2007), held in the city ...
Lee mas
Bacterial Physiology
The application of new molecular methodologies in the study of bacterial behaviour and cell architecture has enabled new ...
Lee mas
Bacteriocins
Microbes produce an extraordinary array of defense systems. These include bacteriocins, a class of antimicrobial molecules ...
Lee mas
Balloon Kyphoplasty
This book focuses on balloon kyphoplasty and alter- tive minimally invasive treatments for stabilization of osteoporotic ...
Lee mas
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 ...
Lee mas
Basic Principles of Drug Discovery and Development ; 2nd Edition / Benjamin Blass
Presents the multifaceted process of identifying a new drug in the modern era, which requires a multidisciplinary team approach ...
Lee mas
Basic Science Techniques in Clinical Practice
Medical researchers including doctors, nurses, medical students and allied health professionals are required to undertake ...
Lee masBayesian Methods in the Search for MH370
This book demonstrates how nonlinear/non-Gaussian Bayesian time series estimation methods were used to produce a probability ...
Lee mas
Bayesian Networks and Influence Diagrams : A Guide to Construction and Analysis
Probabilistic networks, also known as Bayesian networks and influence diagrams, have become one of the most promising technologies ...
Lee mas
