This selection contains titles in Computer Science

## Refine Search

### Content Type

### Topics

- Logics and Meanings of Programs 53 Remove
- Software Engineering 13
- Programming Languages, Compilers, Interpreters 10
- Mathematical Logic and Formal Languages 9
- Algorithm Analysis and Problem Complexity 4

- Programming Techniques 3
- Software Engineering / Programming and Operating Systems 2
- Theory of Computation 2
- Input/Output and Data Communications 1
- System Performance and Evaluation 1
- Computer System Implementation 1
- Operating Systems 1
- Database Management 1
- Algebra 1
- Dynamical Systems and Ergodic Theory 1
- Quantum Computing 1
- Mathematical Logic and Foundations 1
- Circuits and Systems 1

### Release Date

### Language

#### Answer Set Programming

**Available Formats:**
Hardcover
eBook

#### Refinement

**Available Formats:**
Hardcover
eBook
Softcover

#### A First Introduction to Quantum Computing and Information

**Available Formats:**
Hardcover
eBook
Softcover

#### Logics for Computer Science

**Available Formats:**
Hardcover
eBook

#### Bidirectional Transformations

**Available Formats:**
Softcover
eBook

#### On Sets and Graphs

**Available Formats:**
Hardcover
eBook
Softcover

#### Applied Logic for Computer Scientists

**Available Formats:**
Softcover
eBook

#### Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

**Available Formats:**
Softcover
eBook

#### Software Engineering

**Available Formats:**
Softcover
eBook

#### Formal Methods for Multicore Programming

**Available Formats:**
Softcover
eBook

#### Transactional Memory. Foundations, Algorithms, Tools, and Applications

**Available Formats:**
Softcover
eBook

#### Big Data Integration Theory

**Available Formats:**
Hardcover
eBook
Softcover

#### Concrete Semantics

**Available Formats:**
Hardcover
eBook
Softcover

#### Stochastic Model Checking

**Available Formats:**
Softcover
eBook

#### Practical Analysis of Algorithms

**Available Formats:**
Softcover
eBook

#### Formal Methods for Executable Software Models

**Available Formats:**
Softcover
eBook

#### Modelling Computing Systems

**Available Formats:**
Softcover
eBook

#### Formal Methods for Dynamical Systems

**Available Formats:**
Softcover
eBook

#### Generative and Transformational Techniques in Software Engineering IV

**Available Formats:**
Softcover
eBook

#### Foundations of Algebraic Specification and Formal Software Development

**Available Formats:**
Hardcover
Softcover
eBook