Monographs in Computer Science – serie

Software Configuration Management Using Vesta

High Performance Discovery In Time Series

Techniques and Case Studies

Parsing Techniques

A Practical Guide

Geometric Fundamentals of Robotics

Evolutionary Synthesis of Pattern Recognition Systems

Adapting Proofs-as-Programs

The Curry--Howard Protocol

Abstraction, Refinement and Proof for Probabilistic Systems

Reverse Engineering of Object Oriented Code

Numerical Geometry of Non-Rigid Shapes

Algorithmic Algebra

Practical Theory of Programming

Logical Approach to Discrete Math

Asynchronous Circuits

Theory of Objects

Parameterized Complexity

Specification and Development of Interactive Systems

Focus on Streams, Interfaces, and Refinement

Panoramic Vision

Sensors, Theory, and Applications

Set Theory for Computing

From Decision Procedures to Declarative Programming with Sets

Discipline of Multiprogramming

Programming Theory for Distributed Applications

Programming Methodology

Super-Recursive Algorithms

Computational Geometry

An Introduction

Relational Database Technology

Science of Programming

Synthesizer Generator Reference Manual

Beauty Is Our Business

A Birthday Salute to Edsger W. Dijkstra

Programming in the 1990s

An Introduction to the Calculation of Programs

Design and Analysis of Algorithms

Active Rules in Database Systems