|
331 |
Combinatorial Algorithms Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
|
|
|
332 |
Computational Complexity of SAT, XSAT and NAE-SAT Schmidt, Tatjana. - Saarbrücken : Suedwestdeutscher Verlag fuer Hochschulschriften, 2011, neue Ausg.
|
|
|
333 |
Computational Geometry, Graphs and Applications Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
|
|
|
334 |
Conditionals and Modularity in General Logics Gabbay, Dov M.. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
|
|
|
335 |
Contraction-based Separation and Lifting for Solving the Max-Cut Problem Bonato, Thorsten. - Heidelberg : Universitätsbibliothek Heidelberg, 2011
|
|
|
336 |
Coping with Complexity: Model Reduction and Data Analysis Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
|
|
|
337 |
Data Fitting and Uncertainty Strutz, Tilo. - Wiesbaden : Vieweg+Teubner, 2011
|
|
|
338 |
Dynamics of genealogical trees for type- and state-dependent resampling models Piotrowiak, Sven, 2011
|
|
|
339 |
Einführung in die Logik Beckermann, Ansgar. - Berlin/Boston : De Gruyter, 2011, 3. Auflage
|
|
|
340 |
Exact and Heuristic Solutions to the Bandwidth Minimization Problem Tan, Khoa-Vo. - Heidelberg : Universitätsbibliothek Heidelberg, 2011
|
|