Suggested Topics within your search.
Showing 1 - 20 results of 98 for search '"Cambridge tracts in theoretical computer science ;"', query time: 0.14s Refine Results
  1. 1
    Hybrid graph theory and network analysis /

    Hybrid graph theory and network analysis / by Novak, Ladislav, 1950-

    Published 1999
    “…Cambridge tracts in theoretical computer science ;…”
    Book
    Save to List
    Saved in:
  2. 2
    Propositional logic : deduction and algorithms /

    Propositional logic : deduction and algorithms / by Kleine Büning, H. (Hans)

    Published 1999
    “…Cambridge tracts in theoretical computer science ;…”
    Book
    Save to List
    Saved in:
  3. 3
    The uncertain reasoner's companion : a mathematical perspective /

    The uncertain reasoner's companion : a mathematical perspective / by Paris, J. B.

    Published 1994
    “…Cambridge tracts in theoretical computer science ;…”
    Full Text (via Internet Archive)
    eBook
    Save to List
    Saved in:
  4. 4
    Derivation and computation : taking the Curry-Howard correspondence seriously /

    Derivation and computation : taking the Curry-Howard correspondence seriously / by Simmons, Harold

    Published 2000
    “…Cambridge tracts in theoretical computer science ;…”
    Book
    Save to List
    Saved in:
  5. 5
    Mathematical theory of domains /

    Mathematical theory of domains / by Stoltenberg-Hansen, Viggo

    Published 1994
    “…Cambridge tracts in theoretical computer science ;…”
    Full Text (via Internet Archive)
    eBook
    Save to List
    Saved in:
  6. 6
    Formal methods in artificial intelligence /

    Formal methods in artificial intelligence / by Ramsay, Allan, 1953-

    Published 1988
    “…Cambridge tracts in theoretical computer science ;…”
    Full Text (via Internet Archive)
    eBook
    Save to List
    Saved in:
  7. 7
    Mathematics for computer graphics /

    Mathematics for computer graphics / by Hoggar, S. G.

    Published 1992
    “…Cambridge tracts in theoretical computer science ;…”
    Full Text (via Internet Archive)
    eBook
    Save to List
    Saved in:
  8. 8
    Derivation and computation : taking the Curry-Howard correspondence seriously /

    Derivation and computation : taking the Curry-Howard correspondence seriously / by Simmons, Harold

    Published 2000
    “…Cambridge tracts in theoretical computer science ;…”
    Full Text (via Internet Archive)
    eBook
    Save to List
    Saved in:
  9. 9
    Temporal logics in computer science : finite-state systems /

    Temporal logics in computer science : finite-state systems / by Demri, Stéphane P., 1967-, Goranko, Valentin, Lange, Martin, 1974-

    Published 2016
    “…Cambridge tracts in theoretical computer science ;…”
    Book
    Save to List
    Saved in:
  10. 10
    Mathematics for computer graphics /

    Mathematics for computer graphics / by Hoggar, S. G.

    Published 1992
    “…Cambridge tracts in theoretical computer science ;…”
    Book
    Save to List
    Saved in:
  11. 11
    Nonmonotonic reasoning : logical foundations of commonsense /

    Nonmonotonic reasoning : logical foundations of commonsense / by Brewka, Gerhard

    Published 1991
    “…Cambridge tracts in theoretical computer science ;…”
    Book
    Save to List
    Saved in:
  12. 12
    Process algebra : equational theories of communicating processes /

    Process algebra : equational theories of communicating processes / by Baeten, J. C. M.

    Published 2010
    “…Cambridge tracts in theoretical computer science ;…”
    Book
    Save to List
    Saved in:
  13. 13
    Lambda-calculus, combinators, and functional programming /

    Lambda-calculus, combinators, and functional programming / by Révész, György E.

    Published 1988
    “…Cambridge tracts in theoretical computer science ;…”
    Book
    Save to List
    Saved in:
  14. 14
    Formal methods in circuit design /

    Formal methods in circuit design / by Stavridou, V. (Victoria)

    Published 1993
    “…Cambridge tracts in theoretical computer science ;…”
    Book
    Save to List
    Saved in:
  15. 15
    Predicate transformer semantics /

    Predicate transformer semantics / by Manes, Ernest G., 1943-

    Published 1992
    “…Cambridge tracts in theoretical computer science ;…”
    Book
    Save to List
    Saved in:
  16. 16
    Concurrency verification : introduction to compositional and noncompositional methods /

    Concurrency verification : introduction to compositional and noncompositional methods /

    Published 2001
    “…Cambridge tracts in theoretical computer science ;…”
    Book
    Save to List
    Saved in:
  17. 17
    Basic simple type theory /

    Basic simple type theory / by Hindley, J. Roger

    Published 1997
    “…Cambridge tracts in theoretical computer science ;…”
    Book
    Save to List
    Saved in:
  18. 18
    Algebraic specification of communication protocols /

    Algebraic specification of communication protocols /

    Published 1993
    “…Cambridge tracts in theoretical computer science ;…”
    Book
    Save to List
    Saved in:
  19. 19
    Basic proof theory /

    Basic proof theory / by Troelstra, A. S. (Anne Sjerp)

    Published 2000
    “…Cambridge tracts in theoretical computer science ;…”
    Book
    Save to List
    Saved in:
  20. 20
    Free choice Petri nets /

    Free choice Petri nets / by Desel, Jörg

    Published 1995
    “…Cambridge tracts in theoretical computer science ;…”
    Book
    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search