Ergebnisse zu
Compilerbau

7th International Conference, CC'98, Held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon,..

First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers

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

6th International Conference, CC '96, Linköping, Sweden, April 24 - 26, 1996. Proceedings.

First International Conference, FASE'98, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon,..

Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers

10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007 Braga,..

8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006, Proceedings

A Comprehensive Approach to Modeling Multi-Agent Systems

9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings

Third International Workshop, SEM 2002. Orlando, FL, USA, May 20-21, 2002, Revised Papers

14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings

11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings

Imperative Programming and Flow of Data

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

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