|
21 |
Online Monitoring and Computational Steering of Massive Parallel CFD Simulations
Wagner, Christian. - Kaiserslautern : Technische Universität Kaiserslautern, 2013
|
|
|
|
22 |
Verification of Reachability Properties and Termination for Probabilistic Systems
Gaiser, Andreas. - München : Universitätsbibliothek der TU München, 2013
|
|
|
|
23 |
Adaptive-network models of collective dynamics
Zschaler, Gerd. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012
|
|
|
|
24 |
Inferring complex networks from time series of dynamical systems : Pitfalls, misinterpretations, and possible solutions
Bialonski, Stephan. - Bonn : Universitäts- und Landesbibliothek Bonn, 2012
|
|
|
|
25 |
Simulation inkompressibler deformierbarer Körper
Diziol, Raphael. - Karlsruhe : KIT Scientific Publishing, 2012
|
|
|
|
26 |
Structural treatment of time-varying dynamical system networks in the light of hybrid symmetries
Hage-Packhäuser, Sebastian. - Paderborn : Universitätsbibliothek, 2012
|
|
|
|
27 |
Ein Softwarekonzept zur hierarchischen Parallelisierung von stochastischen und deterministischen Inversionsproblemen auf modernen ccNUMA-Plattformen unter Nutzung automatischer Programmtransformation
Wolf, Andreas. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2011
|
|
|
|
28 |
Konfigurierbare Prozessorsysteme zur hardwareunterstützten Simulation von Agentensystemen auf der Basis von Globalen Zellularen Automaten
Schäck, Christian Alexander. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2011
|
|
|
|
29 |
Prozessorientierte optimistisch-parallele Simulation
Kunert, Andreas. - Berlin : Humboldt Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2011
|
|
|
|
30 |
Chip hardware-in-the-loop simulation framework
Köhler, Christian, 2010
|
|
Administration
