|
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
|
|
Administration
