Proceedings / STACS 95
/ 12th Annual Symposium on Theoretical Aspects of Computer Science Munich, Germany, March 2 - 4, 1995. Ernst W. Mayr ; Claude Puech (ed.). - Berlin : Springer, 1995. - XIII, 654 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 900)
ISBN 978-3-540-59042-2 / 3-540-59042-0 kart. : DM 126.00
Literaturangaben
Quelle: DNB
Proceedings / STACS 96
/ 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22 - 24, 1996. Claude Puech ; Rüdiger Reischuk (ed.). - Berlin : Springer, 1996. - XII, 690 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1046)
ISBN 978-3-540-60922-3 / 3-540-60922-9 kart. : DM 126.00
Literaturangaben
Quelle: DNB
Proceedings / STACS 97
/ 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27 - March 1, 1997. Rüdiger Reischuk ; Michel Morvan (ed.). - Berlin : Springer, 1997. - XIII, 614 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1200)
ISBN 978-3-540-62616-9 / 3-540-62616-6 kart. : DM 122.00
Literaturangaben
Quelle: DNB
Proceedings / STACS 98
/ 15th Annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 25 - 27, 1998. Michel Morvan ... (ed.). - Berlin : Springer, 1998. - XV, 630 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1373)
ISBN 978-3-540-64230-5 / 3-540-64230-7 kart. : DM 122.00
Literaturangaben
Quelle: DNB
Proceedings / STACS 99
/ 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4 - 6, 1999. Christoph Meinel ; Sophie Tison (ed.). - Berlin : Springer, 1999. - XIV, 582 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 1563)
ISBN 978-3-540-65691-3 / 3-540-65691-X kart. : DM 118.00
Literaturangaben
Quelle: DNB
Proceedings / STACS 99
/ 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 1999. C. Meinel ... (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1563)
ISBN 978-3-540-49116-3
Lizenzpflichtig
Quelle: DNB
Process algebra and probabilistic methods
: performance modeling and verification ; joint international workshop ; proceedings / PAPM PROBMIV 2001, Aachen, Germany, September 12 - 14, 2001. Luca de Alfaro ; Stephen Gilmore (ed.). - Berlin : Springer, 2001. - XII, 215 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2165)
ISBN 978-3-540-42556-4 / 3-540-42556-X kart. : DM 70.62
Quelle: DNB
Process algebra and probabilistic methods
: performance modeling and verification ; joint international workshop ; proceedings / PAPM PROBMIV 2001, Aachen, Germany, September 12 - 14, 2001. L. de Alfaro ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2165)
ISBN 978-3-540-44804-4
Lizenzpflichtig
Quelle: DNB
Process algebra and probabilistic methods
: performance modeling and verification ; second joint international workshop ; proceedings / PAPM PROBMIV 2002, Copenhagen, Denmark, July 25 - 26, 2002. H. Hermanns ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2399)
ISBN 978-3-540-45605-6
Lizenzpflichtig
Quelle: DNB
Baeten, Josephus C. M.: Process algebra with timing
/ J. C. M. Baeten ; C. A. Middelburg. - Berlin : Springer, 2002. - XVII, 287 S.; 25 cm - (Monographs in theoretical computer science)
ISBN 978-3-540-43447-4 / 3-540-43447-X Pp. : EUR 64.15
Literaturverz. S. 275 - 278
Quelle: DNB
