This selection contains Springer Nature titles

## Refine Search

### Content Type

### Topics

- Logics and Meanings of Programs 755 Remove
- Software Engineering 246
- Mathematical Logic and Formal Languages 102
- Programming Languages, Compilers, Interpreters 74
- Software Engineering / Programming and Operating Systems 62

- Theory of Computation 47
- Algorithm Analysis and Problem Complexity 33
- Computation by Abstract Devices 30
- Artificial Intelligence 28
- Programming Techniques 22
- Computer System Implementation 10
- Mathematical Logic and Foundations 10
- System Performance and Evaluation 6
- Logic Design 5
- Computer Systems Organization and Communication Networks 4
- Computer Communication Networks 4
- Database Management 4
- Computer-Aided Engineering (CAD, CAE) and Design 4
- Operating Systems 3
- Simulation and Modeling 3
- Natural Language Processing (NLP) 3
- Computational Biology / Bioinformatics 3
- Arithmetic and Logic Structures 2
- Special Purpose and Application-Based Systems 2
- Numeric Computing 2
- Discrete Mathematics in Computer Science 2
- Mathematics (general) 2
- Algebra 2
- Circuits and Systems 2
- IT in Business 1
- Science, Humanities and Social Sciences, multidisciplinary 1
- Math. Applications in Chemistry 1
- Logic 1
- Computer Hardware 1
- Input/Output and Data Communications 1
- Data Structures and Information Theory 1
- Data Structures 1
- Mathematics of Computing 1
- Probability and Statistics in Computer Science 1
- Data Mining and Knowledge Discovery 1
- Information Systems Applications (incl.Internet) 1
- Computer Applications 1
- Computers and Education 1
- Systems and Data Security 1
- Dynamical Systems and Ergodic Theory 1
- Applications of Mathematics 1
- Systems Theory, Control 1
- Computational Mathematics and Numerical Analysis 1
- Mathematical Software 1
- Quantum Computing 1
- Topology 1
- Discrete Mathematics 1

### Release Date

### Language

### Publisher

#### Answer Set Programming

**Available Formats:**
Hardcover
eBook

#### Reachability Problems

**Available Formats:**
Softcover
eBook

#### Quantitative Evaluation of Systems

**Available Formats:**
Softcover
eBook

#### Implementation and Application of Automata

**Available Formats:**
Softcover
eBook

#### Computing with Foresight and Industry

**Available Formats:**
Softcover
eBook

#### Numerical Software Verification

**Available Formats:**
Softcover
eBook

#### DNA Computing and Molecular Programming

**Available Formats:**
Softcover
eBook

#### Application and Theory of Petri Nets and Concurrency

**Available Formats:**
Softcover
eBook

#### Algebraic Informatics

**Available Formats:**
Softcover
eBook

#### Computer Aided Verification

**Available Formats:**
Softcover
eBook

#### Descriptional Complexity of Formal Systems

**Available Formats:**
Softcover
eBook

#### Models, Languages, and Tools for Concurrent and Distributed Programming

**Available Formats:**
Softcover
eBook

#### Unconventional Computation and Natural Computation

**Available Formats:**
Softcover
eBook

#### Recent Trends in Algebraic Development Techniques

**Available Formats:**
Softcover
eBook

#### Computer Science – Theory and Applications

**Available Formats:**
Softcover
eBook

#### Logic, Language, Information, and Computation

**Available Formats:**
Softcover
eBook

#### Cellular Automata and Discrete Complex Systems

**Available Formats:**
Softcover
eBook

#### Logic Programming and Nonmonotonic Reasoning

**Available Formats:**
Softcover
eBook

#### Logics in Artificial Intelligence

**Available Formats:**
Softcover
eBook

#### Tools and Algorithms for the Construction and Analysis of Systems

**Available Formats:**
Softcover
eBook