Automata, languages and programming

: 25th international colloquium ; proceedings / ICALP '98, Aalborg, Denmark, July 13 - 17, 1998. Kim G. Larsen ... (ed.). - Berlin : Springer, 1998. - XVI, 932 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1443)

ISBN 978-3-540-64781-2 / 3-540-64781-3 kart. : DM 162.00

Literaturangaben

Quelle: DNB

Automata, languages and programming

: 25th international colloquium ; proceedings / ICALP '98, Aalborg, Denmark, July 1998. K. G. Larsen ... (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1443)

ISBN 978-3-540-68681-1

Lizenzpflichtig

Quelle: DNB

Computer aided verification

: 3rd international workshop ; proceedings / CAV '91, Aalborg, Denmark, July 1 - 4, 1991. K. G. Larsen ; A. Skou (ed.). - Berlin : Springer, 1992. - X, 487 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; 575)

ISBN 978-3-540-55179-9 / 3-540-55179-4 kart. : DM 86.00

Literaturangaben

Quelle: DNB

Formal modeling and analysis of timed systems

: first international workshop ; revised papers / FORMATS 2003, Marseille, France, September 6 - 7, 2003. Ed.: Kim G. Larsen .... - [Berlin : [Springer], 2004. - Online-Ressource - ([Lecture notes in computer science]; [2791])

ISBN 978-3-540-40903-8

Titel aus Metadaten. - Lizenzpfichtig

Quelle: DNB

Formal modeling and analysis of timed systems

: first international workshop ; revised papers / FORMATS 2003, Marseille, France, September 6 - 7, 2003. Kim G. Larsen ; Peter Niebert (ed.). - Berlin : Springer, 2004. - VIII, 280 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2791)

ISBN 978-3-540-21671-1 / 3-540-21671-5 kart. : EUR 48.15 (freier Pr.), sfr 82.00 (freier Pr.)

Literaturangaben

Quelle: DNB Verlagsmeldungen