Your search returned 159 results.

Not what you expected? Check for suggestions
1.
Formal and natural computing : essays dedicated to Grzegorz Rozenberg / Wilfried Brauer [and others] (eds.).

by Brauer, Wilfried.

Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction ; Audience: Specialized; Publisher: Berlin ; Heidelberg : Springer, ©2002Other title: Essays dedicated to Grzegorz Rozenberg.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Automata logics, and infinite games : a guide to current research / Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.).

by Grädel, Erich, 1958- | Thomas, Wolfgang, 1947- | Wilke, Thomas, 1965- | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Theory is forever : essays dedicated to Arto Salomaa on the occasion of his 70th birthday / Juhani Karhumäki [and others].

by Salomaa, Arto | Karhumäki, Juhani.

Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Berlin ; New York, NY : Springer, 2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
Implementation and application of automata : 10th international conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005 : revised selected papers / Jacques Farré, Igor Litovsky, Sylvain Schmitz (eds.).

by CIAA (Conference) (10th : 2005 : Sophia-Antipolis, France) | Farré, Jacques | Litovsky, Igor | Schmitz, Sylvain.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2006Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
Advances in Petri Nets 1988 / Grzegorz Rozenberg (ed.).

by Rozenberg, Grzegorz [edt] | European Workshop on Application and Theory of Petri Nets (8 : 1987 : Zaragoza, Spain).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©1988Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
Implementation and application of automata : 12th international conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007 : revised selected papers / Jan Holub, Jan Zdarek (eds.).

by CIAA (Conference) (12th : 2007 : Prague, Czech Republic) | Holub, Jan | Žd̕árek, Jan, 1938-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: CIAA 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
Automata, languages and programming : 32nd international colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005 ; proceedings / Luis Caires [and others] (eds.).

by International Colloquium on Automata, Languages, and Programming (32nd : 2005 : Lisbon, Portugal) | Caires, Luís | European Association for Theoretical Computer Science.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2005Other title: ICALP 2005.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Automata, languages and programming. Part I : 35th international colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008 ; proceedings / Luca Aceto [and others] (eds.).

Source: Automata, languages and programmingMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2008Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
Automata, languages and programming : 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 ; proceedings. Part I / Susanne Albers [and others] (eds.).

by International Colloquium on Automata, Languages, and Programming (36th : 2009 : Rhodes, Greece) | Albers, Susanne.

Source: Automata, languages and programmingMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©2009Other title: ICALP 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
Automata, languages and programming : 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009 ; proceedings. Part II / Susanne Albers [and others] (eds.).

by International Colloquium on Automata, Languages, and Programming (36th : 2009 : Rhodes, Greece) | Albers, Susanne.

Source: Automata, languages and programmingMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, ©2009Other title: ICALP 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
11.
Automata for branching and layered temporal structures : and investigation into regularities of infinite transition systemes / Gabriele Puppis.

by Puppis, Gabriele.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2010Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
Descriptive set theoretic methods in automata theory : decidability and topological complexity / Michał Skrzypczak.

by Skrzypczak, Michał [author.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer, 2016Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
Computability, complexity, and languages : fundamentals of theoretical computer science / Martin D. Davis, Ron Sigal, Elaine J. Weyuker.

by Davis, Martin, 1928- [author.] | Sigal, Ron [author.] | Weyuker, Elaine J [author.].

Edition: 2nd ed.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Boston : Academic Press, Harcourt, Brace, 1994Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
14.
Stochastic complexity in statistical inquiry / Jorma Rissanen.

by Rissanen, Jorma [author.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Singapore ; River Edge, NJ : World Scientific, 1989Copyright date: ©1989Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
Algebraic theory of automata and languages / Masami Ito.

by Itō, Masami, 1941-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: River Edge, N.J. : World Scientific, ©2004Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
Logic and automata : history and perspectives / edited by Jörg Flum, Erich Grädel, Thomas Wilke.

by Flum, Jörg | Grädel, Erich, 1958- | Wilke, Thomas, 1965-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Amsterdam : Amsterdam University Press, ©2008Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
17.
Net theory and its applications : flows in networks / Wai-Kai Chen.

by Chen, Wai-Kai, 1936-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: London : Imperial College Press, 2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
Words, Semigroups & Transductions : Festschrift in Honor of Gabriel Thierrin / editors, Masami Ito, Gheorghe Păun, Sheng Yu.

by Itō, Masami, 1941- | Păun, Gheorghe, 1950- | Yu, Sheng | Thierrin, Gabriel, 1921-.

Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: River Edge, N.J. : World Scientific, ©2001Other title: Words, semigroups, and transductions.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
19.
An introduction to the theory of formal languages and automata / Willem J.M. Levelt.

by Levelt, W. J. M. (Willem J. M.), 1938-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Amsterdam ; Philadelphia : John Benjamins Pub., ©2008Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
Semigroups and automata : selecta, Uno Kaljulaid (1941-1999) / edited by Jaak Peetre and Jaan Penjam.

by Kaljulaid, U. (Uno) | Peetre, Jaak, 1935- | Penjam, Jaan, 1955-.

Material type: Text Text; Format: available online remote; Nature of contents: biography; Literary form: Not fiction Language: English Original language: Russian, Estonian Publisher: Amsterdam ; Washington, DC : IOS, ©2006Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha