Katalog der Deutschen Nationalbibliothek

Ergebnis der Suche nach: dcs=003*
im Bestand: Gesamter Bestand

371 - 380 von 911

	371	Verification of reachability properties and termination for probabilistic systems Gaiser, Andreas, 2013
	372	Verification of Reachability Properties and Termination for Probabilistic Systems Gaiser, Andreas. - München : Universitätsbibliothek der TU München, 2013
	373	2112 - die Welt in 100 Jahren Hildesheim : Olms, 2012
	374	A Generic Component-Based Software Architecture for the Simulation of Probabilistic Models Krosche, Martin. - Braunschweig : Technische Universität Braunschweig, 2012
	375	A probabilitistic theory of interactive systems Neubeck, Philipp R., 2012
	376	A Probabilitistic Theory of Interactive Systems Neubeck, Philipp R.. - München : Universitätsbibliothek der TU München, 2012
	377	Adaptive-network models of collective dynamics Zschaler, Gerd, 2012
	378	Adaptive-network models of collective dynamics Zschaler, Gerd. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012
	379	Advances in Intelligent Modelling and Simulation Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
	380	Advances in intelligent modelling and simulation Berlin : Springer, 2012