|
851 |
Proof theory and algorithms for answer set programming
Gebser, Martin. - Potsdam : Universitätsbibliothek der Universität Potsdam, 2011
|
|
|
|
852 |
Scalable Algorithms for Community Detection in Very Large Graphs
Ovelgönne, Michael. - Karlsruhe : KIT-Bibliothek, 2011
|
|
|
|
853 |
Security in Distance Vector Algorithms
Lück, Stefanie. - Koblenz : Universität Koblenz-Landau, Campus Koblenz, 2011
|
|
|
|
854 |
Stochastic multiplayer games
Ummels, Michael. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2011
|
|
|
|
855 |
Structural optimization of grid shells based on genetic algorithms
Dimčić, Miloš. - Stuttgart : Universitätsbibliothek der Universität Stuttgart, 2011
|
|
|
|
856 |
The many faces of planarity
Rutter, Ignaz. - Karlsruhe : KIT-Bibliothek, 2011
|
|
|
|
857 |
VLSI design concepts for iterative algorithms
Sun, Chi-Chia. - Dortmund : Universitätsbibliothek Technische Universität Dortmund, 2011
|
|
|
|
858 |
Adjoint-based algorithms and numerical methods for sensitivity generation and optimization of large scale dynamic systems
Albersmeyer, Jan, 2010, [Online-Ausg.]
|
|
|
|
859 |
Algorithms for Packing Problems
Schweer, Nils. - Braunschweig : Technische Universität Braunschweig, 2010
|
|
|
|
860 |
Amortized Analysis of Exponential Time- and Parameterized Algorithms: Measure & Conquer and Reference Search Trees
Binkele-Raible, Daniel. - Trier : Universität Trier, 2010
|
|
Administration
