Hoppa till sidans huvudinnehåll

Krzysztof R. Apt - Böcker

Visar alla böcker från författaren Krzysztof R. Apt.
15 produkter

Logic Programming Languages

Constraints, Functions, and Objects

AvKrzysztof R. Apt,J. W. de Bakker,J. M. Rutten,J. W. De Bakker

Häftad, Engelska, 1993

699 kr

Skickas inom 3-6 vardagar

Meta-Logics and Logic Programming

AvKrzysztof R. Apt,Franco Turini

Häftad, Engelska, 2003

939 kr

Skickas inom 3-6 vardagar

Lectures in Game Theory for Computer Scientists

AvKrzysztof R. Apt,Erich Grädel,Erich Grädel,Krzysztof R. (Universiteit van Amsterdam) Apt,Germany) Gradel, Erich (Rheinisch-Westfalische Technische Hochschule, Aachen

Inbunden, Engelska, 2011

1 929 kr

Skickas inom 7-10 vardagar

Constraint Logic Programming using Eclipse

AvKrzysztof R. Apt,Mark Wallace,Amsterdam) Apt, Krzysztof R. (Stichting Centrum voor Wiskunde en Informatica (CWI),Victoria) Wallace, Mark (Monash University,R. Krzysztof Apt

Inbunden, Engelska, 2006

1 229 kr

Skickas inom 7-10 vardagar

Verification of Sequential and Concurrent Programs

AvKrzysztof R. Apt,Frank S. de Boer,Ernst-Rüdiger Olderog

Häftad, Engelska, 2012

1 149 kr

Skickas inom 10-15 vardagar

Edsger Wybe Dijkstra

His Life, Work, and Legacy

AvKrzysztof R. Apt,Tony Hoare,Krzysztof R. Apt,Tony Hoare

Häftad, Engelska, 2022

1 289 kr

Skickas inom 7-10 vardagar

Edsger Wybe Dijkstra

His Life, Work, and Legacy

AvKrzysztof R. Apt,Tony Hoare,Krzysztof R. Apt,Krzysztof R Apt

Inbunden, Engelska, 2022

1 849 kr

Skickas inom 7-10 vardagar

Verification of Sequential and Concurrent Programs

AvKrzysztof R. Apt,Frank S. de Boer,Ernst-Rüdiger Olderog

Inbunden, Engelska, 2009

1 439 kr

Skickas inom 10-15 vardagar

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 Fages,Francesca Rossi,Peter Szeredi,Josef Váncza

Häftad, Engelska, 2004

719 kr

Skickas inom 10-15 vardagar

Programmverifikation

Sequentielle, parallele und verteilte Programme

AvKrzysztof R. Apt,Ernst-Rüdiger Olderog

Häftad, Tyska, 1994

399 kr

Skickas inom 10-15 vardagar

New Trends in Constraints

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

AvKrzysztof R. Apt,Antonis Kakas,Eric Monfroy,Francesca Rossi,Krzysztof Apt

Häftad, Engelska, 2000

719 kr

Skickas inom 10-15 vardagar

Logic Programming Paradigm

A 25-Year Perspective

AvKrzysztof R. Apt,Victor W. Marek,Mirek Truszczynski,David S. Warren,Krzysztof Apt

Häftad, Engelska, 2011

1 439 kr

Skickas inom 10-15 vardagar

Logics and Models of Concurrent Systems

AvKrzysztof R. Apt,Krzysztof Apt

Häftad, Engelska, 2011

1 439 kr

Skickas inom 10-15 vardagar

Brief History Of Mathematics For Curious Minds, A

AvKrzysztof R Apt

Inbunden, Engelska, 2024

1 209 kr

Skickas inom 3-6 vardagar

Brief History Of Mathematics For Curious Minds, A

AvKrzysztof R Apt

Häftad, Engelska, 2024

699 kr

Skickas inom 5-8 vardagar