This selection contains Springer Nature titles

## Refine Search

### Content Type

### Topics

- Logics and Meanings of Programs 781 Remove
- Software Engineering 257
- Mathematical Logic and Formal Languages 109
- Programming Languages, Compilers, Interpreters 80
- Software Engineering / Programming and Operating Systems 68

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

### Release Date

### Language

### Publisher

#### Static Analysis

**Available Formats:**
Softcover
eBook

#### Deductive Software Verification: Future Perspectives

**Available Formats:**
Softcover
eBook

#### Software Verification

**Available Formats:**
Softcover
eBook

#### Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

**Available Formats:**
Softcover
eBook

#### Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

**Available Formats:**
Softcover
eBook

#### Mathematics of Program Construction

**Available Formats:**
Softcover
eBook

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

**Available Formats:**
Softcover
eBook

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

**Available Formats:**
Softcover
eBook

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

**Available Formats:**
Softcover
eBook

#### Foundations of Software Science and Computation Structures

**Available Formats:**
Softcover
eBook

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

**Available Formats:**
Softcover
eBook

#### Bidirectional Transformations

**Available Formats:**
Softcover
eBook

#### Computer Aided Verification

**Available Formats:**
Softcover
eBook

#### Computer Aided Verification

**Available Formats:**
Softcover
eBook

#### Algorithmic Aspects of Cloud Computing

**Available Formats:**
Softcover
eBook

#### Logic-Based Program Synthesis and Transformation

**Available Formats:**
Softcover
eBook

#### Computer Aided Verification

**Available Formats:**
Softcover
eBook

#### Computer Aided Verification

**Available Formats:**
Softcover
eBook

#### Logic-Based Program Synthesis and Transformation

**Available Formats:**
Softcover
eBook

#### Computer Aided Verification

**Available Formats:**
Softcover
eBook