Katalog der Deutschen Nationalbibliothek

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

351 - 360 von 409

	351	Disjoint NP-pairs and propositional proof systems Beyersdorff, Olaf, 2006
	352	Distance desert automata and star height substitutions Kirsten, Daniel, 2006
	353	Elementare Wege zur mathematischen Modellbildung Gotzen, Bernd, 2006
	354	Finite-state genericity Busse, Edgar, 2006
	355	Formalizing plane graph theory Bauer, Gertrud Josefine, 2006
	356	Galleries and q-analogs in combinatorial representation theory Schwer, Christoph, 2006
	357	Knotenfärbungen mit Abstandsbedingungen Kohl, Anja, 2006
	358	Kreuzungsminimales Einfügen einer Kante in einen aufwärtsplanaren sT-Graphen Wong, Hoi-Ming. - Dortmund : Univ., Algorithm Engineering, 2006
	359	L-identification for sources Heup, Christian, 2006
	360	Lokale Lagrange-Interpolation mit Splineoberflächen Dinh, Andreas, 2006