Katalog der Deutschen Nationalbibliothek

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

71 - 80 von 287

	71	Clausal Relations and C-clones Vargas García, Edith Mireya. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2011
	72	Contraction-based Separation and Lifting for Solving the Max-Cut Problem Bonato, Thorsten. - Heidelberg : Universitätsbibliothek Heidelberg, 2011
	73	Dynamics of genealogical trees for type- and state-dependent resampling models Piotrowiak, Sven, 2011
	74	Exact and Heuristic Solutions to the Bandwidth Minimization Problem Tan, Khoa-Vo. - Heidelberg : Universitätsbibliothek Heidelberg, 2011
	75	Extremal hypergraph theory and algorithmic regularity lemma for sparse graphs Hạ̀n, Hiêp. - Berlin : Humboldt Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2011
	76	First-Order Model Checking on Generalisations of Pushdown Graphs Kartzow, Alexander. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2011
	77	Formale Modellierung von Zielen und zielorientiertem Verhalten in Agentensystemen mit Ziel-, Transitions-Netzen Chong, Dennis, 2011
	78	Learning Description Logic Knowledge Bases from Data Using Methods from Formal Concept Analysis Distel, Felix. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2011
	79	Matchings in balanced hypergraphs Scheidweiler, Robert Berthold. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2011
	80	Multivariate Splineapproximation auf Gebieten Sissouno, Nada. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2011