Bokus

Krzysztof R. Apt

Visar alla böcker från författaren Krzysztof R. Apt. Handla med fri frakt och snabb leverans.

  1. Edsger Wybe Dijkstra

    Edsger Wybe Dijkstra

    2022

  2. Edsger Wybe Dijkstra

    Edsger Wybe Dijkstra

    2022

  3. Verification of Sequential and Concurrent Programs

    Verification of Sequential and Concurrent Programs

    2012

  4. Verification of Sequential and Concurrent Programs

    Verification of Sequential and Concurrent Programs

    2013

  5. New Perspectives on Games and Interaction

    New Perspectives on Games and Interaction

    2025

  6. Edsger Wybe Dijkstra

    Edsger Wybe Dijkstra

    2022

  7. Logic Programming Languages

    Logic Programming Languages

    1993

  8. Meta-Logics and Logic Programming

    Meta-Logics and Logic Programming

    2003

  9. Lectures in Game Theory for Computer Scientists

    Lectures in Game Theory for Computer Scientists

    2011

  10. Constraint Logic Programming using Eclipse

    Constraint Logic Programming using Eclipse

    2006

  11. New Trends in Constraints

    New Trends in Constraints

    2003

  12. Logic Programming Paradigm

    Logic Programming Paradigm

    2012

  13. Recent Advances in Constraints

    Recent Advances in Constraints

    2004

  14. Recent Advances in Constraints

    Recent Advances in Constraints

    2004

  15. Programmverifikation

    Programmverifikation

    1994

  16. Logics and Models of Concurrent Systems

    Logics and Models of Concurrent Systems

    2013

  17. Programmverifikation

    Programmverifikation

    2013

  18. BRIEF HISTORY OF MATHEMATICS FOR CURIOUS MINDS, A

    BRIEF HISTORY OF MATHEMATICS FOR CURIOUS MINDS, A

    2024

  19. Recent Advances in Constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budap

    Recent Advances in Constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budap

    2014