Lectures in Game Theory for Computer ScientistsKrzysztof R. Apt, Erich Grädel · First published 2011Open the Tome
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and KnowledgeKrzysztof R. Apt · First published 2011Open the Tome
Principles of constraint programmingKrzysztof R. Apt · First published 2003 · Latest edition 2010Open the Tome
Verification of sequential and concurrent programsKrzysztof R. Apt · First published 1991 · Latest edition 2009Open the Tome
Constraint Logic Programming using EclipseKrzysztof R Apt · First published 2006 · Latest edition 2007Open the Tome
A sound and complete Hoare-like system for a fragment of PascalKrzysztof R Apt · First published 1978Open the Tome
