Petri-Netze
/ Lutz Priese .... - [Online-Ausg. der] 2. [gedr.] Aufl. - Berlin : Springer, 2008. - Online-Ressource - (eXamen.press)
ISBN 978-3-540-76971-2
Lizenzpflichtig
Quelle: DNB
Priese, Lutz: Petri-Netze
/ Lutz Priese ; Harro Wimmel. - 2. Aufl. - Berlin : Springer, 2008. - IX, 374 S. : Ill., graph. Darst.; 24 cm - (eXamen.press)
ISBN 978-3-540-76970-5 kart. : EUR 29.95, sfr 49.00 (freier Pr.)
Literaturverz. S. 363 - 366
Quelle: DNB Verlagsmeldungen
Proceedings / CONCUR '91
/ 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26 - 29, 1991. J. C. M. Baeten ; J. F. Groote (ed.). - Berlin : Springer, 1991. - IX, 540 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; Vol. 527)
ISBN 978-3-540-54430-2 / 3-540-54430-5 kart. : DM 73.00
Literaturangaben
Quelle: DNB
Proceedings / CONCUR '92
/ Third International Conference on Concurrency Theory, Stony Brook, NY, USA, August 24 - 27, 1992. W. R. Cleaveland (ed.). - Berlin : Springer, 1992. - 580 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; Vol. 630)
ISBN 978-3-540-55822-4 / 3-540-55822-5 kart. : DM 104.00
Literaturangaben
Quelle: DNB
Proceedings / CONCUR '93
/ 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23 - 26, 1993. Eike Best (ed.). - Berlin : Springer, 1993. - IX, 540 S.; 24 cm - (Lecture notes in computer science; Vol. 715)
ISBN 978-3-540-57208-4 / 3-540-57208-2 kart. : DM 96.00
Literaturangaben
Quelle: DNB
Proceedings / CONCUR '94
: 5th international conference, Uppsala, Sweden, August 22 - 25, 1994 / Bengt Jonsson ; Joachim Parrow (ed.). - Berlin : Springer, 1994. - IX, 528 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 836)
ISBN 978-3-540-58329-5 / 3-540-58329-7 kart. : DM 96.00
Literaturangaben
Quelle: DNB
Programming languages and systems
: 6th Asian symposium ; proceedings / APLAS 2008, Bangalore, India, December 9 - 11, 2008. G. Ramalingam (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5356)
ISBN 978-3-540-89330-1
Lizenzpflichtig
Quelle: DNB
Programming languages and systems
: 6th Asian symposium ; proceedings / APLAS 2008, Bangalore, India, December 9 - 11, 2008. G. Ramalingam (ed.). - Berlin : Springer, 2008. - X, 341 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; 5356)
ISBN 978-3-540-89329-5 kart. : EUR 52.38 (freier Pr.), sfr 81.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Semantics
: foundations and applications ; proceedings / REX Workshop, Beekbergen, The Netherlands, June 1 - 4, 1992. J. W. de Bakker ... (ed.). - Berlin : Springer, 1993. - VIII, 659 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 666)
ISBN 978-3-540-56596-3 / 3-540-56596-5 kart. : DM 122.00
Literaturangaben
Quelle: DNB
Semantics of systems of concurrent processes
: proceedings / LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23 - 27, 1990. I. Guessarian (ed.). - Berlin : Springer, 1990. - IV, 456 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; 469)
ISBN 978-3-540-53479-2 / 3-540-53479-2 kart. : DM 63.00
Literaturangaben.
Quelle: DNB
