|
731 |
Algorithm for transformation of logic functions (ATLF) Ščerbanskij, Lev. - Berlin : NG-Verl., 2007
|
|
|
732 |
Algorithmen zur Konstruktion und Ausdünnung von Spanner-Graphen im cache-oblivious-Modell Gieseke, Fabian. - Dortmund : Univ., Algorithm Engineering, 2007
|
|
|
733 |
Algorithmic randomness Mihailović, Nenad, 2007
|
|
|
734 |
Algorithms and experiments for parameterized approaches to hard graph problems Hüffner, Falk, 2007
|
|
|
735 |
Algorithms for approximation Berlin : Springer, 2007
|
|
|
736 |
Automatic presentations of infinite structures Bárány, Vince, 2007
|
|
|
737 |
Beispielhafte ontologische Fokussierungen Esterl, Engelbert Friedrich. - Eckernförde, Riesebyer Str. 57 : E. F. Esterl, [2007?]
|
|
|
738 |
Beyond perfection Wagler, Annegret, 2007
|
|
|
739 |
Boundaries of triangle patches and the expander constant of fullerenes Justus, Claudia, 2007
|
|
|
740 |
Circuit bases problems in binary matroids Bunke, Florentine. - München : Verl. Dr. Hut, 2007, 1. Aufl.
|
|