Electronic Books

Total Books: 141 - 160 /876

Automata, Languages and Programming (vol. # 4052)

a series of annual conferences of the European Association for Theoretical Computer Science (EATCS) which frsttookplacein ...

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

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

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

Autonomic and Trusted Computing

To cope with the growing and ubiquitous complexity, autonomic computing (AC) focuses on se- manageable computing and communication ...

Autonomic and Trusted Computing

To cope with the growing and ubiquitous complexity, autonomic computing (AC) focuses on se- manageable computing and communication ...

Being Apart from Reasons

The book presents objections to the most common response given by contemporary legal and political theorists to the moral ...

Between Necessity and Probability: Searching for t

This study investigates the major theories of the origins of life in light of modern research with the aim of distinguishing ...

Beyond the Apparent Banality of the Mathematics Classroom

New research in mathematics education deals with the complexity of the mathematics’ classroom. The classroom teaching situation ...

Bio-Inspired Computing and Communication : First Workshop on Bio-Inspired Design of Networks, BIOWIRE 2007 Cambridge, UK, April 2-5, 2007 Revised Selected Papers

The book constitutes the thoroughly refereed post-workshop proceedings of the First Workshop on Bio-Inspired Design of Networks, ...

Bioinformatics : Problem Solving Paradigms

This book highlights basic paradigms of problem analysis and algorithm design in the context of core bioinformatics problems. ...

Bioinformatics Research and Applications : Fourth International Symposium, ISBRA 2008, Atlanta, GA, USA, May 6-9, 2008. Proceedings

This book constitutes the refereed proceedings of the Fourth International Symposium on Bioinformatics Research and Applications, ...

Biomimetics for Architecture & Design : Nature - Analogies - Technology / Göran Pohl , Werner Nachtigall

Provides the readers with a timely guide to the application of biomimetic principles in architecture and engineering design. ...

Brain Development in Drosophila melanogaster

The central nervous system (CNS) represents the organ with the highest structural and functional complexity. Accordingly, ...

Build To Order : The Road to the 5-Day Car

Build To Order: The Road to the 5-Day Car addresses the conceptual and practical aspects for achieving the automotive industry’s ...

Building Performance Analysis / Pieter de Wilde

presents a comprehensive and systematic overview of the subject. It provides a working definition of building performance, ...

Business Process Management Workshops (vol. # 4103)

BPM 2006 was the fourth in a conference series that provides a forum for - searchers and practitioners in all areas of business ...

CMOS Hotplate Chemical Microsensors

This is the first comprehensive book on microhotplate-based chemical sensor systems in CMOS-technology. It covers all aspects ...

Total Books: 141 - 160 /876