Katalog der Deutschen Nationalbibliothek

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

491 - 500 von 732

	491	Zur Komplexität von Reduzierbarkeitsproblemen über H-Comparabilitygraphen Andresen, Michael, 2009, [Online-Ausg.]
	492	A course on mathematical logic [Berlin : Springer, 2008
	493	A Posteriori Estimates for Partial Differential Equations Repin, Sergej Igorevič. - Berlin/Boston : De Gruyter, 2008
	494	Analyse der Verbindung von Topologie und Dynamik in abstrakten Graphen und biologischen Netzwerken Müller-Linow, Mark, 2008
	495	Analytische Maschinen und Berechenbarkeit analytischer Funktionen Gärtner, Tobias, 2008, [Online-Ausg.]
	496	Applied proof theory Berlin : Springer, 2008
	497	Approximation algorithms for network design problems Schulze, Anna, 2008
	498	Approximation, randomization, and combinatorial optimization Berlin : Springer, 2008
	499	Aspects of mathematical modelling Basel : Birkhäuser, 2008
	500	Automated methods for formal proofs in simple arithmetics and algebra Chaieb, Amine, 2008