Electronic Books

Total Books: 601 - 620 /6372

Automata, Languages and Programming : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I

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

Automata, Languages and Programming : 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II

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

Automated Deduction – CADE-20

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

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 presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...

Automated Technology for Vertification and Analysis

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

Automatic Program Development : A Tribute to Robert Paige

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

Automatic Speech Recognition on Mobile Devices and over Communication Networks

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

Automation in Construction toward Resilience : Robotics, Smart Materials and Intelligent Systems / Ehsan Noroozinejad Farsangi, Mohammad Noori, Tony T.Y. Yang

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

Automotive Production Systems and Standardisation

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

Automotive Software- Connected Services in Mobile Networks

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

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

Autonomy Oriented Computing

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

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

Avoiding and treating dental complications: best practices in dentistry / Deborah A. Termeie

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

Axially Chiral Compounds: Asymmetric Synthesis and Applications / Bin Tan

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

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

Azaheterocycles Based on -, ß-Unsaturated Carbonyls

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

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

B2B Brand Management

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