Automated Technology for Verification and Analysis
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
اقرأ المزيد
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 ...
اقرأ المزيد
Automated Technology for Vertification and Analysis
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main ...
اقرأ المزيد
Automotive Control Systems
Reflecting the trend to optimization through integrative approaches for engine, driveline and vehicle control, this book ...
اقرأ المزيد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 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 ...
اقرأ المزيد
Average-Cost Control of Stochastic Manufacturing Systems
This book is concerned with hierarchical control of manufacturing systems under uncertainty. It focuses on system performance ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
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 ...
اقرأ المزيد
Bacterial Physiology
The application of new molecular methodologies in the study of bacterial behaviour and cell architecture has enabled new ...
اقرأ المزيد
Bacteriocins
Microbes produce an extraordinary array of defense systems. These include bacteriocins, a class of antimicrobial molecules ...
اقرأ المزيد
Balloon Kyphoplasty
This book focuses on balloon kyphoplasty and alter- tive minimally invasive treatments for stabilization of osteoporotic ...
اقرأ المزيد
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 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 ...
اقرأ المزيد
Basic Science Techniques in Clinical Practice
Medical researchers including doctors, nurses, medical students and allied health professionals are required to undertake ...
اقرأ المزيدBayesian Methods in the Search for MH370
This book demonstrates how nonlinear/non-Gaussian Bayesian time series estimation methods were used to produce a probability ...
اقرأ المزيد
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 ...
اقرأ المزيد
