Katalog der Deutschen Nationalbibliothek

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

1631 - 1640 von 1734

	1631	Explanation of independence Adler, Hans, 2005
	1632	Flexible heuristic control for combining automation and user-interaction in inductive theorem proving Schmidt-Samoa, Tobias, 2005
	1633	Formal Concept Analysis Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
	1634	Frege e il neologicismo Milano : Angeli, 2005
	1635	From constructive mathematics to computable analysis via the realizability interpretation Lietz, Peter, [2005]
	1636	Hausdorff on ordered sets Hausdorff, Felix. - Providence, RI : American Mathematical Soc., 2005
	1637	Higher gap morasses Cárdenas, Franqui, 2005
	1638	Higher gap morasses Cárdenas, Franqui, 2005
	1639	Implementierung eines Algorithmus' für individuelles Matching in Beobachtungsstudien Schröder, Markus Karl Friedrich, 2005
	1640	Improved algorithms for all-pairs approximate shortest paths in weighted graphs Baswana, Surender. - Saarbrücken : MPI Informatik, Bibliothek & Dokumentation, 2005