|
321 |
Aspects of Mathematical Logic Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
|
|
|
322 |
Average Time Complexity of Decision Trees Chikalov, Igor. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
|
|
|
323 |
Clausal Relations and C-clones Vargas García, Edith Mireya. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2011
|
|
|
324 |
Clones of Partial Functions on Finite Sets Schölzel, Karsten. - Aachen : Shaker, 2011, 1. Aufl.
|
|
|
325 |
Combinatorial Algorithms Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
|
|
|
326 |
Combinatorial Algorithms Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
|
|
|
327 |
Computational Complexity of SAT, XSAT and NAE-SAT Schmidt, Tatjana. - Saarbrücken : Suedwestdeutscher Verlag fuer Hochschulschriften, 2011, neue Ausg.
|
|
|
328 |
Computational Geometry, Graphs and Applications Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
|
|
|
329 |
Conditionals and Modularity in General Logics Gabbay, Dov M.. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
|
|
|
330 |
Contraction-based Separation and Lifting for Solving the Max-Cut Problem Bonato, Thorsten. - Heidelberg : Universitätsbibliothek Heidelberg, 2011
|
|