|
291 |
Algebraic techniques for satisfiability problems Schnoor, Henning. - Göttingen : Cuvillier, 2007, 1. Aufl.
|
|
|
292 |
Algebraically solvable problems Schauz, Uwe, 2007
|
|
|
293 |
Algorithmen zur Konstruktion und Ausdünnung von Spanner-Graphen im cache-oblivious-Modell Gieseke, Fabian. - Dortmund : Univ., Algorithm Engineering, 2007
|
|
|
294 |
Algorithmic randomness Mihailović, Nenad, 2007
|
|
|
295 |
Algorithms and experiments for parameterized approaches to hard graph problems Hüffner, Falk, 2007
|
|
|
296 |
Automatic presentations of infinite structures Bárány, Vince, 2007
|
|
|
297 |
Beyond perfection Wagler, Annegret, 2007
|
|
|
298 |
Boundaries of triangle patches and the expander constant of fullerenes Justus, Claudia, 2007
|
|
|
299 |
Circuit bases problems in binary matroids Bunke, Florentine. - München : Verl. Dr. Hut, 2007, 1. Aufl.
|
|
|
300 |
Collective graph exploration Dynia, Mirosław, 2007
|
|