Hoppa till sidans huvudinnehåll

Krzysztof R. Apt – författare

Visar alla böcker från författaren .
15 produkter
Krzysztof R. Apt, J. W. de Bakker, J. M. Rutten - Logic Programming Languages, Häftad

Logic Programming Languages

Constraints, Functions, and Objects

AvKrzysztof R. Apt,J. W. de Bakkerm. fl.

Häftad, Engelska, 1993

699 kr

Skickas inom 3-6 vardagar

Krzysztof R. Apt, Franco Turini - Meta-Logics and Logic Programming, Häftad

Meta-Logics and Logic Programming

AvKrzysztof R. Apt,Franco Turini

Häftad, Engelska, 2003

989 kr

Skickas inom 3-6 vardagar

Krzysztof R. Apt, Erich Grädel - Lectures in Game Theory for Computer Scientists, Inbunden

Lectures in Game Theory for Computer Scientists

AvKrzysztof R. Apt,Erich Grädel

Inbunden, Engelska, 2011

2 139 kr

Skickas inom 7-10 vardagar

Krzysztof R. Apt, Mark Wallace - Constraint Logic Programming using Eclipse, Inbunden

Constraint Logic Programming using Eclipse

AvKrzysztof R. Apt,Mark Wallace

Inbunden, Engelska, 2006

1 369 kr

Skickas inom 7-10 vardagar

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog - Verification of Sequential and Concurrent Programs, Häftad

Verification of Sequential and Concurrent Programs

AvKrzysztof R. Apt,Frank S. de Boerm. fl.

Häftad, Engelska, 2012

1 159 kr

Skickas inom 10-15 vardagar

Krzysztof R. Apt, Tony Hoare, Krzysztof R. Apt, Tony Hoare - Edsger Wybe Dijkstra, Häftad

Edsger Wybe Dijkstra

His Life, Work, and Legacy

AvKrzysztof R. Apt,Tony Hoarem. fl.

Häftad, Engelska, 2022

1 319 kr

Skickas inom 5-8 vardagar

Krzysztof R. Apt, Tony Hoare, Krzysztof R. Apt, Krzysztof R Apt - Edsger Wybe Dijkstra, Inbunden

Edsger Wybe Dijkstra

His Life, Work, and Legacy

AvKrzysztof R. Apt,Tony Hoarem. fl.

Inbunden, Engelska, 2022

1 909 kr

Skickas inom 5-8 vardagar

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog - Verification of Sequential and Concurrent Programs, Inbunden

Verification of Sequential and Concurrent Programs

AvKrzysztof R. Apt,Frank S. de Boerm. fl.

Inbunden, Engelska, 2009

1 439 kr

Skickas inom 10-15 vardagar

Krzysztof R. Apt, Francois Fages, Francesca Rossi, Peter Szeredi, Josef Váncza - Recent Advances in Constraints, Häftad

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

AvKrzysztof R. Apt,Francois Fagesm. fl.

Häftad, Engelska, 2004

729 kr

Skickas inom 10-15 vardagar

Krzysztof R. Apt, Ernst-Rüdiger Olderog - Programmverifikation, Häftad

Programmverifikation

Sequentielle, parallele und verteilte Programme

AvKrzysztof R. Apt,Ernst-Rüdiger Olderog

Häftad, Tyska, 1994

399 kr

Skickas inom 10-15 vardagar

Krzysztof R. Apt, Antonis Kakas, Eric Monfroy, Francesca Rossi - New Trends in Constraints, Häftad

New Trends in Constraints

Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers

AvKrzysztof R. Apt,Antonis Kakasm. fl.

Häftad, Engelska, 2000

729 kr

Skickas inom 10-15 vardagar

Krzysztof R. Apt, Victor W. Marek, Mirek Truszczynski, David S. Warren - Logic Programming Paradigm, Häftad

Logic Programming Paradigm

A 25-Year Perspective

AvKrzysztof R. Apt,Victor W. Marekm. fl.

Häftad, Engelska, 2011

1 439 kr

Skickas inom 10-15 vardagar

Krzysztof R. Apt - Logics and Models of Concurrent Systems, Häftad
Del 13 - NATO ASI Subseries F:

Logics and Models of Concurrent Systems

AvKrzysztof R. Apt

Häftad, Engelska, 2011

1 439 kr

Skickas inom 10-15 vardagar

Krzysztof R Apt - BRIEF HISTORY OF MATHEMATICS FOR CURIOUS MINDS, A, Inbunden

BRIEF HISTORY OF MATHEMATICS FOR CURIOUS MINDS, A

AvKrzysztof R Apt

Inbunden, Engelska, 2024

1 279 kr

Skickas inom 3-6 vardagar

Krzysztof R Apt - BRIEF HISTORY OF MATHEMATICS FOR CURIOUS MINDS, A, Häftad

BRIEF HISTORY OF MATHEMATICS FOR CURIOUS MINDS, A

AvKrzysztof R Apt

Häftad, Engelska, 2024

739 kr

Skickas inom 5-8 vardagar