National Science Library of Georgia

Your search returned 14 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
Transitions and trees : an introduction to structural operational semantics / Hans Hüttel. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2010
Other title:
  • Transitions & Trees
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Semantic techniques in quantum computation / edited by Simon Gay, Ian Mackie. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2010
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
Semantics and logics of computation / edited by Andrew M. Pitts, Peter Dybjer. by Series: Publications of the Newton Institute ; 14.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 1997
Other title:
  • Semantics & Logics of Computation
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Axiomatic domain theory in categories of partial maps / Marcelo P. Fiore. by Series: Distinguished dissertations in computer science
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 1996
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Logic programming : operational semantics and proof theory / James H. Andrews. by Series: Distinguished dissertations in computer science
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
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
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
A practical introduction to denotational semantics / Lloyd Allison. by Series: Cambridge computer science texts ; 23.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 1986
Online resources:
Availability: No items available.
Log in to add tags Add to cart
An Attribute grammar for the semantic analysis of ADA / J. Uhl ... [et al.]. by Series: Lecture notes in computer science ; 139
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin ; New York : Springer-Verlag, 1982
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Log in to add tags Add to cart
Axiomatising the logic of computer programming / Robert Goldblatt. by Series: Lecture notes in computer science ; 130
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin ; New York : Springer-Verlag, 1982
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Log in to add tags Add to cart
Complementary definitions of programming language semantics / James E. Donahue. by Series: Lecture notes in computer science ; 42
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Berlin ; New York : Springer-Verlag, 1976
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Log in to add tags Add to cart
Pages
Not finding what you're looking for?
Copyright © 2023 Sciencelib.ge All rights reserved.