Katalog der Deutschen Nationalbibliothek

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

1631 - 1640 von 1733

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