Home Advanced Search

Advanced Search - Page 1

Lectures in Game Theory for Computer Scientists
  • PDF
  • English
  • Year: 2011
  • Author: Krzysztof R. Apt, Erich Grädel
Constraint Logic Programming using Eclipse
  • PDF
  • English
  • Year: 2007
  • Author: Krzysztof R. Apt, Mark Wallace
Principles of constraint programming
  • PDF
  • English
  • Year: 2003
  • Author: Krzysztof Apt
Principles of Constraint Programming
  • PDF
  • English
  • Year: 2003
  • Author: Krzysztof Apt
Verification of Sequential and Concurrent Programs
  • PDF
  • English
  • Year: 1997
  • Author: Krzysztof R. Apt, Ernst-Rüdiger Olderog
Verification of Sequential and Concurrent Programs
  • PDF
  • English
  • Year: 1991
  • Author: Krzysztof R. Apt, Ernst-Rüdiger Olderog
Mathematics of Program Construction: Third International Conference, MPC '95 Kloster Irsee, Germany, July 17–21, 1995 Proceedings
  • DJVU
  • English
  • Year: 1995
  • Author: Krzysztof R. Apt (auth.), Bernhard Möller (eds.)
Logic Programming: The Joint [9th] International Conference & Symposium
  • DJVU
  • English
  • Year: 1992
  • Author: Krzysztof Apt (ed.)
Algorithmic Game Theory: 5th International Symposium, SAGT 2012, Barcelona, Spain, October 22-23, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Krzysztof R. Apt, Sunil Simon (auth.), Maria Serna (eds.)
Logics of Programs: Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983
  • PDF
  • English
  • Year: 1984
  • Author: Krzysztof R. Apt (auth.), Edmund Clarke, Dexter Kozen (eds.)
search