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
Koch, Karl Heinz: Process analytical chemistry
: control, optimization, quality, economy / Karl Heinz Koch. - Berlin : Springer, 1999. - XI, 239 S. : graph. Darst.; 24 cm
ISBN 978-3-540-65337-0 / 3-540-65337-6 Pp. : DM 198.00
Literaturangaben
Quelle: DNB
Grünig, Rudolf: Process based strategic planning
/ Rudolf Grünig ; Richard Kühn. Transl. by Anthony Clark. - 2. ed. - Berlin : Springer, 2002. - XXII, 314 S. : graph. Darst.; 24 cm
ISBN 978-3-540-43502-0 / 3-540-43502-6 Pp. : EUR 45.96
Literaturverz. S. 309 - 314
Quelle: DNB
