Katalog der Deutschen Nationalbibliothek

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

121 - 130 von 410

	121	Topological set theories and hyperuniverses Fackler, Andreas, 2012
	122	Trivariate local lagrange interpolation and macro-elements of arbitrary smoothness Matt, Michael A.. - Wiesbaden : Springer Spektrum, 2012
	123	Understanding the development of the proving process Nguyen, Danh-Nam. - Hamburg : Kovač, 2012
	124	Algebraic properties of sets of terms Sarasit, Napaporn, 2011
	125	Algebraic structure of endomorphism monoids of finite graphs Apirat Wanichsombat, 2011
	126	Algorithms for symbolic computation and their applications Wienand, Oliver. - Frankfurt, M. : Otto-A.-Wipprecht-Stiftung, 2011
	127	Alternative finestructural and computational approaches to constructibility Carl, Merlin, 2011
	128	Analysis of methods for extraction of programs from non-constructive proofs Trifonov, Trifon, 2011
	129	Clausal relations and C-clones Vargas García, Edith Mireya, 2011
	130	Clones of partial functions on finite sets Schölzel, Karsten. - Aachen : Shaker, 2011