Katalog der Deutschen Nationalbibliothek

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

911 - 920 von 965

	911	Configurations with few crossings in topological graphs Karlsruhe : Univ., Fak. für Informatik, Bibl., 2005
	912	Constrained ordering Guttmann, Walter. - Ulm : Univ., Fak. für Informatik, 2005
	913	Constructions for normal graphs and some consequences Wagler, Annegret. - Magdeburg : Univ., Fak. für Mathemathik, 2005
	914	Designing a GUI for proofs Homik, Martin. - Saarbrücken : Univ., Fachrichtung Informatik, 2005
	915	Discrepancy of arithmetic structures Hebbinghaus, Nils, 2005
	916	Effiziente Algorithmen zur Bestimmung der Unabhängigkeitszahl in Graphen Mahfud, Suhail, 2005
	917	Embedded in the shadow of the separator Göring, Frank. - Chemnitz : Techn. Univ., Fakultät für Mathematik, 2005
	918	Flexible heuristic control for combining automation and user-interaction in inductive theorem proving Schmidt-Samoa, Tobias, 2005
	919	Higher gap morasses Cárdenas, Franqui, 2005
	920	Implementierung eines Algorithmus' für individuelles Matching in Beobachtungsstudien Schröder, Markus Karl Friedrich, 2005