Coordination models and languages
: 9th international conference ; proceedings / COORDINATION 2007, Paphos, Cyprus, June 6 - 8, 2007. Amy L. Murphy ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4467)
ISBN 978-3-540-72794-1
Lizenzpflichtig
Quelle: DNB
A decade of concurrency
: reflections and perspectives ; proceedings / REX School Symposium, Noordwijkerhout, The Netherlands, June 1 - 4, 1993. J. W. de Bakker ... (ed.). - Berlin : Springer, 1994. - 684 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 803)
ISBN 978-3-540-58043-0 / 3-540-58043-3 kart. : DM 122.00
Literaturangaben
Quelle: DNB
Dependable systems: software, computing, networks
: research results of the DICS program / Jürg Kohlas ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4028)
ISBN 978-3-540-36823-6
Lizenzpflichtig
Quelle: DNB
Dependable systems: software, computing, networks
: research results of the DICS program / Jürg Kohlas ... (ed.). - Berlin : Springer, 2006. - XII, 294 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 4028)
ISBN 978-3-540-36821-2 / 3-540-36821-3 kart. : EUR 51.36 (freier Pr.), sfr 85.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Hüsener, Thomas: Entwurf komplexer Echtzeitsysteme
: state of the art / von Thomas Hüsener. - Mannheim : BI-Wiss.-Verl., 1994. - 359 S. : graph. Darst.; 22 cm - (Angewandte Informatik; Bd. 11)
ISBN 978-3-411-16441-7 / 3-411-16441-7 Pp. : DM 84.00
Literaturangaben
Quelle: DNB
Formal and natural computing
: essays dedicated to Grzegorz Rozenberg / W. Brauer ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2300)
ISBN 978-3-540-45711-4
Lizenzpflichtig
Quelle: DNB
Interactive computation
: the new paradigm / Dina Goldin ... (ed.). - Berlin : Springer, 2006. - XIV, 487 S. : Ill., graph. Darst.; 24 cm
ISBN 978-3-540-34666-1 / 3-540-34666-X Pp. : EUR 96.25 (freier Pr.), sfr 152.50 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Lectures on concurrency and Petri nets
: advances in petri nets / Jörg Desel ... (ed.). - Berlin : Springer***5108985, 2004. - VIII, 848 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 3098 : Tutorial)
ISBN 978-3-540-22261-3 / 3-540-22261-8 kart. : EUR 87.74 (freier Pr.), sfr 139.00 (freier Pr.)
Literaturangaben
Quelle: DNB Verlagsmeldungen
Logics for concurrency
: structure versus automata / Faron Moller ; Graham Birtwistle (ed.). - Berlin : Springer, 1996. - XI, 266 S. : graph. Darst.; 25 cm - (Lecture notes in computer science; Vol. 1043)
ISBN 978-3-540-60915-5 / 3-540-60915-6 kart. : DM 62.00
Quelle: DNB
Fokkink, Willem J.: Modelling distributed systems
: with 7 tables / Wan Fokkink. - Berlin : Springer, 2007. - VIII, 151 S. : graph. Darst.; 24 cm - (Texts in theoretical computer science)
ISBN 978-3-540-73937-1 / 3-540-73937-8 Pp. : EUR 53.45, ca. sfr 87.00 (freier Pr.)
Literaturverz. S. 143 - 148
Quelle: DNB Verlagsmeldungen
