Rakow, Thomas C.: Semantische Concurrency Control in objektorientierten Datenbanksystemen
/ Thomas Rakow. GMD-Forschungszentrum Informationstechnik GmbH. - München : Oldenbourg, 1997. - 233 S. : Ill., graph. Darst.; 23 cm - (GMD-Bericht; Nr. 284)
ISBN 978-3-486-24469-4 / 3-486-24469-8 kart. : DM 63.00, sfr 55.00, S 460.00
Quelle: DNB
Janicki, Ryszard: Specification and analysis of concurrent systems
: the COSY approach / Ryszard Janicki ; Peter E. Lauer. - Berlin : Springer, 1992. - XII, 480 S. : graph. Darst.; 25 cm - (EATCS monographs on theoretical computer sciences; Vol. 26)
ISBN 978-3-540-55204-8 / 3-540-55204-9 Pp. : DM 128.00
Literaturverz. S. 407 - 422
Quelle: DNB
Static analysis
: 6th international symposium ; proceedings / SAS '99, Venice, Italy, September 1999. A. Cortesi ... (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1694)
ISBN 978-3-540-48294-9
Lizenzpflichtig
Quelle: DNB
Theoretical aspects of computing
: 4th international colloquium ; proceedings / ICTAC 2007, Macao, China, September 26 - 28, 2007. Cliff B. Jones ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4711)
ISBN 978-3-540-75292-9
Lizenzpflichtig
Quelle: DNB
Theoretical aspects of computing
: third international colloquium ; proceedings / ICTAC 2006, Tunis, Tunisia, November 20 - 24, 2006. Kamel Barkaoui ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in computer science; 4281)
ISBN 978-3-540-48816-3
Lizenzpflichtig
Quelle: DNB
Theoretical aspects of computing
: second international colloquium ; proceedings / ICTAC 2005, Hanoi, Vietnam, October 17 - 21, 2005. Dang Van Hung ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3722)
ISBN 978-3-540-32072-2
Lizenzpflichtig
Quelle: DNB
Priese, Lutz: Theoretische Informatik Petri-Netze
/ Lutz Priese ; Harro Wimmel. - Berlin : Springer, 2003. - IX, 376 S. : graph. Darst.; 24 cm - (Springer-Lehrbuch)
ISBN 978-3-540-44289-9 / 3-540-44289-8 kart. : EUR 29.95
Literaturverz. S. 365 - 368
Quelle: DNB
Esparza, Javier: Unfoldings
: a partial order approach to model checking / Javier Esparza ; Keijo Heljanko. - Berlin : Springer, 2008. - XII, 169 S. : graph. Darst.; 24 cm - (Monographs in theoretical computer science)
ISBN 978-3-540-77425-9 Pp. : EUR 58.80 (freier Pr.)
Literaturverz. S. 157 - 164
Quelle: DNB Verlagsmeldungen
Zimmer, Ralf Martin: Zur Pragmatik eines operationalisierten λ-Kalküls als Basis für interaktive Reduktionssysteme
/ Ralf Martin Zimmer. Gesellschaft für Mathematik und Datenverarbeitung mbH. - München : Oldenbourg, 1991. - 422 S. : graph. Darst.; 23 cm - (Berichte der Gesellschaft für Mathematik und Datenverarbeitung mbH; Nr. 192)
ISBN 978-3-486-21956-2 / 3-486-21956-1 kart. : ca. DM 100.00
Quelle: DNB
