Katalog der Deutschen Nationalbibliothek

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

341 - 350 von 965

	341	Understanding the development of the proving process Nguyen, Danh-Nam. - Hamburg : Kovač, 2012
	342	Advances in graph theory and discrete mathematics Mittweida : Hochsch., 2011
	343	Algebraic graph theory Knauer, Ulrich. - Berlin : De Gruyter, 2011
	344	Algebraic properties of sets of terms Sarasit, Napaporn, 2011
	345	Algebraic structure of endomorphism monoids of finite graphs Apirat Wanichsombat, 2011
	346	Algorithms for symbolic computation and their applications Wienand, Oliver. - Frankfurt, M. : Otto-A.-Wipprecht-Stiftung, 2011
	347	Alternative finestructural and computational approaches to constructibility Carl, Merlin, 2011
	348	Analysis of methods for extraction of programs from non-constructive proofs Trifonov, Trifon, 2011
	349	Apartness and uniformity Bridges, Douglas S.. - Berlin : Springer, 2011
	350	Approximation algorithms for complex systems Berlin : Springer, 2011