Katalog der Deutschen Nationalbibliothek

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

251 - 260 von 743

	251	Towards More Useful Description Logics of Time, Change and Context Gutiérrez Basulto, Víctor Didier. - Bremen : Staats- und Universitätsbibliothek Bremen, 2013
	252	Algebraic Methods for Computing the Reliability of Networks Simon, Frank. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012
	253	Analysis of methods for extraction of programs from non-constructive proofs Trifonov, Trifon. - München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2012
	254	Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
	255	Combinatorial Algorithms Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
	256	Combining Experimentation and Theory Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
	257	Complexity classifications for nonmonotonic reasoning and enumeration Schmidt, Johannes. - Hannover : Technische Informationsbibliothek und Universitätsbibliothek Hannover (TIB), 2012
	258	Computational aspects of dependence logic Lohmann, Peter. - Hannover : Technische Informationsbibliothek und Universitätsbibliothek Hannover (TIB), 2012
	259	Computer Arithmetic and Validity Kulisch, Ulrich. - Berlin/Boston : De Gruyter, 2012
	260	Concept Approximations Meschke, Christian. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012