This selection contains titles in Computer Science

## Refine Search

### Content Type

### Topics

- Theory of Computation 145 Remove
- Software Engineering / Programming and Operating Systems 17
- Software Engineering 10
- Mathematics of Computing 8
- Computation by Abstract Devices 5

- Mathematical Logic and Formal Languages 5
- Computer Systems Organization and Communication Networks 4
- Computer Communication Networks 4
- Computer System Implementation 4
- Programming Techniques 4
- Computational Science and Engineering 4
- Data Structures and Information Theory 3
- Algorithm Analysis and Problem Complexity 3
- Artificial Intelligence 3
- Life Sciences (general) 3
- Algebra 3
- Analysis 3
- Algorithms 3
- Circuits and Systems 3
- Coding and Information Theory 2
- Logics and Meanings of Programs 2
- Discrete Mathematics in Computer Science 2
- Computer Graphics 2
- Cryptology 2
- Applications of Mathematics 2
- Computational Mathematics and Numerical Analysis 2
- Numerical Analysis 2
- Mathematical Logic and Foundations 2
- Computational Intelligence 2
- Electronics and Microelectronics, Instrumentation 2
- Business Mathematics 1
- Computer Science (general) 1
- Computer Hardware 1
- Logic Design 1
- Special Purpose and Application-Based Systems 1
- Programming Languages, Compilers, Interpreters 1
- Mathematical Applications in Computer Science 1
- Information Systems and Communication Service 1
- Database Management 1
- User Interfaces and Human Computer Interaction 1
- Computer Applications 1
- History of Computing 1
- Geographical Information Systems / Cartography 1
- Biochemistry 1
- Ecology 1
- Microbiology 1
- Mathematics (general) 1
- Information and Communication, Circuits 1
- Mathematical Software 1
- Quantum Computing 1
- Geometry 1
- Number Theory 1
- Calculus of Variations and Optimal Control; Optimization 1
- Probability Theory and Stochastic Processes 1
- Combinatorics 1
- Classical and Continuum Physics 1
- Complex Systems 1
- Law (general) 1
- Engineering (general) 1
- Appl. Mathematics / Computational Methods of Engineering 1
- Communications Engineering, Networks 1

### Release Date

### Language

#### Formal Methods

**Available Formats:**
Hardcover
eBook

#### Mathematical Foundations of Advanced Informatics

**Available Formats:**
eBook
Hardcover
Softcover

#### Fault-Tolerant Message-Passing Distributed Systems

**Available Formats:**
Hardcover
eBook
Softcover

#### Adventures in Computer Science

**Available Formats:**
eBook
Hardcover
Softcover

#### Tutorials on the Foundations of Cryptography

**Available Formats:**
eBook
Hardcover
Softcover

#### Models of Computation

**Available Formats:**
eBook
Hardcover
Softcover

#### Modern Language Models and Computation

**Available Formats:**
eBook
Hardcover
Softcover

#### Decision Procedures

**Available Formats:**
Hardcover
eBook
Softcover

#### An Introduction to Online Computation

**Available Formats:**
eBook
Hardcover
Softcover

#### Turing Computability

**Available Formats:**
eBook
Hardcover
Softcover

#### Introduction to Concurrency Theory

**Available Formats:**
eBook
Hardcover
Softcover

#### The Foundations of Computability Theory

**Available Formats:**
eBook
Hardcover
Softcover

#### Petri Net Synthesis

**Available Formats:**
eBook
Hardcover
Softcover

#### Natural Computing Algorithms

**Available Formats:**
eBook
Hardcover
Softcover

#### CryptoSchool

**Available Formats:**
Hardcover
eBook
Softcover

#### Understanding Petri Nets

**Available Formats:**
eBook
Hardcover
Softcover

#### Distributed Algorithms for Message-Passing Systems

**Available Formats:**
eBook
Softcover
Hardcover

#### Concurrent Programming: Algorithms, Principles, and Foundations

**Available Formats:**
eBook
Softcover
Hardcover

#### Analyzing Evolutionary Algorithms

**Available Formats:**
eBook
Hardcover
Softcover

#### Unifying Theories of Programming and Formal Engineering Methods

**Available Formats:**
Softcover
eBook