This volume contains the final versions of a collection of papers presented at the Annual Confere...

This book provides a high-level desription of Java and of the Java Virtual Machine.

Foundations and Methodology.- The Name and Nature of Software Engineering.- A Modeling Language f...

Activities performed in organizations are coordinated via communication between the people involv...

This volume contains 24 papers presented at a workshop held in Heidelberg in October 1990. The pa...

This volume presents the proceedings of the workshop CSL '91(Computer Science Logic) held at the ...

Inhaltsübersicht.- Erstes Buch: Elementare Berechnungstheorie.- A: Mathematischer Algorithmusbegr...

This volume presents the proceedings of the Computer ScienceLogic Workshop CSL '92, held in Pisa,...

This volume contains 37 invited research papers collected in memory of Dieter Rödding, who is kno...

Inhaltsübersicht.- Erstes Buch: Elementare Berechnungstheorie.- A: Mathematischer Algorithmusbegr...

This volume contains 28 papers on recent developments in concepts and methods of logic which are ...

This book, with the CD-ROM included, is the documentation of a unique collaborative effort in eva...