Katalog der Deutschen Nationalbibliothek

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

951 - 960 von 1016

	951	Configurations with few crossings in topological graphs Karlsruhe : Univ., Fak. für Informatik, Bibl., 2005
	952	Constrained ordering Guttmann, Walter. - Ulm : Univ., Fak. für Informatik, 2005
	953	Constructions for normal graphs and some consequences Wagler, Annegret. - Magdeburg : Univ., Fak. für Mathemathik, 2005
	954	Designing a GUI for proofs Homik, Martin. - Saarbrücken : Univ., Fachrichtung Informatik, 2005
	955	Discrepancy of arithmetic structures Hebbinghaus, Nils, 2005
	956	Effiziente Algorithmen zur Bestimmung der Unabhängigkeitszahl in Graphen Mahfud, Suhail, 2005
	957	Embedded in the shadow of the separator Göring, Frank. - Chemnitz : Techn. Univ., Fakultät für Mathematik, 2005
	958	Flexible heuristic control for combining automation and user-interaction in inductive theorem proving Schmidt-Samoa, Tobias, 2005
	959	Frege e il neologicismo Milano : Angeli, 2005
	960	Hausdorff on ordered sets Hausdorff, Felix. - Providence, RI : American Mathematical Soc., 2005