Ergebnisse zu
Compilerbau

Second International Conference, FASE'99, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The..

11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, September 19 - 23, 1995, Selected Papers

A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Design and Application Guide

Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings

Control, Cooperation, and Combinatorics

Festschrift in Honor of Satoru Takasu

The Emergence of Hybrid Dataflow Computer Architectures

Proceedings of the 7th Joint Conference of the Austrian Computer Society (OCG) and the John von Neumann Society for Computing Sciences (NJSZT) in..

First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers

6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings

4th European Workshop, EWCBR'98, Dublin, Ireland, September 23-25, 1998, Proceedings

First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28 - 30, 1994. Proceedings