Katalog der Deutschen Nationalbibliothek

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

431 - 440 von 732

	431	Automating recursive definitions and termination proofs in higher-order logic Krauss, Alexander, 2009
	432	Axiomatic fuzzy set theory and its applications Liu, Xiaodong. - Berlin : Springer, 2009
	433	Bicycles and left-right tours in locally finite graphs Win Myint, Melanie, 2009
	434	Cardinals as ultrapowers Bold, Stefan, 2009
	435	Characterizations of Planar Lattices Zschalig, Christian. - Saarbrücken : Suedwestdeutscher Verlag fuer Hochschulschriften, 2009
	436	Characterizations of planar lattices by left-relations Zschalig, Christian, 2009
	437	Cohomology of graph hypersurfaces associated to certain Feynman graphs Doryn, Dzmitry, [2009]
	438	Combinatorial algorithms Berlin : Springer, 2009
	439	Computability of Julia sets Braverman, Mark. - Berlin : Springer, 2009
	440	Continuous Ramsey theory in higher dimensions Frick, Stefanie. - Berlin : Freie Universität Berlin, 2009