|
61 |
Methods for analyzing complex networks using random walker approaches
Djurdjevac, Nataša. - Berlin : Freie Universität Berlin, 2012
|
|
|
|
62 |
Multiobjective Optimization and Language Equations
Reitwießner, Christian. - Würzburg : Universitätsbibliothek der Universität Würzburg, 2012
|
|
|
|
63 |
On b-colorings and b-continuity of graphs
Alkhateeb, Mais. - Freiberg : Technische Universitaet Bergakademie Freiberg Universitaetsbibliothek "Georgius Agricola", 2012
|
|
|
|
64 |
Proof mining and combinatorics : Program extraction for Ramsey's theorem for pairs
Kreuzer, Alexander P.. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2012
|
|
|
|
65 |
Proving Theorems of Higher-Order Logic with SMT Solvers
Böhme, Sascha. - München : Universitätsbibliothek der TU München, 2012
|
|
|
|
66 |
Quantengraphen mit zufälligem Potential
Schubert, Carsten. - Chemnitz : Universitätsbibliothek Chemnitz, 2012
|
|
|
|
67 |
Symmetric Models, Singular Cardinal Patterns, and Indiscernibles
Dimitriou, Ioanna Matilde. - Bonn : Universitäts- und Landesbibliothek Bonn, 2012
|
|
|
|
68 |
Symmetries and bifurcations in timed continuous Petri nets
Meyer, Anna-Lena. - Paderborn : Universitätsbibliothek, 2012
|
|
|
|
69 |
Topological set theories and hyperuniverses
Fackler, Andreas. - München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2012
|
|
|
|
70 |
Treelike and Chordal Graphs: Algorithms and Generalizations
Kammer, Frank. - Augsburg : Universität Augsburg, 2012
|
|
Administration
