Computer Science Today, LNCS 1000, 1995

The New Computing

Parallel and Distributed Systems

Algorithm Design

Optimization and Search

Software Technology

Programming Theory

Verification and Reasoning

Intelligent Systems

Multimedia and Hypermedia