Home Advanced Search

Advanced Search - Page 1

Theory and Applications of Satisfiability Testing – SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Albert Atserias (auth.), Matti Järvisalo, Allen Van Gelder (eds.)
Theory and Applications of Satisfiability Testing - SAT 2013: 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Matti Jarvisalo, Allen Van Gelder
Mathematical Foundations of Computer Science 2009: 34th International Symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24-28, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Albert Atserias (auth.), Rastislav Královič, Damian Niwiński (eds.)
Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Albert Atserias (auth.), Jerzy Marcinkowski, Andrzej Tarlecki (eds.)
Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004. Proceedings
  • DJVU
  • English
  • Year: 2004
  • Author: Albert Atserias (auth.), Jerzy Marcinkowski, Andrzej Tarlecki (eds.)
Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Albert Atserias (auth.), Jerzy Marcinkowski, Andrzej Tarlecki (eds.)
Alogaritmos computacionales : introducción al análisis y diseño
  • PDF
  • Spanish
  • Year: 2002
  • Author: Sara Baase; Allen Van Gelder
Rodolphe Bresdin: Volume I Monographie en Trois Parties
  • PDF
  • English
  • Year: 1976
  • Author: Dirk Van Gelder (auth.)
Rodolphe Bresdin: Volume II Catalogue Raisonné De L’Œuvre Gravé
  • PDF
  • English
  • Year: 1987
  • Author: Dirk Van Gelder (auth.)
The Two Reformations in the 16th Century: A Study of the Religious Aspects and Consequences of Renaissance and Humanism
  • PDF
  • English
  • Year: 1961
  • Author: H. A. Enno van Gelder (auth.)
search