|
181 |
On b-colorings and b-continuity of graphs
Alkhateeb, Mais. - Freiberg : Technische Universitaet Bergakademie Freiberg Universitaetsbibliothek "Georgius Agricola", 2012
|
|
|
182 |
On b-colorings and b-continuity of graphs
Alkhateeb, Mais, 2012
|
|
|
|
183 |
Outsourcing in location and route planning for small package shippers
Stenger, Andreas, 2012
|
|
|
|
184 |
Parallel graph algorithms for finding weighted matchings and subgraphs in computational science
Sathe, Madan. - Konstanz : Hartung-Gorre, 2012, 1. ed.
|
|
|
|
185 |
Proof mining and combinatorics
Kreuzer, Alexander P., 2012
|
|
|
|
186 |
Proof mining and combinatorics : Program extraction for Ramsey's theorem for pairs
Kreuzer, Alexander P.. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2012
|
|
|
|
187 |
Proving theorems of higher-order logic with SMT solvers
Böhme, Sascha, 2012
|
|
|
|
188 |
Proving Theorems of Higher-Order Logic with SMT Solvers
Böhme, Sascha. - München : Universitätsbibliothek der TU München, 2012
|
|
|
|
189 |
Quantengraphen mit zufälligem Potential
Schubert, Carsten. - Chemnitz : Universitätsbibliothek Chemnitz, 2012
|
|
|
|
190 |
Quantengraphen mit zufälligem Potential
Schubert, Carsten. - Chemnitz : Univ.-Verl., 2012
|
|
Administration
