Home Advanced Search

Advanced Search - Page 1

Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

PDF
English
Year: 1998
Author: Gert Smolka (auth.), Chris Hankin (eds.)

Programming Languages and Systems: 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

PDF
English
Year: 2000
Author: Martin Odersky (auth.), Gert Smolka (eds.)

Principles and Practice of Constraint Programming-CP97: Third International Conference, CP97 Linz, Austria, October 29 – November 1, 1997 Proceedings

DJVU
English
Year: 1997
Author: Pascal Van Hentenryck (auth.), Gert Smolka (eds.)

Principles and Practice of Constraint Programming-CP97: Third International Conference, CP97 Linz, Austria, October 29 – November 1, 1997 Proceedings

PDF
English
Year: 1997
Author: Pascal Van Hentenryck (auth.), Gert Smolka (eds.)

Multiparadigm Programming in Mozart/Oz: Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers

PDF
English
Year: 2005
Author: Gert Smolka (auth.), Peter Van Roy (eds.)

Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings

PDF
English
Year: 2005
Author: Samson Abramsky (auth.), Chris Hankin, Igor Siveroni (eds.)

Confluence and Normalization in Reduction Systems [lecture notes]

PDF
English
Year: 2015
Author: Gert Smolka

Programmierung - eine Einführung in die Informatik mit Standard ML

PDF
German
Year: 2011
Author: Gert Smolka

Programmierung - eine Einführung in die Informatik mit Standard ML

PDF
German
Year: 2009
Author: Gert Smolka

Programmierung - eine Einfuhrung in die Informatik mit Standard ML

PDF
German
Year: 2007
Author: Gert Smolka