|
81 |
Extremal hypergraph theory and algorithmic regularity lemma for sparse graphs
Hạ̀n, Hiêp. - Berlin : Humboldt Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2011
|
|
|
|
82 |
First-Order Model Checking on Generalisations of Pushdown Graphs
Kartzow, Alexander. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2011
|
|
|
|
83 |
Formale Modellierung von Zielen und zielorientiertem Verhalten in Agentensystemen mit Ziel-, Transitions-Netzen
Chong, Dennis, 2011
|
|
|
|
84 |
Learning Description Logic Knowledge Bases from Data Using Methods from Formal Concept Analysis
Distel, Felix. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2011
|
|
|
|
85 |
Matchings in balanced hypergraphs
Scheidweiler, Robert Berthold. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2011
|
|
|
|
86 |
Multivariate Splineapproximation auf Gebieten
Sissouno, Nada. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2011
|
|
|
|
87 |
On cycles and independence in graphs
Regen, Friedrich. - Ilmenau : Universitätsbibliothek Ilmenau, 2011
|
|
|
|
88 |
On the computation of fuel-optimal paths in time-dependent networks
Kluge, Sebastian G. F.. - München : Universitätsbibliothek der TU München, 2011
|
|
|
|
89 |
On the spectral theory of operators on trees
Keller, Matthias. - Jena : Thüringer Universitäts- und Landesbibliothek Jena, 2011
|
|
|
|
90 |
Partial Quicksort and weighted branching processes
Ragab, Mahmoud. - Kiel : Universitätsbibliothek Kiel, 2011
|
|
Administration
