|
251 |
Combining Experimentation and Theory
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
|
|
|
|
252 |
Complexity classifications for nonmonotonic reasoning and enumeration
Schmidt, Johannes. - Hannover : Technische Informationsbibliothek und Universitätsbibliothek Hannover (TIB), 2012
|
|
|
|
253 |
Computational aspects of dependence logic
Lohmann, Peter. - Hannover : Technische Informationsbibliothek und Universitätsbibliothek Hannover (TIB), 2012
|
|
|
|
254 |
Computer Arithmetic and Validity
Kulisch, Ulrich. - Berlin/Boston : De Gruyter, 2012
|
|
|
|
255 |
Concept Approximations
Meschke, Christian. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2012
|
|
|
|
256 |
Counting Graphs
Cieslik, Dietmar. - Aachen : Shaker, 2012, 1. Aufl., neue Ausg.
|
|
|
|
257 |
Das Erfüllbarkeitsproblem SAT
Schöning, Uwe. - Berlin : Lehmanns, 2012, 1. Aufl.
|
|
|
|
258 |
Das Problem der Kurvenanpassung
Paulßen, Jens. - Frankfurt : Peter Lang GmbH, Internationaler Verlag der Wissenschaften, 2012
|
|
|
|
259 |
Definability and model checking
Ganzow, Tobias. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2012
|
|
|
|
260 |
Der Graf der Graphen
Wiesbaden : Vieweg+Teubner Verlag, 2012
|
|
Administration
