National Science Library of Georgia

Refine your search

Your search returned 59 results.

Sort
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.
Turing's legacy : developments from Turing's ideas in logic / edited by Rod Downey, Victoria University of Wellington. by Series: Lecture notes in logic ; 42.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2014
Online resources:
Availability: No items available.
Mechanism design : a linear programming approach / Rakesh V. Vohra. by Series: Econometric Society monographs ; 47.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2011
Online resources:
Availability: No items available.
Noncommutative rational series with applications / Jean Berstel, Christophe Reutenauer. by Series: Encyclopedia of mathematics and its applications ; v. 137.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2011
Online resources:
Availability: No items available.
Foundations of XML processing : the tree-automata approach / Haruo Hosoya. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2011
Online resources:
Availability: No items available.
Codes and automata / Jean Berstel, Dominique Perrin, Christophe Reutenauer. by Series: Encyclopedia of mathematics and its applications ; v. 129.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2010
Other title:
  • Codes & Automata
Online resources:
Availability: No items available.
Combinatorics, automata, and number theory / edited by Valérie Berthé, Michel Rigo. by Series: Encyclopedia of mathematics and its applications ; v. 135.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2010
Other title:
  • Combinatorics, Automata & Number Theory
Online resources:
Availability: No items available.
Switching and finite automata theory / Zvi Kohavi, Niraj K. Jha. by
Edition: Third edition.
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2010
Other title:
  • Switching & Finite Automata Theory
Online resources:
Availability: No items available.
A second course in formal languages and automata theory / Jeffrey Shallit. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2009
Other title:
  • A Second Course in Formal Languages & Automata Theory
Online resources:
Availability: No items available.
The space and motion of communicating agents / Robin Milner. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2009
Other title:
  • The Space & Motion of Communicating Agents
Online resources:
Availability: No items available.
Elements of automata theory / Jacques Sakarovitch ; translated by Reuben Thomas. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Language: English Original language: French Publisher: Cambridge : Cambridge University Press, 2009
Online resources:
Availability: No items available.
A textbook on automata theory / P.K. Srimani, S.F.B. Nasir. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: New Delhi : Foundation Books, 2007
Online resources:
Availability: No items available.
Automata theory with modern applications / James A. Anderson ; with contributions by Tom Head. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2006
Online resources:
Availability: No items available.
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.
Automatic sequences : theory, applications, generalizations / Jean-Paul Allouche, Jeffrey Shallit. by
Material type: Text Text; Format: available online remote; Literary form: Not fiction
Publisher: Cambridge : Cambridge University Press, 2003
Online resources:
Availability: No items available.
Information processing : proceedings of the IFIP Congress : 2002 / International Federation for Information Processing. by Series: IFIP congress series
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam : North-Holland Pub. Co.
Other title:
  • Proceedings of the IFIP Congress
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Information processing : proceedings of the IFIP Congress : 2001 / International Federation for Information Processing. by Series: IFIP congress series
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam : North-Holland Pub. Co.
Other title:
  • Proceedings of the IFIP Congress
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
Information processing : proceedings of the IFIP Congress : 2000 / International Federation for Information Processing. by Series: IFIP congress series
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Amsterdam : North-Holland Pub. Co.
Other title:
  • Proceedings of the IFIP Congress
Availability: Not available: ეროვნული სამეცნიერო ბიბლიოთეკა 1: Lost (1).
The unknowable / by Gregory J. Chaitin. by Series: (Springer series in discrete mathematics and theoretical computer science)
Material type: Text Text; Format: print ; Literary form: Not fiction
Language: English
Publication details: Singapore ; New York : Springer, c1999
Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1 (1)Call number: 51+681.3 C-43.
Pages
Not finding what you're looking for?
Copyright © 2023 Sciencelib.ge All rights reserved.