Springer-Verlag GmbH

Creating Assertion-Based IP

Creative Chemical Sensor Systems

Criminal Poisoning

Critical Information Infrastructures

Critical Infrastructure

Cryptographic Hardware and Embedded Systems - CHES 2007

Cryptology and Network Security

Current Topics in Artificial Intelligence

Cytokines in the Genesis and Treatment of Cancer

Data Processing in Precise Time and Frequency Applications

Data Warehousing and Knowledge Discovery

Database and XML Technologies

Datatype-Generic Programmiing

Deformable Models I

Deformable Models II

Democracy in an Age of Globalisation

Design Patterns for eScience

Designing an All-Inclusive Democracy

Designing with Video

Developments in Language Theory

Developments on Experimental Economics

Diagrammatology

Diastolic Heart Failure

Digging It Up Down Under

Digital Control of Electrical Drives

Digital Document Processing

Digital Enterprise Technology

Digital Government

Digital Human Modeling

Digital Satellite Communications

Digital Signal Processing for In-Vehicle and Mobile Systems 2

Digital VLSI Systems Design

Diplomacy Games

Directed Metallation

Discovery Science

Discrete Geometry, Combinatorics and Graph Theory

Distributed Applications and Interoperable Systems

Distributed Autonomous Robotic System 6

Distributed Computing

Distributed Computing and Internet Technology

Distributed Computing and Networking

Distributed Computing in Sensor Systems

Distributed Embedded Control Systems

Distributed Search by Constrained Agents

Distributed Services with OpenAFS

Distributed, High-Performance and Grid Computing in Computational Biology

Domain Decomposition Methods in Science and Engineering XVII

Domain Modeling and the Duration Calculus