This selection contains Springer Nature titles

## Refine Search

### Content Type

### Topics

- Theory of Computation 1,734 Remove
- Software Engineering / Programming and Operating Systems 195
- Artificial Intelligence 140
- Computer Communication Networks 82
- Computation by Abstract Devices 79

- Programming Techniques 76
- Algorithm Analysis and Problem Complexity 71
- Programming Languages, Compilers, Interpreters 53
- Logics and Meanings of Programs 50
- Computer Science (general) 49
- Software Engineering 49
- Computer System Implementation 45
- Mathematical Logic and Formal Languages 36
- Appl. Mathematics / Computational Methods of Engineering 34
- Circuits and Systems 33
- Mathematics of Computing 31
- Data Structures and Information Theory 30
- Database Management 25
- Mathematical Logic and Foundations 24
- Processor Architectures 22
- Discrete Mathematics in Computer Science 19
- Cryptology 19
- Computer Applications 17
- Computer Engineering 17
- Applications of Mathematics 17
- Engineering (general) 17
- Computer Hardware 15
- Computer Systems Organization and Communication Networks 14
- Management of Computing and Information Systems 14
- User Interfaces and Human Computer Interaction 13
- Computer-Aided Engineering (CAD, CAE) and Design 13
- Life Sciences (general) 13
- Combinatorics 13
- Special Purpose and Application-Based Systems 12
- Simulation and Modeling 12
- Algebra 12
- Discrete Mathematics 12
- Computational Mathematics and Numerical Analysis 11
- Popular Computer Science 11
- Control 11
- Coding and Information Theory 10
- Information Systems and Communication Service 10
- Mathematics (general) 10
- Algorithms 10
- Computational Intelligence 10
- Electrical Engineering 10
- Data Structures 9
- Pattern Recognition 9
- Systems and Data Security 9
- Analysis 9
- Systems Theory, Control 9
- Business Mathematics 8
- Information Systems Applications (incl.Internet) 8
- Computer Graphics 8
- Operating Systems 7
- Numeric Computing 7
- Number Theory 7
- Probability Theory and Stochastic Processes 7
- Educational Technology 7
- Electronics and Microelectronics, Instrumentation 7
- Operation Research/Decision Theory 6
- IT in Business 6
- System Performance and Evaluation 6
- Information Storage and Retrieval 6
- History of Computing 6
- Science, Humanities and Social Sciences, multidisciplinary 5
- Imaging / Radiology 5
- Models and Principles 5
- Computational Science and Engineering 5
- Numerical Analysis 5
- Geometry 5
- Optimization 5
- Logic Design 4
- Mathematical Applications in Computer Science 4
- Computers and Education 4
- Computers and Society 4
- Mathematical Modeling and Industrial Mathematics 4
- Operations Research, Mathematical Programming 4
- Robotics and Automation 4
- Manufacturing, Machines, Tools, Processes 4
- Communications Engineering, Networks 4
- Finance, general 3
- Logic 3
- Philosophy of Science 3
- Input/Output and Data Communications 3
- Symbolic and Algebraic Manipulation 3
- Natural Language Processing (NLP) 3
- Computer Appl. in Administrative Data Processing 3
- The Computing Profession 3
- e-commerce / e-business 3
- Geographical Information Systems / Cartography 3
- Biochemistry 3
- Calculus of Variations and Optimal Control; Optimization 3
- Complex Systems 3
- Engineering Design 3
- Library Science 2
- Organization 2
- Computer Applications in Chemistry 2
- Medicine (general) 2
- Arithmetic and Logic Structures 2

### Release Date

### Language

### Publisher

#### Theory of Evolutionary Computation

**Available Formats:**
Hardcover
eBook

#### Transactions on Petri Nets and Other Models of Concurrency XIV

**Available Formats:**
Softcover
eBook

#### Graphical Models for Security

**Available Formats:**
Softcover
eBook

#### Handbook of Memristor Networks

**Available Formats:**
Hardcover
eBook

#### Innovations and Interdisciplinary Solutions for Underserved Areas

**Available Formats:**
Softcover
eBook

#### The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy

**Available Formats:**
Softcover
eBook

#### Arto Salomaa: Mathematician, Computer Scientist, and Teacher

**Available Formats:**
Hardcover
eBook

#### Hypothesis-Driven Simulation Studies

**Available Formats:**
Softcover
eBook

#### PRICAI 2019: Trends in Artificial Intelligence

**Available Formats:**
Softcover
eBook

#### Representation Theorems in Computer Science

**Available Formats:**
Hardcover
eBook

#### Formal Methods

**Available Formats:**
Hardcover
eBook

#### Intelligent Computer Mathematics

**Available Formats:**
Softcover
eBook

#### Theory and Applications of Satisfiability Testing – SAT 2019

**Available Formats:**
Softcover
eBook

#### Computational Science – ICCS 2019

**Available Formats:**
Softcover
eBook

#### Computational Science – ICCS 2019

**Available Formats:**
Softcover
eBook

#### Computational Science – ICCS 2019

**Available Formats:**
Softcover
eBook

#### Computational Science – ICCS 2019

**Available Formats:**
Softcover
eBook

#### Computational Science – ICCS 2019

**Available Formats:**
Softcover
eBook

#### Carl Adam Petri: Ideas, Personality, Impact

**Available Formats:**
Hardcover
eBook

#### Knowledge Graphs and Semantic Web

**Available Formats:**
Softcover
eBook