Ergebnisse zu
Compilerbau

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

14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Papers

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

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

17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings

15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised 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

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

A Comprehensive Approach to Modeling Multi-Agent Systems

A Problem-Solution Approach

13th International Symposium, TFP 2012, St Andrews, UK, June 12-14, 2012, Revised Selected Papers

19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven,..

Proceedings of a DoD Sponsored Workshop, Ithaca, October 1976

12th International Symposium, DBPL 2009, Lyon, France, August 24, 2009, Proceedings