Mobile agents : control algorithms / Jaochim Baumann.

Compiler specification and verification / Wolfgang Polak.

A Concurrent PASCAL compiler for minicomputers / Alfred C. Hartmann.

Models and tools for managing development processes / Bernhard Westfechtel.

A connotational theory of program structure / James S. Royer.

Verification, model checking, and abstract interpretation : 10th international conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009 ; proceedings / Neil D. Jones, Markus Müller-Olm (eds.).

Using sophisticated models in resolution theorem proving / David M. Sandford.

Grid computing : experiment management, tool integration, and scientific workflows / Radu Prodan, Thomas Fahringer.

Optimal interprocedural program optimization : a new framework and its application / Jens Knoop.

The problem of incomplete information in relational databases / G. Grahne.

Neural networks : tricks of the trade / Genevieve B. Orr, Klaus-Robert Müller (eds.).

Geometric reasoning for perception and action : workshop, Grenoble, France, September 16-17, 1991 : selected papers / Christian Laugier (ed.).