Electronic Books

Total Books: 241 - 260 /2342

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 ...

Total Books: 241 - 260 /2342