Your search returned 149 results.

Not what you expected? Check for suggestions
1.
Foundations of computation theory : proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983 / edited by Marek Karpínski.

by International FCT-Conference (4th : 1983 : Borgholm, Sweden) | Karpiński, Marek, 1948- | Universitetet i Linköping. Department of Computer and Information Science.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1983Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Implementation and application of automata : 5th international conference, CIAA 2000, London, Ontario, Canada, July 24-25, 2000 : revised papers / Sheng Yu, Andrei Păun (eds.).

by CIAA (Conference) (5th : 2000 : London, Ont.) | Yu, Sheng | Păun, Andrei.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Process algebra and probabilistic methods : performance modeling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings / Luca de Alfaro, Stephen Gilmore (eds.).

by PAPM-PROBMIV 2001 (2001 : Aachen, Germany) | De Alfaro, Luca, 1966- | Gilmore, Stephen, 1962-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
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 .
5.
Process algebra and probabilistic methods : performance modeling and verification : second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings / Holger Hermanns, Roberto Segala, eds.

by PAPM-PROBMIV 2002 (2002 : Copenhagen, Denmark) | Hermanns, Holger, 1967- | Segala, Roberto, 1968-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2002Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
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 .
7.
Implementation and application of automata : 6th international conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001 : revised papers / Bruce W. Watson, Derick Wood (eds.).

by CIAA 2001 (2001 : Pretoria, South Africa) | Watson, Bruce William, 1967- | Wood, Derick, 1940- | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©2002Other title: CIAA 2001.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
8.
Formal modeling and analysis of timed systems : first international workshop, FORMATS 2003, Marseille, France, September 6-7, 2003 ; revised papers / Kim G. Larsen, Peter Niebert (eds.).

by FORMATS (Conference) (1st : 2003 : Marseille, France) | Larsen, K. G. (Kim G.), 1957- | Niebert, Peter | LINK (Online service).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; Hong Kong : Springer-Verlag, ©2004Other title: FORMATS 2003.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
9.
Implementation and application of automata : 8th international conference, CIAA 2003, Santa Barbara, CA, USA, July 16-18, 2003 : proceedings / Oscar H. Ibarra, Zhe Dang (eds.).

by CIAA (Conference) (8th : 2003 : Santa Barbara, Calif.) | Ibarra, Oscar H | Dang, Zhe, 1967-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2003Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
10.
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 .
11.
Abstract state machines 2004 : advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings / Wolf Zimmermann, Bernhard Thalheim (eds.).

by ASM 2004 (2004 : Wittenberg, Saxony-Anhalt, Germany) | Zimmermann, Wolf | Thalheim, B. (Bernhard), 1952-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2004Other title: Abstract state machines | ASM 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
12.
Automata, languages and programming : 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004 : proceedings / Josep Diaz [and others] (eds.).

by International Colloquium on Automata, Languages, and Programming (31st : 2004 : Turku, Finland) | Díaz, J. (Josep), 1950- | European Association for Theoretical Computer Science.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, 2004Other title: ICALP 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
13.
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 .
14.
1. Fachtagung über Automatentheorie und Formale Sprachen : Bonn, 9.-12. Juli 1973 / GI, Gesellschaft für Informatik ; herausgegeben im Auftrag der Gesellschaft für Informatik von Karl-Heinz Böhling und Klaus Indermark.

by Fachtagung über Automatentheorie und Formale Sprachen (1st : 1973 : Bonn, Germany) | Böhling, Karl Heinz | Indermark, Klaus | Gesellschaft für Informatik.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Language: English, German, French Publisher: Berlin ; New York : Springer, 1973Other title: Erste Fachtagung über Automatentheorie und Formale Sprachen | Fachtagung über Automatentheorie und Formale Sprachen.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
15.
Advances in Petri nets 1990 / Grzegorz Rozenberg (ed.).

by Rozenberg, Grzegorz [edt] | European Workshop on Application and Theory of Petri Nets (10 : 1989 : Bonn, Germany).

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin : Springer-Verlag, ©1991Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
16.
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 .
17.
Automata implementation : 4th International Workshop on Implementing Automata, WIA'99, Potsdam, Germany, July 17-19, 1999 : revised papers / Oliver Boldt, Helmut Jürgensen (eds.).

by International Workshop on Implementing Automata (4th : 1999 : Potsdam, Germany) | Boldt, Oliver | Jürgensen, Helmut.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2001Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
18.
Automata, languages and programming : 34th international colloquium, ICALP 2007, Wrocław, Poland, July 9-13, 2007 : proceedings / Lars Arge [and others] (eds.).

by International Colloquium on Automata, Languages, and Programming (34th : 2007 : Wrocław, Poland) | Arge, L. (Lars) | European Association for Theoretical Computer Science.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: ICALP 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
19.
Mathematical foundations of computer science 2007 : 32nd international symposium, MFCS 2007, Český Krumlov, Czech Republic, August 26-31, 2007 : proceedings / Luděk Kučera, Antonín Kučera (eds.).

by Symposium on Mathematical Foundations of Computer Science (1972- ) (32nd : 2007 : Český Krumlov, Czech Republic) | Kučera, Luděk | Kučera, A. (Antonín).

Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: MFCS 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
20.
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 .

Powered by Koha