National Science Library of Georgia

Your search returned 40 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
Finite-state techniques : automata, transducers and bimachines / Stoyan Mihov, Klaus U. Schulz. by Series: Cambridge tracts in theoretical computer science ; 60.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2019
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Introduction to coalgebra : towards mathematics of states and observation / Bart Jacobs. by Series: Cambridge tracts in theoretical computer science ; 59.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2017
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Temporal logics in computer science : finite-state systems / Stéphane Demri, Valentin Goranko, Martin Lange. by Series: Cambridge tracts in theoretical computer science ; 58.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2016
Online resources:
Availability: No items available.
Log in to add tags Add to cart
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
Advanced topics in bisimulation and coinduction / edited by Davide Sangiorgi, Jan Rutten. by Series: Cambridge tracts in theoretical computer science ; 52.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2012
Other title:
  • Advanced Topics in Bisimulation & Coinduction
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Rippling : meta-level guidance for mathematical reasoning / Alan Bundy [and three others]. by Series: Cambridge tracts in theoretical computer science ; 56.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2005
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
Modal logic / Patrick Blackburn, Maarten de Rijke, Yde Venema. by Series: Cambridge tracts in theoretical computer science ; 53.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2001
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Basic proof theory / A.S. Troelstra, H. Schwichtenberg. by Series: Cambridge tracts in theoretical computer science ; 43.
Edition: Second edition.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2000
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Hybrid graph theory and network analysis / Ladislav Novak, Alan Gibbons. by Series: Cambridge tracts in theoretical computer science ; 49.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 1999
Other title:
  • Hybrid Graph Theory & Network Analysis
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
Information flow : the logic of distributed systems / Jon Barwise, Jerry Seligman. by Series: Cambridge tracts in theoretical computer science ; 44.
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
Epistemic logic for AI and computer science / J.-J. Ch. Meyer, W. van der Hoek. by Series: Cambridge tracts in theoretical computer science ; 41.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 1995
Other title:
  • Epistemic Logic for AI & Computer Science
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Free choice Petri nets / Jörg Desel, Javier Esparza. by Series: Cambridge tracts in theoretical computer science ; 40.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 1995
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Mathematical theory of domains / Viggo Stoltenberg-Hansen, Ingrid Lindström, and Edward R. Griffor. by Series: Cambridge tracts in theoretical computer science ; 22.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 1994
Online resources:
Availability: No items available.
Log in to add tags Add to cart
Metamathematics, machines, and Gödel's proof / N. Shankar. by Series: Cambridge tracts in theoretical computer science ; 38.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 1994
Other title:
  • Metamathematics, Machines & Gödel's Proof
Online resources:
Availability: No items available.
Log in to add tags Add to cart
The uncertain reasoner's companion : a mathematical perspective / J.B. Paris. by Series: Cambridge tracts in theoretical computer science ; 39.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 1994
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.