Katalog der Deutschen Nationalbibliothek

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

131 - 140 von 409

	131	Analysis of methods for extraction of programs from non-constructive proofs Trifonov, Trifon, 2011
	132	Clausal relations and C-clones Vargas García, Edith Mireya, 2011
	133	Clones of partial functions on finite sets Schölzel, Karsten. - Aachen : Shaker, 2011
	134	Contraction-based separation and lifting for solving the max-cut problem Bonato, Thorsten, 2011
	135	Das Problem der Kurvenanpassung Paulßen, Jens. - Frankfurt, M. : Lang, 2011
	136	Definability and model checking Ganzow, Tobias, 2011
	137	Dynamics of genealogical trees for type- and state-dependent resampling models Piotrowiak, Sven, 2011
	138	Eigenvalues of directed and undirected graphs and their applications Bauer, Frank, 2011
	139	Exact and heuristic solutions to the bandwidth minimization problem Tan, Khoa-Vo, 2011
	140	First-order model checking on generalisations of pushdown graphs Kartzow, Alexander, 2011