Books by Krzysztof R. Apt
10 titles available, newest first by original publication date.
Lectures in Game Theory for Computer Scientists
Krzysztof R. Apt
$173.99
Edsger Wybe Dijkstra: His Life, Work, and Legacy
Edsger Wybe Dijkstra: His Life, Work, and Legacy
Krzysztof R. Apt
$106.99
Logics and Models of Concurrent Systems
Logics and Models of Concurrent Systems
Krzysztof R. Apt
$128.99
The Logic Programming Paradigm: A 25-Year Perspective
The Logic Programming Paradigm: A 25-Year Perspective
Krzysztof R. Apt
$128.99
Verification of Sequential and Concurrent Programs
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt
$106.99
Recent Advances in Constraints: Joint Ercim/Colognet International Workshop on Constraint Solving and Constraint Logic Programming, Csclp 2003, Budape
Recent Advances in Constraints: Joint Ercim/Colognet International Workshop on Constraint Solving and Constraint Logic Programming, Csclp 2003, Budape
Krzysztof R. Apt
$67.99
Meta-Logics and Logic Programming
Meta-Logics and Logic Programming
Krzysztof R. Apt
$62.99
New Trends in Constraints: Joint Ercim/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers
New Trends in Constraints: Joint Ercim/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers
Krzysztof R. Apt
$67.99
Programmverifikation: Sequentielle, Parallele Und Verteilte Programme
Programmverifikation: Sequentielle, Parallele Und Verteilte Programme
Krzysztof R. Apt
$50.99
Logic Programming Languages: Constraints, Functions, and Objects
Logic Programming Languages: Constraints, Functions, and Objects
Krzysztof R. Apt
$38.99