Hoppa till sidans huvudinnehåll

Krzysztof R. Apt - Böcker

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

Logic Programming Languages

Constraints, Functions, and Objects

AvKrzysztof R. Apt,J. W. de Bakker m. fl.

Häftad, Engelska, 1993

689 kr

Skickas inom 3-6 vardagar

Meta-Logics and Logic Programming

AvKrzysztof R. Apt,Franco Turini

Häftad, Engelska, 2003

989 kr

Skickas inom 3-6 vardagar

Lectures in Game Theory for Computer Scientists

AvKrzysztof R. Apt,Erich Grädel m. fl.

Inbunden, Engelska, 2011

1 919 kr

Skickas inom 10-15 vardagar

Constraint Logic Programming using Eclipse

AvKrzysztof R. Apt,Mark Wallace m. fl.

Inbunden, Engelska, 2006

1 229 kr

Skickas inom 10-15 vardagar

Verification of Sequential and Concurrent Programs

AvKrzysztof R. Apt,Frank S. de Boer m. fl.

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 m. fl.

Häftad, Engelska, 2022

1 269 kr

Skickas inom 10-15 vardagar

Edsger Wybe Dijkstra

His Life, Work, and Legacy

AvKrzysztof R. Apt,Tony Hoare m. fl.

Inbunden, Engelska, 2022

1 819 kr

Skickas inom 10-15 vardagar

Verification of Sequential and Concurrent Programs

AvKrzysztof R. Apt,Frank S. de Boer m. fl.

Inbunden, Engelska, 2009

1 409 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 m. fl.

Häftad, Engelska, 2004

719 kr

Skickas inom 10-15 vardagar

Programmverifikation

Sequentielle, parallele und verteilte Programme

AvKrzysztof R. Apt,Ernst-Rüdiger Olderog m. fl.

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 m. fl.

Häftad, Engelska, 2000

719 kr

Skickas inom 10-15 vardagar

Logic Programming Paradigm

A 25-Year Perspective

AvKrzysztof R. Apt,Victor W. Marek m. fl.

Häftad, Engelska, 2011

1 429 kr

Skickas inom 10-15 vardagar

Logics and Models of Concurrent Systems

AvKrzysztof R. Apt,Krzysztof Apt

Häftad, Engelska, 2011

1 429 kr

Skickas inom 10-15 vardagar

Del 4 - Texts in Logic and Games

New Perspectives on Games and Interaction

AvKrzysztof Apt,Robert van Rooij m. fl.

Häftad, Engelska, 2008

1 269 kr

Skickas inom 10-15 vardagar

Brief History Of Mathematics For Curious Minds, A

AvKrzysztof R Apt,Poland) Apt, Krzysztof R (Centrum Wiskunde & Informatica (Cwi), The Netherlands & University Of Warsaw m. fl.

Inbunden, Engelska, 2024

1 229 kr

Skickas inom 3-6 vardagar

Brief History Of Mathematics For Curious Minds, A

AvKrzysztof R Apt,Poland) Apt, Krzysztof R (Centrum Wiskunde & Informatica (Cwi), The Netherlands & University Of Warsaw m. fl.

Häftad, Engelska, 2024

709 kr

Skickas inom 3-6 vardagar