Premium Members Get 10% Off and Earn Rewards Find Out More

 

1 - 13 of 13 results for "Krzysztof R. Apt"

Grid View Grid
List View List
Grid View Grid
List View List
Title: 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 / Edition 1, Author: Krzysztof R. Apt
QUICK ADD
Recent Advances in Constraints…
by Krzysztof R. Apt, Francois Fages, Francesca Rossi, Peter Szeredi, Josef Vïncza
#3010 in Series
Paperback $54.99
Title: Edsger Wybe Dijkstra: His Life, Work, and Legacy, Author: Krzysztof R. Apt
QUICK ADD
Edsger Wybe Dijkstra: His Life…
by Krzysztof R. Apt
Explore Series
Paperback $89.95
Title: Verification of Sequential and Concurrent Programs, Author: Krzysztof R. Apt
QUICK ADD
Verification of Sequential and…
by Krzysztof R. Apt, Amir Pnueli (Foreword by), Frank S. de Boer, Ernst-Rïdiger Olderog
Explore Series
Paperback $89.99
Title: A Brief History Of Mathematics For Curious Minds, Author: Krzysztof R Apt
QUICK ADD
A Brief History Of Mathematics…
by Krzysztof R Apt
Paperback $38.00
Title: Constraint Logic Programming using Eclipse, Author: Krzysztof R. Apt
QUICK ADD
Constraint Logic Programming…
by Krzysztof R. Apt, Mark Wallace
Hardcover $92.99
Title: Verification of Sequential and Concurrent Programs / Edition 3, Author: Krzysztof R. Apt
QUICK ADD
Verification of Sequential and…
by Krzysztof R. Apt, Amir Pnueli, Frank S. de Boer, Ernst-Rïdiger Olderog
Explore Series
Hardcover $109.99
Title: The Logic Programming Paradigm: A 25-Year Perspective, Author: Krzysztof R. Apt
QUICK ADD
The Logic Programming Paradigm…
by Krzysztof R. Apt (Editor), Victor W. Marek (Editor), Mirek Truszczynski (Editor), David S. Warren (Editor)
Explore Series
Paperback $109.99
Title: Logic Programming Languages: Constraints, Functions, and Objects, Author: Krzysztof R. Apt
QUICK ADD
Logic Programming Languages:…
by Krzysztof R. Apt (Editor), J. W. de Bakker (Editor), J. M. Rutten (Editor)
Explore Series
Paperback $30.00
Title: Lectures in Game Theory for Computer Scientists, Author: Krzysztof R. Apt
QUICK ADD
Lectures in Game Theory for…
by Krzysztof R. Apt, Erich Grädel
Hardcover $135.00
Title: Programmverifikation: Sequentielle, parallele und verteilte Programme, Author: Krzysztof R. Apt
QUICK ADD
Programmverifikation:…
by Krzysztof R. Apt, Ernst-Rïdiger Olderog
Explore Series
Paperback $39.95
Title: New Trends in Constraints: Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers, Author: Krzysztof R. Apt
QUICK ADD
New Trends in Constraints:…
by Krzysztof R. Apt (Editor), Antonis Kakas (Editor), Eric Monfroy (Editor), Francesca Rossi (Editor)
#1865 in Series
Paperback $54.99
Title: Meta-Logics and Logic Programming, Author: Krzysztof R. Apt
QUICK ADD
Meta-Logics and Logic…
by Krzysztof R. Apt (Editor), Franco Turini (Editor)
Explore Series
Paperback $45.00
Title: Logics and Models of Concurrent Systems, Author: Krzysztof R. Apt
QUICK ADD
Logics and Models of…
by Krzysztof R. Apt (Editor)
#13 in Series
Paperback $109.99