National Science Library of Georgia

Your search returned 10 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Nominal sets : names and symmetry in computer science / Andrew M. Pitts. by Series: Cambridge tracts in theoretical computer science ; 57.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2013
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Applications of process algebra / edited by J.C.M. Baeten. by Series: Cambridge tracts in theoretical computer science ; 17.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2004
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Domains and lambda-calculi / Roberto M. Amadio, Pierre-Louis Curien. by Series: Cambridge tracts in theoretical computer science ; 46.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 1998
Other title:
  • Domains & Lambda-Calculi
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Basic simple type theory / J. Roger Hindley. by Series: Cambridge tracts in theoretical computer science ; 42.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 1997
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Predicate transformer semantics / Ernest G. Manes. by Series: Cambridge tracts in theoretical computer science ; 33.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 1992
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Action semantics / Peter D. Mosses. by Series: Cambridge tracts in theoretical computer science ; 26.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 1992
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Nets, terms, and formulas : three views of concurrent processes and their relationship / E.-R. Olderog. by Series: Cambridge tracts in theoretical computer science ; 23.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 1991
Other title:
  • Nets, Terms & Formulas
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Process algebra / J.C.M. Baeten and W.P. Weijland. by Series: Cambridge tracts in theoretical computer science ; 18.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 1990
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Formal semantics and pragmatics for natural language querying / James Clifford. by Series: Cambridge tracts in theoretical computer science ; 8.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 1990
Other title:
  • Formal Semantics & Pragmatics for Natural Language Querying
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Pages
Not finding what you're looking for?
Copyright © 2023 Sciencelib.ge All rights reserved.