Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

The Seventeen Provers of the World Foreword by Dana S. Scott

Formal Models of Communicating Systems Languages, Automata, and Monadic Second-Order Logic

Software Engineering 2 Specification of Systems and Languages

Software Engineering 3 Domains, Requirements, and Software Design

High Availability and Disaster Recovery Concepts, Design, Implementation

Reuse of Off-the-Shelf Components 9th International Conference on Software Reuse, ICSR 2006 Turin, Italy, June 12-15, 2006 Proceedings

Central European Functional Programming School First Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures

Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings

Handbook of Nature-Inspired and Innovative Computing Integrating Classical Models with Emerging Technologies

Access Control Systems Security, Identity Management and Trust Models

Pro OpenSSH