Εμφανίζονται 1 - 15 Αποτελέσματα από 15 για την αναζήτηση '"Cambridge tracts in theoretical computer science"', χρόνος αναζήτησης: 0,05δλ Περιορισμός αποτελεσμάτων
  1. 1
    Basic proof theory /
    ανά Troelstra, A. S. (Anne Sjerp)
    Έκδοση 1996
    “…Cambridge tracts in theoretical computer science…”
    Βιβλίο
  2. 2
    Metamathematics, machines, and Godel's proof /
    ανά Shankar, N.
    Έκδοση 1997
    “…Cambridge tracts in theoretical computer science…”
    Βιβλίο
  3. 3
    Basic proof theory /
    ανά Troelstra, A. S. (Anne Sjerp)
    Έκδοση 2000
    “…Cambridge tracts in theoretical computer science…”
    Βιβλίο
  4. 4
    Algorithmic information theory /
    ανά Chaitin, Gregory J.
    Έκδοση 1987
    “…Cambridge tracts in theoretical computer science…”
    Βιβλίο
  5. 5
    Action semantics
    ανά Mosses, Peter D.
    Έκδοση 1992
    “…Cambridge tracts in theoretical computer science…”
    Βιβλίο
  6. 6
    Domains and lambda-calculi
    ανά Amadio, Roberto M.
    Έκδοση 1998
    “…Cambridge tracts in theoretical computer science…”
    Βιβλίο
  7. 7
    Mathematical theory of domains
    ανά Stoltenberg-Hansen, Viggo
    Έκδοση 1994
    “…Cambridge tracts in theoretical computer science…”
    Βιβλίο
  8. 8
    Topology via logic
    ανά Vickers, Steven
    Έκδοση 1996
    “…Cambridge tracts in theoretical computer science…”
    Βιβλίο
  9. 9
    Information flow the logic of distributed systems
    ανά Barwise, Jon
    Έκδοση 1997
    “…Cambridge tracts in theoretical computer science…”
    Βιβλίο
  10. 10
    Epistemic logic for AI and computer science
    ανά Meyer, John-Jules Ch
    Έκδοση 1995
    “…Cambridge tracts in theoretical computer science…”
    Βιβλίο
  11. 11
    Two-level functional languages
    ανά Nielson, Flemming, Nielson, Hanne R.
    Έκδοση 1992
    “…Cambridge Tracts in Theoretical Computer Science…”
    Βιβλίο
  12. 12
    Algebraic specification of communication protocols
    Έκδοση 1993
    “…Cambridge Tracts in Theoretical Computer Science…”
    Βιβλίο
  13. 13
    Process algebra
    ανά Baeten, J.C.M, Weijland, W.P
    Έκδοση 1990
    “…Cambridge Tracts in Theoretical Computer Science…”
    Βιβλίο
  14. 14
    Nets, Terms and Formulas Tree views of Concurrent Processes and Their Relationship
    ανά Olderog, E.-R
    Έκδοση 1991
    “…Cambridge Tracts in Theoretical Computer Science…”
    Βιβλίο
  15. 15
    Higher order logic and harware verification
    ανά Melham, T.
    Έκδοση 1993
    “…Cambridge Tracts in Theoretical Computer Science…”
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email