Katalog der Deutschen Nationalbibliothek

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

211 - 220 von 734

	211	Algorithms for Symbolic Computation and their Applications - Standard Bases over Rings and Rank Tests in Statistics Wienand, Oliver. - Kaiserslautern : Universitätsbibliothek Kaiserslautern, 2011
	212	Algorithms for symbolic computation and their applications Wienand, Oliver. - Frankfurt, M. : Otto-A.-Wipprecht-Stiftung, 2011
	213	Alternative finestructural and computational approaches to constructibility Carl, Merlin, 2011
	214	Alternative Finestructural and Computational Approaches to Constructibility Carl, Merlin. - Bonn : Universitäts- und Landesbibliothek Bonn, 2011
	215	Analysis of methods for extraction of programs from non-constructive proofs Trifonov, Trifon, 2011
	216	Clausal relations and C-clones Vargas García, Edith Mireya, 2011
	217	Clausal Relations and C-clones Vargas García, Edith Mireya. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2011
	218	Clones of partial functions on finite sets Schölzel, Karsten. - Aachen : Shaker, 2011
	219	Clones of Partial Functions on Finite Sets Schölzel, Karsten. - Aachen : Shaker, 2011, 1. Aufl.
	220	Contraction-based separation and lifting for solving the max-cut problem Bonato, Thorsten, 2011