Electronic Books

Total Books: 601 - 620 /6372

The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...

The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...

This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held ...

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

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

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

This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the ...

This book brings together leading academic researchers and industrial practitioners to address the issues in this emerging ...

Presents all aspects of automation in construction pertaining to the use of information technologies in design, engineering, ...

The introduction of the Mercedes-Benz Production System (MPS) is exemplary of a trend within the automotive industry: the ...

Software development for the automotive domain is currently subject to a silent revolution. On the one hand, software has ...

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

Autonomy Oriented Computing explores the important theoretical and practical issues in AOC, by analyzing methodologies and ...

Avoiding Medical Malpractice: A Physician's Guide to the Law is a reader-friendly, physician oriented, handbook on how to ...

Best Practices in Dentistry is designed to address proper management of these situations in everyday practice. Covers a range ...

Appearing widely in natural products, biologically active molecules, asymmetric chemistry, and material science, axially ...

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

This book is devoted to heterocyclizations of aliphatic and aromatic, -unsaturated carbonyls with various binucleophiles ...

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

Our book is one of the first to probe deeply into the art and science of branding industrial products. We provide the concepts, ...

Total Books: 601 - 620 /6372