Katalog der Deutschen Nationalbibliothek

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

221 - 230 von 991

	221	Computational geometry and graphs Heidelberg : Springer, © 2013
	222	Computer arithmetic and validity Kulisch, Ulrich. - Berlin : De Gruyter, 2013, 2. ed.
	223	Connection calculi for automated theorem proving in classical and non-classical logics Otten, Jens, 2013
	224	Connectivity in graphs and digraphs Holtkamp, Andreas. - Aachen : Shaker, 2013
	225	Das Unendliche Heidelberg : Spektrum-der-Wiss.-Verl.-Ges., 2013, Nachdr., 3., unveränd. Neuaufl.
	226	Die Abzählbarkeit transfiniter Zahlenmengen und das Cantorsche Kontinuumsproblem Hönig, Volker. - Speyer : V. Hönig, 2013, 1. Aufl.
	227	Die Gödel'schen Unvollständigkeitssätze Hoffmann, Dirk W.. - Berlin : Springer Spektrum, 2013
	228	Die Komplexität der Formelauswertung in intuitionistischen Logiken Weiß, Felix, 2013
	229	Diskrete algebraische Methoden Diekert, Volker. - Berlin : De Gruyter, 2013
	230	Diskrete Mathematik: geordnete Mengen Ganter, Bernhard. - Berlin : Springer Spektrum, 2013