|
|
1.
|
|
|
|
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; Format:
available online
 ; 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; Format:
available online
; 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.
|
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; Format:
available online
; 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 .
|
|
|
5.
|
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; Format:
available online
; 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 .
|
|
|
6.
|
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; Format:
available online
; 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 .
|
|
|
7.
|
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; Format:
available online
; 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 .
|
|
|
8.
|
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; Format:
available online
; 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 .
|
|
|
9.
|
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; Format:
available online
; 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 .
|
|
|
10.
|
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; Format:
available online
; 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 .
|
|
|
11.
|
|
|
|
12.
|
|
|
|
13.
|
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; Format:
available online
; 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 .
|
|
|
14.
|
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; Format:
available online
; 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 .
|
|
|
15.
|
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; Format:
available online
; 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 .
|
|
|
16.
|
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; Format:
available online
; 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 .
|
|
|
17.
|
Automata, languages, and programming : 25th International Colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings / Kim G. Larsen, Sven Skyum, Glynn Winskel, (eds.). by International Colloquium on Automata, Languages, and Programming (25th : 1998 : Ålborg, Denmark) | Larsen, K. G. (Kim G.), 1957- | Skyum, Sven, 1946- | Winskel, G. (Glynn) | European Association for Theoretical Computer Science | LINK (Online service). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©1998Other title: ICALP '98.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
18.
|
Automata, languages and programming : 26th international colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 ; proceedings / Jiří Wiedermann, Peter van Emde Boas, Mogens Nielsen (Eds.). by International Colloquium on Automata, Languages, and Programming (1999 : Prague, Czech Republic) | Emde Boas, P. van | Wiedermann, J. (Juraj) | Nielsen, M. (Mogens), 1949- | LINK (Online service). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; London : Springer, ©1999Other title: ICALP'99.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
19.
|
Automata, languages and programming : 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 : proceedings / Ugo Montanari, José D.P. Rolim, Emo Welzl (eds.). by International Colloquium on Automata, Languages, and Programming (27th : 2000 : Geneva, Switzerland) | Welzl, Emo | Montanari, Ugo | Rolim, José D. P | LINK (Online service). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2000Other title: ICALP 2000 | International Colloquium ICALP 2000.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|
|
|
20.
|
Machines, Computations, and Universality : third international conference, MCU 2001 : Chişinǎu, Moldova, May 23-27 2001 : proceedings / Maurice Margenstern, Yurii Rogozhin (eds.). by MCU 2001 (2001 : Chișinău, Moldova) | Margenstern, Maurice | Rogozhin, Yurii | LINK (Online service). Material type: Text; Format:
available online
; Literary form:
Not fiction
Publisher: Berlin ; New York : Springer, ©2001Other title: MCU 2001.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
|