Home Advanced Search

Advanced Search - Page 1

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.)
Hybrid Optimization: The Ten Years of CPAIOR
  • PDF
  • English
  • Year: 2011
  • Author: Michela Milano, Pascal van Hentenryck (auth.), Pascal van Hentenryck, Michela Milano (eds.)
Logic programming : proceedings of the eleventh International Conference on Logic Programming
  • DJVU
  • English
  • Year: 1994
  • Author: Pascal Van Hentenryck (eds.)
Static Analysis: 4th International Symposium, SAS '97 Paris, France, September 8–10, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: G. Ramalingam (auth.), Pascal Van Hentenryck (eds.)
Constraint satisfaction in logic programming
  • DJVU
  • English
  • Year: 1989
  • Author: Pascal Van Hentenryck
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.)
Static Analysis: Third International Workshop, WSA '93 Padova, Italy, September 22–24, 1993 Proceedings
  • PDF
  • English
  • Year: 1993
  • Author: Pascal Van Hentenryck, Olivier Degimbe, Baudouin Le Charlier (auth.), Patrick Cousot, Moreno Falaschi, Gilberto Filé, Antoine Rauzy (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
search