Refine your search

Your search returned 59 results.

|
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 Text; Format: available online remote; 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 Text; Format: available online remote; 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 Text; Format: available online remote; 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 Text; Format: available online remote; 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 Text; Format: available online remote; 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 Text; Format: available online remote; 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 Text; Format: available online remote; 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 Text; Format: available online remote; 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 Text; Format: available online remote; 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 Text; Format: available online remote; 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 Text; Format: available online remote; 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 Text; Format: available online remote; 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 Text; Format: available online remote; 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 Text; Format: available online remote; 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 Text; Format: available online remote; 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 Text; Format: available online remote; 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 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 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 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 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).
Not finding what you're looking for?

ეროვნული სამეცნიერო ბიბლიოთეკა 2010 - 2019

გაუგზავნე შეკითხვა ან მოთხოვნა ბიბლიოთეკას