Automata, languages and programming
: 24th international colloquium ; proceedings / ICALP '97, Bologna, Italy, July 7 - 11, 1997. Pierpaolo Degano ... (ed.). - Berlin : Springer, 1997. - XVI, 862 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1256)
ISBN 978-3-540-63165-1 / 3-540-63165-8 kart. : DM 158.00
Literaturangaben
Quelle: DNB
Automata, languages and programming
: 23rd international colloquium ; proceedings / ICALP 96, Paderborn, Germany, July 8 - 12, 1996. F. Meyer auf der Heide ; B. Monien (ed.). - Berlin : Springer, 1996. - XII, 680 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1099)
ISBN 978-3-540-61440-1 / 3-540-61440-0 kart. : DM 126.00
Literaturangaben
Quelle: DNB
Automata, languages and programming
/ Colloquium on Automata, Language and Programming. - Berlin : Springer, 1991. - XII, 762 S. : graph. Darst. - (Lecture notes in computer science; Vol. 510)
ISBN 978-3-540-54233-9 / 3-540-54233-7 kart. : DM 109.00
Quelle: DNB
Automata, languages and programming
/ Colloquium on Automata, Language and Programming. - Berlin : Springer, 1992. - XII, 719 S. : graph. Darst. - (Lecture notes in computer science; Vol. 623)
ISBN 978-3-540-55719-7 / 3-540-55719-9 kart. : DM 134.00
Quelle: DNB
Automata, languages and programming
: 20th international colloquium ; proceedings / ICALP 93, Lund, Sweden, July 5 - 9, 1993. A. Lingas ... (ed.). - Berlin : Springer, 1993. - XII, 697 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 700)
ISBN 978-3-540-56939-8 / 3-540-56939-1 kart. : DM 134.00
Literaturangaben. - Bis 19 als fortlaufendes Sammelwerk behandelt
Quelle: DNB
Automata, languages and programming
: 31st international colloquium ; proceedings / ICALP 2004, Turku, Finland, July 12 - 16, 2004. Josep Díaz ... (ed.). - Berlin : Springer, 2004. - XIX, 1253 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3142)
ISBN 978-3-540-22849-3 / 3-540-22849-7 kart. : EUR 119.84 (freier Pr.), ca. sfr 189.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Automata, languages, and programming
: 21st international colloquium ; proceedings / ICALP 94, Jerusalem, Israel, July 1994. Serge Abiteboul ; Eli Shamir (ed.). - Berlin : Springer, 1994. - XIII, 644 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 820)
ISBN 978-3-540-58201-4 / 3-540-58201-0 kart. : DM 122.00
Literaturangaben
Quelle: DNB
Automata logics, and infinite games
: a guide to current research / Erich Grädel ... (ed.). - Berlin : Springer, 2002. - VIII, 385 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2500)
ISBN 978-3-540-00388-5 / 3-540-00388-6 kart. : EUR 48.15
Literaturverz. S. 365 - 376
Quelle: DNB
Automata logics, and infinite games
: a guide to current research / E. Grädel ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2500)
ISBN 978-3-540-36387-3
Lizenzpflichtig
Quelle: DNB
Automated and algorithmic debugging
: first international workshop ; proceedings / AADEBUG '93, Linköping, Sweden, May 3 - 5, 1993. Peter A. Fritzson (ed.). - Berlin : Springer, 1993. - VIII, 367 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 749)
ISBN 978-3-540-57417-0 / 3-540-57417-4 kart. : DM 72.00
Literaturangaben
Quelle: DNB
