Ergebnisse zu
Compilerbau

7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings

8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh,..

Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003,..

16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings

15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers

14th International Workshop, WADT '99, Chateau de Bonas, September 15-18, 1999 Selected Papers

8th International Workshop, IFL'96 Bad Godesberg, Germany, September 16-18, 1996, Selected Papers

Vol.1: Parallel Architectures, Eindhoven, The Netherlands, June 15-19, 1987; Proceedings

International Seminar, Dagstuhl Castle, Germany, February 12 - 16, 1996. Selected Papers

Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000. Revised Selected Papers

From Batch Processing to Distributed Systems

11th International Workshop, IFL'99 Lochem, The Netherlands, September 7-10, 1999 Selected Papers

4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002, Proceedings