Electronic Books

Total Books: 241 - 260 /2342

This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...

This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...

This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...

The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, The main ...

Reflecting the trend to optimization through integrative approaches for engine, driveline and vehicle control, this book ...

This book provides answers to a wide range of these and other questions. Experts from Germany and the USA describe central ...

This book takes a look at fully automated, autonomous vehicles and discusses many open questions: How can autonomous vehicles ...

This book constitutes the refereed proceedings of the International Workshop on Autonomous Intelligent Systems: Agents and ...

This book is concerned with hierarchical control of manufacturing systems under uncertainty. It focuses on system performance ...

This monograph summarizes our current knowledge about pigeon homing, about the birds' application of a sun compass and a ...

Axions are peculiar hypothetical particles that could both solve the CP problem of quantum chromodynamics and at the same ...

These proceedingsrecordthe papers presented at the Seventh InternationalC- ference of B Users (B 2007), held in the city ...

The application of new molecular methodologies in the study of bacterial behaviour and cell architecture has enabled new ...

Microbes produce an extraordinary array of defense systems. These include bacteriocins, a class of antimicrobial molecules ...

This book focuses on balloon kyphoplasty and alter- tive minimally invasive treatments for stabilization of osteoporotic ...

Baseband Analog Circuits for Software Defined Radio aims to describe the transition towards a Software Radio from the analog ...

Presents the multifaceted process of identifying a new drug in the modern era, which requires a multidisciplinary team approach ...

Medical researchers including doctors, nurses, medical students and allied health professionals are required to undertake ...

This book demonstrates how nonlinear/non-Gaussian Bayesian time series estimation methods were used to produce a probability ...

Probabilistic networks, also known as Bayesian networks and influence diagrams, have become one of the most promising technologies ...

Total Books: 241 - 260 /2342