Katalog der Deutschen Nationalbibliothek

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

111 - 120 von 287

	111	Automating recursive definitions and termination proofs in higher-order logic Krauss, Alexander, 2009
	112	Bicycles and left-right tours in locally finite graphs Win Myint, Melanie, 2009
	113	Cardinals as ultrapowers Bold, Stefan, 2009
	114	Characterizations of planar lattices by left-relations Zschalig, Christian, 2009
	115	Cohomology of graph hypersurfaces associated to certain Feynman graphs Doryn, Dzmitry, [2009]
	116	Continuous Ramsey theory in higher dimensions Frick, Stefanie. - Berlin : Freie Universität Berlin, 2009
	117	Das Problem der Kurvenanpassung Paulßen, Jens, 2009, [Online-Ausg.]
	118	Dynamics of Boolean networks Greil, Florian, 2009
	119	Edge colourings of multigraphs Scheide, Diego, 2009
	120	Embedding large graphs Böttcher, Julia, 2009