Texts in Computer Science – serie

Programming Challenges

The Programming Contest Training Manual

Introduction to Assembly Language Programming

For Pentium and RISC Processors

Integrated Approach to Software Engineering

Recursive Introduction to the Theory of Computation

Logic for Applications

On Concurrent Programming

Software Reliability Methods

Fundamentals of Computer Organization and Design

Refinement Calculus

A Systematic Introduction

Descriptive Complexity

Modal and Temporal Properties of Processes

Introduction to Constraint Databases

Specification of Software Systems

Computer Graphics Manual

Practical Optimization

Algorithms and Engineering Applications

Introduction to Assembly Language Programming

For Pentium and RISC Processors

Software Reliability Methods

Modal and Temporal Properties of Processes

Introduction to Constraint Databases

Integrated Approach to Software Engineering

Guide to Reliable Distributed Systems

Building High-Assurance Applications and Cloud-Hosted Services

Verification of Sequential and Concurrent Programs

Introduction to Databases

From Biological to Spatio-Temporal

Ethical and Social Issues in the Information Age

Guide to Intelligent Data Analysis

How to Intelligently Make Sense of Real Data

Understanding Concurrent Systems

Specification of Software Systems

Fundamentals of Parameterized Complexity

Guide to Reliable Distributed Systems

Building High-Assurance Applications and Cloud-Hosted Services