|
1.
|
Finite-state techniques : automata, transducers and bimachines / Stoyan Mihov, Klaus U. Schulz.
by Mihov, Stoyan, 1968- [author.] | Schulz, K. U. (Klaus Ulrich), 1957- [author.]. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cambridge : Cambridge University Press, 2019Online access: Click here to access online Availability: No items available
|
|
2.
|
Groups, languages, and automata / Derek F. Holt, University of Warwick, Sarah Rees, University of Newcastle upon Tyne, Claas E. Röver, National University of Ireland, Galway.
by Holt, Derek F [uthor.] | Rees, Sarah [author.] | Röver, Claas E [author.]. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cambridge : Cambridge University Press, 2017Online access: Click here to access online Availability: No items available
|
|
3.
|
Turing's legacy : developments from Turing's ideas in logic / edited by Rod Downey, Victoria University of Wellington.
by Downey, R. G. (Rod G.) [editor.]. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cambridge : Cambridge University Press, 2014Online access: Click here to access online Availability: No items available
|
|
4.
|
Mechanism design : a linear programming approach / Rakesh V. Vohra.
by Vohra, Rakesh V [author.]. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cambridge : Cambridge University Press, 2011Online access: Click here to access online Availability: No items available
|
|
5.
|
Noncommutative rational series with applications / Jean Berstel, Christophe Reutenauer.
by Berstel, Jean, 1941- [author.] | Reutenauer, Christophe [author.]. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cambridge : Cambridge University Press, 2011Online access: Click here to access online Availability: No items available
|
|
6.
|
Foundations of XML processing : the tree-automata approach / Haruo Hosoya.
by Hosoya, Haruo, 1972- [author.]. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cambridge : Cambridge University Press, 2011Online access: Click here to access online Availability: No items available
|
|
7.
|
Codes and automata / Jean Berstel, Dominique Perrin, Christophe Reutenauer.
by Berstel, Jean, 1941- [author.] | Perrin, Dominique [author.] | Reutenauer, Christophe [author.] | Berstel, Jean, 1941-. Theory of codes. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cambridge : Cambridge University Press, 2010Other title: Codes & Automata.Online access: Click here to access online Availability: No items available
|
|
8.
|
Combinatorics, automata, and number theory / edited by Valérie Berthé, Michel Rigo.
by Berthé, V. (Valérie), 1957- [editor.] | Rigo, Michel [editor.]. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cambridge : Cambridge University Press, 2010Other title: Combinatorics, Automata & Number Theory.Online access: Click here to access online Availability: No items available
|
|
9.
|
Switching and finite automata theory / Zvi Kohavi, Niraj K. Jha.
by Kohavi, Zvi [author.] | Jha, Niraj K [author.]. Edition: Third edition.Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cambridge : Cambridge University Press, 2010Other title: Switching & Finite Automata Theory.Online access: Click here to access online Availability: No items available
|
|
10.
|
A second course in formal languages and automata theory / Jeffrey Shallit.
by Shallit, Jeffrey Outlaw [author.]. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cambridge : Cambridge University Press, 2009Other title: A Second Course in Formal Languages & Automata Theory.Online access: Click here to access online Availability: No items available
|
|
11.
|
The space and motion of communicating agents / Robin Milner.
by Milner, R. (Robin), 1934-2010 [author.]. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cambridge : Cambridge University Press, 2009Other title: The Space & Motion of Communicating Agents.Online access: Click here to access online Availability: No items available
|
|
12.
|
Elements of automata theory / Jacques Sakarovitch ; translated by Reuben Thomas.
by Sakarovitch, Jacques [author.] | Thomas, Reuben [translator.]. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cambridge : Cambridge University Press, 2009Online access: Click here to access online Availability: No items available
|
|
13.
|
A textbook on automata theory / P.K. Srimani, S.F.B. Nasir.
by Srimani, Pradip K [author.] | Nasir, S. F. B [author.]. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: New Delhi : Foundation Books, 2007Online access: Click here to access online Availability: No items available
|
|
14.
|
Automata theory with modern applications / James A. Anderson ; with contributions by Tom Head.
by Anderson, James A. (James Andrew), 1937- [author.] | Head, Thomas J, 1934- [author.]. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cambridge : Cambridge University Press, 2006Online access: Click here to access online Availability: No items available
|
|
15.
|
Applications of process algebra / edited by J.C.M. Baeten.
by Baeten, J. C. M [editor.]. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cambridge : Cambridge University Press, 2004Online access: Click here to access online Availability: No items available
|
|
16.
|
Automatic sequences : theory, applications, generalizations / Jean-Paul Allouche, Jeffrey Shallit.
by Allouche, Jean-Paul, 1953- [author.] | Shallit, Jeffrey Outlaw [author.]. Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Cambridge : Cambridge University Press, 2003Online access: Click here to access online Availability: No items available
|
|
17.
|
Information processing : proceedings of the IFIP Congress : 2002 / International Federation for Information Processing.
by IFIP Congress | International Federation for Information Processing. Material type: Text; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam : North-Holland Pub. Co. Other title: Proceedings of the IFIP Congress.Availability: No items available Lost (1).
|
|
18.
|
Information processing : proceedings of the IFIP Congress : 2001 / International Federation for Information Processing.
by IFIP Congress | International Federation for Information Processing. Material type: Text; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam : North-Holland Pub. Co. Other title: Proceedings of the IFIP Congress.Availability: No items available Lost (1).
|
|
19.
|
Information processing : proceedings of the IFIP Congress : 2000 / International Federation for Information Processing.
by IFIP Congress | International Federation for Information Processing. Material type: Text; Format:
print
; Literary form:
Not fiction
Publisher: Amsterdam : North-Holland Pub. Co. Other title: Proceedings of the IFIP Congress.Availability: No items available Lost (1).
|
|
20.
|
The unknowable / by Gregory J. Chaitin.
by Chaitin, Gregory J. Material type: Text; Format:
print
; Literary form:
Not fiction
Publisher: Singapore ; New York : Springer, c1999Online access: Publisher description | Table of contents only Availability: Items available for loan: ეროვნული სამეცნიერო ბიბლიოთეკა 1
[Call number: 51+681.3 C-43]
(1).
|