9 results
Type of media (2)
Classification (4)
Year
Persons
Publishers
Sort by
Results per page
Filter
9 results

Your search for Semantics Structures in Computation

  1. Cover: Call-By-Push-Value - Springer
    P.B. Levy
    Call-By-Push-Value
    A Functional/Imperative Synthesis
    12/2012
    Springer
    9789400709546 (ISBN)
    E-Book
    PDF
    Other editions
    €117.69
    Available for download
  2. Cover: Domains and Processes - Springer
    Klaus Keimel | Guo-Qiang Zhang | Ying Ming Liu
    Domains and Processes
    Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999
    12/2012
    Springer
    9789401006545 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  3. Cover: Domain Theory, Logic and Computation - Springer
    Guo-Qiang Zhang | J. Lawson | Ying Ming Liu
    Domain Theory, Logic and Computation
    Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001
    06/2013
    1st EDN1st Edition
    Springer
    9789401712910 (ISBN)
    E-Book
    PDF
    Other editions
    €149.79
    Available for download
  4. Cover: Domains and Processes - Springer
    Klaus Keimel | Guo-Qiang Zhang | Ying Ming Liu
    Domains and Processes
    Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999
    09/2012
    Springer
    9789401038591 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 15-20 days
  5. Cover: Call-By-Push-Value - Springer
    P.B. Levy
    Call-By-Push-Value
    A Functional/Imperative Synthesis
    09/2012
    Springer
    9789401037525 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €128.39
    Shipment within 15-20 days
  6. Cover: Domain Theory, Logic and Computation - Springer
    Guo-Qiang Zhang | J. Lawson | Ying Ming Liu
    Domain Theory, Logic and Computation
    Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001
    12/2010
    Springer
    9789048165230 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €160.49
    Shipment within 15-20 days
  7. Cover: Call-By-Push-Value - Kluwer Academic Publishers
    P.B. Levy
    Call-By-Push-Value
    A Functional/Imperative Synthesis
    11/2003
    Kluwer Academic Publishers
    9781402017308 (ISBN)
    Book
    Hardback
    Other editions
    €181.89
    Shipment within 15-20 days
  8. Cover: Domain Theory, Logic and Computation - Springer
    Guo-Qiang Zhang | J. Lawson | Ying Ming Liu
    Domain Theory, Logic and Computation
    Proceedings of the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001
    01/2004
    Springer
    9781402018329 (ISBN)
    Book
    Hardback
    Other editions
    €160.49
    Shipment within 15-20 days
  9. Cover: Domains and Processes - Kluwer Academic Publishers
    Klaus Keimel | Guo-Qiang Zhang | Ying Ming Liu
    Domains and Processes
    Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999
    10/2001
    Kluwer Academic Publishers
    9780792371434 (ISBN)
    Book
    Hardback
    Other editions
    €106.99
    Shipment within 15-20 days