This selection contains Springer Nature titles

## Refine Search

### Content Type

### Topics

### Release Date

### Language

### Publisher

#### From Reactive Systems to Cyber-Physical Systems

**Available Formats:**
Softcover
eBook

#### Theoretical Aspects of Computing – ICTAC 2019

**Available Formats:**
Softcover
eBook

#### Descriptional Complexity of Formal Systems

**Available Formats:**
Softcover
eBook

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

**Available Formats:**
Softcover
eBook

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

**Available Formats:**
Softcover
eBook

#### Developments in Language Theory

**Available Formats:**
Softcover
eBook

#### Implementation and Application of Automata

**Available Formats:**
Softcover
eBook

#### Language and Automata Theory and Applications

**Available Formats:**
Softcover
eBook

#### Provably Correct Systems

**Available Formats:**
Hardcover
eBook
Softcover

#### Recent Trends in Algebraic Development Techniques

**Available Formats:**
Softcover
eBook

#### Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIV

**Available Formats:**
Softcover
eBook

#### Interactive Theorem Proving

**Available Formats:**
Softcover
eBook

#### Developments in Language Theory

**Available Formats:**
Softcover
eBook

#### Implementation and Application of Automata

**Available Formats:**
Softcover
eBook

#### Foundations of Software Science and Computation Structures

**Available Formats:**
Softcover
eBook

#### Applied Logic for Computer Scientists

**Available Formats:**
Softcover
eBook

#### Logic and Its Applications

**Available Formats:**
Softcover
eBook

#### Interactive Theorem Proving

**Available Formats:**
Softcover
eBook

#### Descriptive Set Theoretic Methods in Automata Theory

**Available Formats:**
Softcover
eBook

#### Descriptional Complexity of Formal Systems

**Available Formats:**
Softcover
eBook