Search Results - Apt, Krzysztof R.

Refine Results
  1. 1
    Cover Image

    Verification of Sequential and Concurrent Programs / by Apt, Krzysztof R.

    Published 1991
    Full Text (via Springer)
    eBook

    Save to List
    Saved in:
  2. 2
    Cover Image

    Verification of Sequential and Concurrent Programs / by Apt, Krzysztof R.

    Published 1997
    Full Text (via Springer)
    eBook

    Save to List
    Saved in:
  3. 3
    Cover Image

    Logics and Models of Concurrent Systems / by Apt, Krzysztof R.

    Published 1985
    Full Text (via Springer)
    eBook

    Save to List
    Saved in:
  4. 4
    Cover Image

    Lectures in Game Theory for Computer Scientists. by Apt, Krzysztof R.

    Published 2011
    Full Text (via Cambridge)
    Electronic eBook

    Save to List
    Saved in:
  5. 5
    Cover Image

    Verification of sequential and concurrent programs by Apt, Krzysztof R., 1949-

    Published 2009
    Full Text (via Springer)
    Electronic eBook

    Save to List
    Saved in:
  6. 6
    Cover Image

    Verification of sequential and concurrent programs / by Apt, Krzysztof R., 1949-

    Published 1997
    Book

    Save to List
    Saved in:
  7. 7
    Cover Image

    Principles of constraint programming / by Apt, Krzysztof R., 1949-

    Published 2003
    Full Text (via Cambridge)
    Electronic eBook

    Save to List
    Saved in:
  8. 8
    Cover Image

    Constraint logic programming using ECLiPSe / by Apt, Krzysztof R., 1949-

    Published 2007
    Full Text (via Cambridge)
    Electronic eBook

    Save to List
    Saved in:
  9. 9
    Cover Image

    Verification of sequential and concurrent programs / by Apt, Krzysztof R., 1949-

    Published 1991
    Book

    Save to List
    Saved in:
  10. 10
    Cover Image

    New trends in constraints : joint ERCIM/Compulog Net workshop, Paphos, Cyprus, October 25-27, 1999 : selected papers /

    Published 2000
    Other Authors: “…Apt, Krzysztof R., 1949-…”
    Book

    Save to List
    Saved in:
  11. 11
    Cover Image

    The Logic programming paradigm a 25-year perspective /

    Published 1999
    Other Authors: “…Apt, Krzysztof R., 1949-…”
    Full Text (via Springer)
    Electronic eBook

    Save to List
    Saved in:
  12. 12
    Cover Image

    Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2...

    Published 2004
    Other Authors: “…Apt, Krzysztof R., 1949-…”
    Access full-text online
    Conference Proceeding Book

    Save to List
    Saved in:
  13. 13
    Cover Image

    New trends in constraints joint ERCIM/Compulog Net workshop, Paphos, Cyprus, October 25-27, 1999 : selected papers /

    Published 2000
    Other Authors: “…Apt, Krzysztof R., 1949-…”
    Full Text (via Springer)
    Electronic eBook

    Save to List
    Saved in:
  14. 14
    Cover Image

    Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30--July 2,...

    Published 2004
    Other Authors: “…Apt, Krzysztof R., 1949-…”
    Full Text (via Springer)
    Conference Proceeding eBook

    Save to List
    Saved in:
  15. 15
    Cover Image

    The logic programming paradigm : a 25-year perspective /

    Published 1999
    Other Authors: “…Apt, Krzysztof R., 1949-…”
    Book

    Save to List
    Saved in:
  16. 16
    Cover Image

    Foundations of deductive databases and logic programming /

    Published 1988
    Other Authors: “…Apt, Krzysztof R., 1949-…”
    Full Text (via Internet Archive)
    eBook

    Save to List
    Saved in:
  17. 17
    Cover Image

    Foundations of deductive databases and logic programming /

    Published 1988
    Other Authors: “…Apt, Krzysztof R., 1949-…”
    Book

    Save to List
    Saved in:
  18. 18
    Cover Image

    Foundations of deductive databases and logic programming /

    Published 1988
    Other Authors: “…Apt, Krzysztof R., 1949-…”
    Full Text (via O'Reilly/Safari)
    eBook

    Save to List
    Saved in:
  19. 19
    Cover Image

    Foundations of deductive databases and logic programming

    Published 1988
    Other Authors: “…Apt, Krzysztof R., 1949-…”
    Full Text (via ScienceDirect)
    Electronic eBook

    Save to List
    Saved in:
  20. 20
    Cover Image

    Meta-logics and logic programming /

    Published 1995
    Other Authors: “…Apt, Krzysztof R., 1949-…”
    Book

    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search