|
281 |
Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems Cham : Springer International Publishing, 2014
|
|
|
282 |
System identification of computer networks with random service Lübben, Ralf. - Hannover : Technische Informationsbibliothek und Universitätsbibliothek Hannover (TIB), 2014
|
|
|
283 |
Techniques for adapting industrial simulation software for power devices and networks to multi- and many-core architectures Müller, Thomas. - München : Verl. Dr. Hut, 2014, 1. Aufl.
|
|
|
284 |
Techniques for adapting Industrial Simulation Software for Power Devices and Networks to Multi- and Many-Core Architectures Müller, Thomas. - München : Universitätsbibliothek der TU München, 2014
|
|
|
285 |
Techniques for adapting Industrial Simulation Software for Power Devices and Networks to Multi- and Many-Core Architectures Müller, Thomas. - München : Verlag Dr. Hut, 2014
|
|
|
286 |
[Der Anfang von Himmel und Erde hat keinen Namen] The beginning of heaven and Earth has no name Von Foerster, Heinz. - New York : Fordham University Press, [2014], First edition
|
|
|
287 |
Toward guiding simulation experiments Leye, Stefan. - Rostock : Universität Rostock, 2014
|
|
|
288 |
Trial and Error Paderborn : Fink, 2014
|
|
|
289 |
A generic component-based software architecture for the simulation of probabilistic models Krosche, Martin, 2013
|
|
|
290 |
Analytical and Stochastic Modeling Techniques and Applications Berlin, Heidelberg : Springer Berlin Heidelberg, 2013
|
|