Katalog der Deutschen Nationalbibliothek

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

251 - 260 von 736

	251	Analysis of methods for extraction of programs from non-constructive proofs Trifonov, Trifon. - München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2012
	252	Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
	253	Combinatorial Algorithms Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
	254	Combining Experimentation and Theory Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
	255	Complexity classifications for nonmonotonic reasoning and enumeration Schmidt, Johannes. - Hannover : Technische Informationsbibliothek und Universitätsbibliothek Hannover (TIB), 2012
	256	Computational aspects of dependence logic Lohmann, Peter. - Hannover : Technische Informationsbibliothek und Universitätsbibliothek Hannover (TIB), 2012
	257	Computer Arithmetic and Validity Kulisch, Ulrich. - Berlin/Boston : De Gruyter, 2012
	258	Concept Approximations Meschke, Christian. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012
	259	Counting Graphs Cieslik, Dietmar. - Aachen : Shaker, 2012, 1. Aufl., neue Ausg.
	260	Das Erfüllbarkeitsproblem SAT Schöning, Uwe. - Berlin : Lehmanns, 2012, 1. Aufl.