Home Advanced Search

Advanced Search - Page 1

Rewriting Techniques and Applications: 14th International Conference, RTA 2003 Valencia, Spain, June 9–11, 2003 Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Patrick Lincoln (auth.), Robert Nieuwenhuis (eds.)
Rewriting Techniques and Applications: 14th International Conference, RTA 2003 Valencia, Spain, June 9–11, 2003 Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Patrick Lincoln (auth.), Robert Nieuwenhuis (eds.)
Principles and Practice of Constraint Programming – CP 2010: 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Robert Nieuwenhuis (auth.), David Cohen (eds.)
Rewriting Techniques and Applications: 10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Robert Nieuwenhuis, José Miguel Rivero (auth.), Paliath Narendran, Michael Rusinowitch (eds.)
Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Ian Hodkinson, Frank Wolter, Michael Zakharyaschev (auth.), Robert Nieuwenhuis, Andrei Voronkov (eds.)
Programming Logics: Essays in Memory of Harald Ganzinger
  • PDF
  • English
  • Year: 2013
  • Author: Deepak Kapur, Robert Nieuwenhuis, Andrei Voronkov (auth.), Andrei Voronkov, Christoph Weidenbach (eds.)
Mobile Response: First International Workshop on Mobile Information Technology for Emergency Response, Mobile Response 2007, Sankt Augustin, Germany, February 22-23, 2007, Revised Selected Papers
  • PDF
  • English
  • Year: 2007
  • Author: Kees Nieuwenhuis (auth.), Jobst Löffler, Markus Klann (eds.)
Marine Slides and Other Mass Movements
  • PDF
  • English
  • Year: 1982
  • Author: Svend Saxov (auth.), Svend Saxov, J. K. Nieuwenhuis (eds.)
Shaping Flexibility in Vocational Education and Training: Institutional, curricular and professional conditions
  • PDF
  • English
  • Year: 2003
  • Author: Loek F. M. Nieuwenhuis, Wim J. Nijhof, Anja Heikkinen (auth.), Wim J. Nijhof, Anja Heikkinen, Loek F. M. Nieuwenhuis (eds.)
In Vivo Immunology: Histophysiology of the Lymphoid System
  • PDF
  • English
  • Year: 1982
  • Author: Dennis G. Osmond (auth.), Paul Nieuwenhuis, A. A. van den Broek, M. G. Hanna Jr. (eds.)
search