Home Advanced Search

Advanced Search - Page 1

Logic Programming: The Joint [9th] International Conference & Symposium
  • DJVU
  • English
  • Year: 1992
  • Author: Krzysztof Apt (ed.)
Logics and models of concurrent systems
  • DJVU
  • English
  • Year: 1985
  • Author: Krzysztof R Apt; North Atlantic Treaty Organization. Scientific Affairs Division (ed.)
Lectures in Game Theory for Computer Scientists
  • PDF
  • English
  • Year: 2011
  • Author: Krzysztof R. Apt, Erich Grädel
Concepts in programming languages
  • PDF
  • English
  • Year: 2001
  • Author: John C. Mitchell, 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
Lectures in game theory for computer scientists
  • PDF
  • English
  • Year: 2011
  • Author: Apt K., Gradel E. (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.)
Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003. Selected Papers
  • PDF
  • English
  • Year: 2004
  • Author: Krzysztof R. Apt, Peter Zoeteweij (auth.), Krzysztof R. Apt, François Fages, Francesca Rossi, Péter Szeredi, Josef Váncza (eds.)
search