Making Databases Work

This book celebrates Michael Stonebraker's acco...

Communities of Computing

Communities of Computing is the first book-leng...

Concurrency

This book is a celebration of Leslie Lamport's ...

Reactive Internet Programming

Is Internet software so different from 'ordinar...

The Essentials of Modern Software Engineering

The first course in software engineering is the...

Computing and the National Science Foundation, 1950-2016

This organizational history relates the role of...

Words from the Woods: tales of mystery and imagination

Text Data Management and Analysis

Recent years have seen a dramatic growth of nat...

Verified Functional Programming in Agda

Agda is an advanced programming language based ...

Ada’s Legacy

Ada's Legacy illustrates the depth and diversit...

Shared-Memory Parallelism Can be Simple, Fast, and Scalable

Parallelism is the key to achieving high perfor...

The Handbook of Multimodal-Multisensor Interfaces, Volume 3

The Handbook of Multimodal-Multisensor Interfac...