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

Av Krzysztof R. Apt, J. W. de Bakker m. fl

Häftad, Engelska, 1993

689 kr

Skickas inom 5-8 vardagar

Meta-Logics and Logic Programming

Av Krzysztof R. Apt, Franco Turini

Häftad, Engelska, 2003

989 kr

Skickas inom 5-8 vardagar

Lectures in Game Theory for Computer Scientists

Av Krzysztof R. Apt, Erich Grädel m. fl

Inbunden, Engelska, 2011

1 979 kr

Skickas inom 10-15 vardagar

Constraint Logic Programming using Eclipse

Av Krzysztof R. Apt, Mark Wallace m. fl

Inbunden, Engelska, 2006

1 269 kr

Skickas inom 10-15 vardagar

Verification of Sequential and Concurrent Programs

Av Krzysztof R. Apt, Frank S. de Boer m. fl

Häftad, Engelska, 2012

1 159 kr

Skickas inom 10-15 vardagar

Edsger Wybe Dijkstra

His Life, Work, and Legacy

Av Krzysztof R. Apt, Tony Hoare m. fl

Häftad, Engelska, 2022

1 329 kr

Skickas inom 10-15 vardagar

Edsger Wybe Dijkstra

His Life, Work, and Legacy

Av Krzysztof R. Apt, Tony Hoare m. fl

Inbunden, Engelska, 2022

1 909 kr

Skickas inom 10-15 vardagar

Verification of Sequential and Concurrent Programs

Av Krzysztof R. Apt, Frank S. de Boer m. fl

Inbunden, Engelska, 2009

1 449 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

Av Krzysztof R. Apt, Francois Fages m. fl

Häftad, Engelska, 2004

729 kr

Skickas inom 10-15 vardagar

Programmverifikation

Sequentielle, parallele und verteilte Programme

Av Krzysztof 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

Av Krzysztof R. Apt, Antonis Kakas m. fl

Häftad, Engelska, 2000

729 kr

Skickas inom 10-15 vardagar

Logic Programming Paradigm

A 25-Year Perspective

Av Krzysztof R. Apt, Victor W. Marek m. fl

Häftad, Engelska, 2011

1 449 kr

Skickas inom 10-15 vardagar

Logics and Models of Concurrent Systems

Av Krzysztof R. Apt, Krzysztof Apt

Häftad, Engelska, 2011

1 449 kr

Skickas inom 10-15 vardagar

Brief History Of Mathematics For Curious Minds, A

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

Inbunden, Engelska, 2024

1 079 kr

Skickas inom 5-8 vardagar

Brief History Of Mathematics For Curious Minds, A

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

Häftad, Engelska, 2024

619 kr

Skickas inom 7-10 vardagar