Book Reading Time
Home
Subjects
Calculator
About
Contact
Search
K
Krzysztof R. Apt
1949
32 books found
Books by Krzysztof R. Apt
Principles of constraint programming
Krzysztof R. Apt
⏱ 6h 54m
Principles of constraint programming
Krzysztof R. Apt
2003
414 pp.
Meta-logics and logic programming
Krzysztof R. Apt
⏱ 5h 39m
Meta-logics and logic programming
Krzysztof R. Apt
1995
339 pp.
Constraint logic programming using ECLiPSe
Krzysztof R. Apt
⏱ 5h 29m
Constraint logic programming using ECLiPSe
Krzysztof R. Apt
2006
329 pp.
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt
⏱ 7h 26m
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt
1997
446 pp.
From logic programming to Prolog
Krzysztof R. Apt
⏱ 5h 28m
From logic programming to Prolog
Krzysztof R. Apt
1997
328 pp.
Lectures in Game Theory for Computer Scientists
Krzysztof R. Apt
⏱ 5h 9m
Lectures in Game Theory for Computer Scientists
Krzysztof R. Apt
2011
309 pp.
Verification of sequential and concurrent programs
Krzysztof R. Apt
⏱ 6h 43m
Verification of sequential and concurrent programs
Krzysztof R. Apt
1991
403 pp.
Edsger Wybe Dijkstra
Krzysztof R. Apt
Edsger Wybe Dijkstra
Krzysztof R. Apt
2022
No page data
The Logic programming paradigm
Krzysztof R. Apt
⏱ 7h 36m
The Logic programming paradigm
Krzysztof R. Apt
1999
456 pp.
Logics and Models of Concurrent Systems
Krzysztof R Apt
Logics and Models of Concurrent Systems
Krzysztof R Apt
1985
No page data
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Krzysztof R. Apt
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge
Krzysztof R. Apt
2011
No page data
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt
⏱ 7h 24m
Verification of Sequential and Concurrent Programs
Krzysztof R. Apt
1991
444 pp.
The Logic Programming Paradigm
Krzysztof R. Apt
⏱ 7h 36m
The Logic Programming Paradigm
Krzysztof R. Apt
1999
456 pp.
Logics and Models of Concurrent Systems
Krzysztof R. Apt
Logics and Models of Concurrent Systems
Krzysztof R. Apt
1985
No page data
Constraint Logic Programming using Eclipse
Krzysztof R Apt
Constraint Logic Programming using Eclipse
Krzysztof R Apt
2007
No page data
Verification of sequential and concurrent programs
Krzysztof R. Apt
⏱ 8h 22m
Verification of sequential and concurrent programs
Krzysztof R. Apt
2009
502 pp.
Principles of constraint programming
Krzysztof R. Apt
Principles of constraint programming
Krzysztof R. Apt
2010
No page data
A sound and complete Hoare-like system for a fragment of Pascal
Krzysztof R Apt
⏱ 59m
A sound and complete Hoare-like system for a fragment of Pascal
Krzysztof R Apt
1978
59 pp.
Foundations of deductive databases and logic programming
Krzysztof R. Apt
⏱ 12h 26m
Foundations of deductive databases and logic programming
Krzysztof R. Apt
1988
746 pp.
Lectures in game theory for computer scientists
Krzysztof R. Apt
⏱ 4h 55m
Lectures in game theory for computer scientists
Krzysztof R. Apt
2011
295 pp.