Katalog der Deutschen Nationalbibliothek

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

411 - 420 von 1613

	411	Automated theorem proving for general game playing Haufe, Sebastian, 2012
	412	Automated Theorem Proving for General Game Playing Haufe, Sebastian. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012
	413	Bayesian model inference in dynamic biological systems using Markov Chain Monte Carlo methods Schmidl, Daniel. - München : Universitätsbibliothek der TU München, 2012
	414	Bayesian model inference in dynamic biological systems using Markov chain Monte Carlo methods Schmidl, Daniel, 2012
	415	Bilevel programming Zemkoho, Alain B.. - Freiberg : Technische Universitaet Bergakademie Freiberg Universitaetsbibliothek "Georgius Agricola", 2012
	416	Bilevel programming Zemkoho, Alain B., 2012
	417	Boosting in structured additive models Hofner, Benjamin. - München : Verl. Dr. Hut, 2012, 1. Aufl.
	418	Boosting in Structured Additive Models Hofner, Benjamin. - München : Verlag Dr. Hut, 2012
	419	Cell division processes in tessellations Biehler, Eike. - Jena : Thüringer Universitäts- und Landesbibliothek Jena, 2012
	420	Cell division processes in tessellations Biehler, Eike, 2012