Springer-Verlag GmbH

Euclid. The Creation of Mathematics

FM'99 - Formal Methods

Financial Cryptography

Foundations and Tools for Neural Modeling

Foundations of Software Technology and Theoretical Computer Science

Fully Integrated Data Environments

Game Theory

Glycoscience

Gröbner Deformations of Hypergeometric Differential Equations

How to Win Customers in the Digital World

IUTAM Symposium on Synthesis in Bio Solid Mechanics

Implementation and Redesign of Catalytic Function in Biopolymers

Insect Olfaction

Intelligent Observer and Control Design for Nonlinear Systems

International Environmental Management Benchmarks

Introduction to Circuit Complexity

Learning Computer Graphics

Lectures on Data Security

Limnology and Remote Sensing

Metal Sites in Proteins and Models. Redox Centres

Molecular Biology of Woody Plants 01

MultiBody System SIMulation

Multimodality Therapy for Gastric Cancer

Multiple Approaches to Intelligent Systems

Neurobiology of Spinal Cord Injury

Nontarget Effects of Biological Control

Operator Algebras Generated by Commuting Projections

Perspectives on Integrated Coastal Zone Management

Principles and Practice of Declarative Programming

Programming Languages and Systems

Proteome Research: Two-Dimensional Gel Electrophoresis and Identification Methods

Quantum Field Theory in Condensed Matter Physics

Randomization, Approximation, and Combinatorial Optimization

Rewriting Techniques and Applications

Scheduling of Resource-Constrained Projects

Self-Organization and the City

Spatial Dynamics of European Integration

Stereoselective Heterocyclic Synthesis

Stochastic Interacting Systems

The Chemist's Electronic Book of Orbitals

The Dynamics of Innovation

The Nonlinear Schrödinger Equation

Ultra-Wideband Short-Pulse Electromagnetics 4

Ultrafast Spectroscopy of Semiconductors and Semiconductor Nanostructures

Use of Proxies in Palaeoceanography

VLSI: Systems on a Chip

Wörterbuch und Lexikon der Hydrogeologie

Adaptive Internal Model Control