|
151 |
Vektoren und Vektorprädikate und ihre Verwendung bei der Entwicklung relationaler Algorithmen
Kehden, Britta. - Kiel : Universitätsbibliothek Kiel, 2009
|
|
|
|
152 |
Zur Komplexität von Reduzierbarkeitsproblemen über H-Comparabilitygraphen
Andresen, Michael, 2009, [Online-Ausg.]
|
|
|
|
153 |
Analyse der Verbindung von Topologie und Dynamik in abstrakten Graphen und biologischen Netzwerken
Müller-Linow, Mark, 2008
|
|
|
|
154 |
Analytische Maschinen und Berechenbarkeit analytischer Funktionen
Gärtner, Tobias, 2008, [Online-Ausg.]
|
|
|
|
155 |
Approximation algorithms for network design problems
Schulze, Anna, 2008
|
|
|
|
156 |
Automated methods for formal proofs in simple arithmetics and algebra
Chaieb, Amine, 2008
|
|
|
|
157 |
Die Berechnungsstärke von Forgetting-Automaten
Glöckler, Jens, 2008
|
|
|
|
158 |
Disturbed diffusive processes for solving partitioning problems on graphs
Meyerhenke, Henning, 2008
|
|
|
|
159 |
Dynamics and evolution of random Boolean networks
Mihaljev, Tamara, 2008
|
|
|
|
160 |
Edge search in graphs using incidence tests
Gerzen, Tatjana, 2008
|
|
Administration
