Katalog der Deutschen Nationalbibliothek

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

871 - 880 von 1011

	871	Disjoint NP-pairs and propositional proof systems Beyersdorff, Olaf, 2006
	872	Distance desert automata and star height substitutions Kirsten, Daniel, 2006
	873	Distance hereditary 5-leaf powers Brandstädt, Andreas. - Rostock : Inst. für Informatik, 2006
	874	Distributed abstract state machines and their expressive power Glausch, Andreas. - Berlin : Professoren des Inst. für Informatik, 2006
	875	Divisible designs with dual translation group Giese, Sabine. - Berlin : Freie Univ., Fachbereich Mathematik und Informatik, 2006
	876	Efficient conflict detection in graph transformation systems by essential critical pairs Lambers, Leen. - Berlin : TU, Professoren der Fak. IV, 2006
	877	Elementare Wege zur mathematischen Modellbildung Gotzen, Bernd, 2006
	878	Exakte Zahlen genügen nicht: Mathematik und Ungewissheit Pofahl, Ulrich. - Wien : TU, 2006
	879	Experimental study of energy minimizing point configurations on spheres Magdeburg : Univ., Fak. für Mathematik, 2006
	880	Finite-state genericity Busse, Edgar, 2006