Formal methods for real time and probabilistic systems
: proceedings / 5th International AMAST Workshop, ARTS '99, Bamberg, Germany, May 1999. J.-P. Katoen (ed.). - Berlin : Springer, 1999. - Online-Ressource - (Lecture notes in computer science; 1601)
ISBN 978-3-540-48778-4
Lizenzpflichtig
Quelle: DNB
Kovačević, Branko: Fundamentals of stochastic signals, systems and estimation theory
: with worked examples / Branko Kovačević ; Željko Đurović. - 2. ed. - Berlin : Springer, 2008. - 414 S. : graph. Darst.; 25 cm
ISBN 978-3-540-70990-9 Pp. : EUR 64.15 (freier Pr.), sfr 99.50 (freier Pr.)
Literaturverz. S. 407 - 409
Quelle: DNB Verlagsmeldungen
Hermanns, Holger: Interactive Markov chains and the quest for quantified quality
/ Holger Hermanns. - Berlin : Springer, 2002. - XII, 217 S. : graph. Darst.; 24 cm - (Lecture notes in computer science; Vol. 2428)
ISBN 978-3-540-44261-5 / 3-540-44261-8 kart. : EUR 38.52
Literaturverz. S. 207 - 217
Quelle: DNB
Interactive Markov chains and the quest for quantified quality
/ H. Hermanns. - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2428)
ISBN 978-3-540-45804-3
Lizenzpflichtig
Quelle: DNB
Nonlinear dynamics of chaotic and stochastic systems
: tutorial and modern developments / Vadim S. Anishchenko .... - [Online-Ausg. der] 2. [gedr.] ed. - Berlin : Springer, 2007. - Online-Ressource - (Springer series in synergetics)
ISBN 978-3-540-38168-6
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
Zimmermann, Armin: Stochastic discrete event systems
: modeling, evaluation, applications ; with 25 tables / Armin Zimmermann. - Berlin : Springer, 2008. - XV, 391 S. : graph. Darst.; 24 cm
ISBN 978-3-540-74172-5 / 3-540-74172-0 Pp. : EUR 74.85 (freier Pr.), ca. sfr 122.00 (freier Pr.)
Literaturverz. S. 361 - 382
Quelle: DNB Verlagsmeldungen
Stochastic hybrid systems
: theory and safety critical applications / Henk A. P. Blom ... (ed.). - Berlin : Springer, 2006. - Online-Ressource - (Lecture notes in control and information sciences; 337)
ISBN 978-3-540-33467-5
Lizenzpflichtig
Quelle: DNB
