This selection contains Springer Nature titles

## Refine Search

### Content Type

### Topics

- Analysis 416
- Probability Theory and Stochastic Processes 373
- Algebra 226
- Applications of Mathematics 185
- Quantum Physics 181

- Artificial Intelligence 172
- Mathematical Methods in Physics 167
- Number Theory 162
- Statistical Theory and Methods 157
- Geometry 148
- Programming Techniques 145
- Programming Languages, Compilers, Interpreters 143
- Theory of Computation 142
- Functional Analysis 131
- Software Engineering 128
- Theoretical, Mathematical and Computational Physics 126
- Optics, Lasers, Photonics, Optical Devices 126
- Algebraic Geometry 124
- Partial Differential Equations 122
- Solid Mechanics 118
- Mathematics (general) 115
- Software Engineering / Programming and Operating Systems 114
- Classical Mechanics 112
- Circuits and Systems 109
- Complex Systems 106
- Real Functions 105
- Differential Geometry 105
- Mathematical Logic and Foundations 105
- Appl. Mathematics / Computational Methods of Engineering 104
- Signal, Image and Speech Processing 101
- Physical Chemistry 97
- Numerical Analysis 97
- Combinatorics 96
- Operation Research/Decision Theory 95
- Computer Communication Networks 94
- Linear and Multilinear Algebras, Matrix Theory 90
- Statistics for Business, Management, Economics, Finance, Insurance 90
- Astrophysics and Astroparticles 86
- Thermodynamics 83
- Group Theory and Generalizations 82
- Communications Engineering, Networks 82
- Computational Mathematics and Numerical Analysis 78
- Condensed Matter Physics 78
- Ordinary Differential Equations 75
- Mathematical Modeling and Industrial Mathematics 75
- Elementary Particles, Quantum Field Theory 75
- Biochemistry 74
- Quantitative Finance 72
- Systems Theory, Control 72
- Statistics for Life Sciences, Medicine, Health Sciences 72
- Topology 70
- Classical Electrodynamics 70
- Organic Chemistry 68
- Astronomy, Observations and Techniques 68
- Mechanical Engineering 68
- Electronics and Microelectronics, Instrumentation 68
- Economic Theory/Quantitative Economics/Mathematical Methods 68
- Theoretical and Applied Mechanics 66
- Operations Research, Mathematical Programming 65
- Biological and Medical Physics, Biophysics 65
- Medicine (general) 64
- Electrical Engineering 64
- Optimization 63
- Numerical and Computational Physics, Simulation 63
- Classical and Quantum Gravitation, Relativity Theory 63
- Atomic, Molecular, Optical and Plasma Physics 63
- Algorithm Analysis and Problem Complexity 62
- Engineering Fluid Dynamics 62
- Geology 61
- Computational Science and Engineering 61
- Characterization and Evaluation of Materials 61
- Ecology 60
- Control 60
- Theoretical and Computational Chemistry 59
- Statistics for Social Sciences, Humanities, Law 59
- Archaeology 59
- Mathematical Logic and Formal Languages 58
- Image Processing and Computer Vision 58
- Dynamical Systems and Ergodic Theory 58
- Mathematical and Computational Biology 58
- Statistics and Computing / Statistics Programs 58
- Quantum Information Technology, Spintronics 57
- Simulation and Modeling 55
- Logics and Meanings of Programs 53
- Calculus of Variations and Optimal Control; Optimization 53
- Geophysics / Geodesy 50
- Computer Graphics 50
- Topological Groups, Lie Groups 50
- Engineering (general) 50
- Biomedicine (general) 49
- Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences 48
- Algorithms 47
- Computational Intelligence 47
- Statistics (general) 46
- Engineering Design 46
- Manifolds and Cell Complexes (incl. Diff. Topology) 45
- Neurosciences 44
- Fluid- and Aerodynamics 44
- Information Systems Applications (incl.Internet) 43
- Acoustics 43

### Release Date

### Language

### Publisher

#### Engineering Trustworthy Software Systems

**Available Formats:**
Softcover
eBook

#### Earth Systems Data Processing and Visualization Using MATLAB

**Available Formats:**
Hardcover
eBook

#### Formal Methods

**Available Formats:**
Hardcover
eBook

#### Bidirectional Transformations

**Available Formats:**
Softcover
eBook

#### Essence of Systems Analysis and Design

**Available Formats:**
Hardcover
eBook
Softcover

#### Applied Computer Science for GGOS Observatories

**Available Formats:**
Hardcover
eBook
Softcover

#### Models of Computation

**Available Formats:**
eBook
Softcover
Hardcover

#### Organic Computing – Technical Systems for Survival in the Real World

**Available Formats:**
Softcover
eBook

#### Programming in HTML and PHP

**Available Formats:**
Softcover
eBook

#### Decision Procedures

**Available Formats:**
eBook
Hardcover
Softcover

#### Instruction Selection

**Available Formats:**
Hardcover
eBook
Softcover

#### System Architecture

**Available Formats:**
Hardcover
eBook
Softcover

#### Programming Languages and Operational Semantics

**Available Formats:**
Softcover
eBook

#### Understanding Petri Nets

**Available Formats:**
Hardcover
eBook
Softcover

#### Autonomic Computing

**Available Formats:**
Softcover
eBook

#### Protocol Engineering

**Available Formats:**
Hardcover
Softcover
eBook

#### Doing Design Ethnography

**Available Formats:**
Softcover
Hardcover
eBook

#### Foundations of Algebraic Specification and Formal Software Development

**Available Formats:**
eBook
Hardcover
Softcover

#### Formal Methods for Model-Driven Engineering

**Available Formats:**
Softcover
eBook

#### Programming for Engineers

**Available Formats:**
Softcover
Hardcover
eBook