Ergebnisse zu
Compilerbau

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

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

Proceedings of a DoD Sponsored Workshop, Ithaca, October 1976

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

4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised Selected Papers

History, Achievements, Perspectives

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

4th European Software Engineering Conference, Garmisch-Partenkirchen, Germany, September 13-17, 1993. Proceedings

International Conference, PPDP'99, Paris, France, September, 29 - October 1, 1999, Proceedings

6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings

An Introduction to Logic Programming

A Unified Treatment of Binding Time and Parameter Passing Concepts in Programming Languaues

Form and Content