Showing 1 - 20 results of 25 for search 'Apt, Krzysztof R.', query time: 0.05s Refine Results
  1. 1
    Lectures in Game Theory for Computer Scientists.

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

    Published 2011
    Full Text (via Cambridge)
    Electronic eBook
    Save to List
    Saved in:
  2. 2
    Verification of Sequential and Concurrent Programs /

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

    Published 1991
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  3. 3
    Logics and Models of Concurrent Systems /

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

    Published 1985
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  4. 4
    Verification of Sequential and Concurrent Programs /

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

    Published 1997
    Full Text (via Springer)
    eBook
    Save to List
    Saved in:
  5. 5
    Verification of sequential and concurrent programs /

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

    Published 1997
    Book
    Save to List
    Saved in:
  6. 6
    Constraint logic programming using ECLiPSe /

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

    Published 2007
    Full Text (via Cambridge)
    Electronic eBook
    Save to List
    Saved in:
  7. 7
    Principles of constraint programming /

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

    Published 2003
    Full Text (via Cambridge)
    Electronic eBook
    Save to List
    Saved in:
  8. 8
    Verification of sequential and concurrent programs /

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

    Published 1991
    Book
    Save to List
    Saved in:
  9. 9
    Verification of sequential and concurrent programs

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

    Published 2009
    Full Text (via Springer)
    Electronic eBook
    Save to List
    Saved in:
  10. 10
    New trends in constraints : joint ERCIM/Compulog Net workshop, Paphos, Cyprus, October 25-27, 1999 : selected papers /

    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
    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 /

    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:
  12. 12
    The logic programming paradigm : a 25-year perspective /

    The logic programming paradigm : a 25-year perspective /

    Published 1999
    Other Authors: “…Apt, Krzysztof R., 1949-…”
    Book
    Save to List
    Saved in:
  13. 13
    The Logic programming paradigm a 25-year perspective /

    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:
  14. 14
    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 /

    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
    New trends in constraints joint ERCIM/Compulog Net workshop, Paphos, Cyprus, October 25-27, 1999 : selected papers /

    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:
  16. 16
    Foundations of deductive databases and logic programming /

    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
    Foundations of deductive databases and logic programming /

    Foundations of deductive databases and logic programming /

    Published 1988
    Other Authors: “…Apt, Krzysztof R., 1949-…”
    Book
    Save to List
    Saved in:
  18. 18
    Foundations of deductive databases and logic programming /

    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
    Foundations of deductive databases and logic programming

    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
    Meta-logics and logic programming /

    Meta-logics and logic programming /

    Published 1995
    Other Authors: “…Apt, Krzysztof R., 1949-…”
    Book
    Save to List
    Saved in:
Search Tools: RSS Feed