This selection contains Springer Nature titles

## Refine Search

### Content Type

### Topics

- Analysis 432
- Probability Theory and Stochastic Processes 388
- Algebra 230
- Artificial Intelligence 192
- Applications of Mathematics 191

- Quantum Physics 189
- Statistical Theory and Methods 180
- Mathematical Methods in Physics 175
- Number Theory 169
- Geometry 156
- Programming Techniques 152
- Theory of Computation 152
- Programming Languages, Compilers, Interpreters 148
- Functional Analysis 140
- Solid Mechanics 136
- Software Engineering 133
- Theoretical, Mathematical and Computational Physics 133
- Optics, Lasers, Photonics, Optical Devices 133
- Algebraic Geometry 130
- Circuits and Systems 129
- Partial Differential Equations 128
- Classical Mechanics 119
- Software Engineering / Programming and Operating Systems 117
- Mathematics (general) 117
- Signal, Image and Speech Processing 114
- Appl. Mathematics / Computational Methods of Engineering 111
- Mathematical Logic and Foundations 110
- Real Functions 109
- Operation Research/Decision Theory 108
- Complex Systems 108
- Differential Geometry 107
- Communications Engineering, Networks 102
- Computer Communication Networks 101
- Physical Chemistry 99
- Linear and Multilinear Algebras, Matrix Theory 98
- Numerical Analysis 98
- Combinatorics 98
- Statistics for Business, Management, Economics, Finance, Insurance 93
- Thermodynamics 91
- Computational Mathematics and Numerical Analysis 89
- Astrophysics and Astroparticles 88
- Group Theory and Generalizations 86
- Condensed Matter Physics 80
- Elementary Particles, Quantum Field Theory 79
- Statistics for Life Sciences, Medicine, Health Sciences 79
- Ordinary Differential Equations 78
- Mathematical Modeling and Industrial Mathematics 78
- Mechanical Engineering 78
- Classical Electrodynamics 77
- Quantitative Finance 76
- Systems Theory, Control 76
- Engineering Fluid Dynamics 76
- Electronics and Microelectronics, Instrumentation 76
- Biochemistry 75
- Economic Theory/Quantitative Economics/Mathematical Methods 75
- Operations Research, Mathematical Programming 74
- Optimization 73
- Organic Chemistry 72
- Topology 71
- Statistics for Social Sciences, Humanities, Law 71
- Classical and Quantum Gravitation, Relativity Theory 69
- Astronomy, Observations and Techniques 69
- Theoretical and Applied Mechanics 69
- Electrical Engineering 69
- Medicine (general) 68
- Biological and Medical Physics, Biophysics 68
- Control 66
- Computational Science and Engineering 65
- Numerical and Computational Physics, Simulation 65
- Statistics and Computing / Statistics Programs 65
- Geology 64
- Atomic, Molecular, Optical and Plasma Physics 64
- Characterization and Evaluation of Materials 64
- Algorithm Analysis and Problem Complexity 63
- Ecology 63
- Theoretical and Computational Chemistry 62
- Engineering Thermodynamics, Heat and Mass Transfer 62
- Image Processing and Computer Vision 61
- Dynamical Systems and Ergodic Theory 61
- Mathematical and Computational Biology 61
- Quantum Information Technology, Spintronics 60
- Mathematical Logic and Formal Languages 59
- Simulation and Modeling 59
- Archaeology 59
- Engineering Design 57
- Geophysics / Geodesy 56
- Calculus of Variations and Optimal Control; Optimization 56
- Control , Robotics, Mechatronics 55
- Biomedicine (general) 54
- Logics and Meanings of Programs 53
- Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences 53
- Information Systems Applications (incl.Internet) 52
- Computer Graphics 52
- Topological Groups, Lie Groups 52
- Biomedical Engineering and Bioengineering 52
- Algorithms 51
- Computational Intelligence 51
- Food Science 50
- Statistics (general) 50
- Fluid- and Aerodynamics 49

### Release Date

### Language

### Publisher

#### Automotive Software Architectures

**Available Formats:**
Hardcover
eBook

#### Engineering Trustworthy Software Systems

**Available Formats:**
Softcover
eBook

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

**Available Formats:**
Hardcover
eBook

#### A Practical Approach to High-Performance Computing

**Available Formats:**
Softcover
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