|
111 |
Kazhdan-Lusztig Kombinatorik und Impulsgraphen Lanini, Martina, 2012
|
|
|
112 |
Maximale Kantengewichte zusammenhängender Graphen Petzold, Maria, 2012
|
|
|
113 |
Methods for analyzing complex networks using random walker approaches Djurdjevac, Nataša, 2012
|
|
|
114 |
Non-classical aspects in proof complexity Beyersdorff, Olaf. - Göttingen : Cuvillier, 2012, 1. Aufl.
|
|
|
115 |
On b-colorings and b-continuity of graphs Alkhateeb, Mais, 2012
|
|
|
116 |
Outsourcing in location and route planning for small package shippers Stenger, Andreas, 2012
|
|
|
117 |
Parallel graph algorithms for finding weighted matchings and subgraphs in computational science Sathe, Madan. - Konstanz : Hartung-Gorre, 2012, 1. ed.
|
|
|
118 |
Proof mining and combinatorics Kreuzer, Alexander P., 2012
|
|
|
119 |
Proving theorems of higher-order logic with SMT solvers Böhme, Sascha, 2012
|
|
|
120 |
Quantengraphen mit zufälligem Potential Schubert, Carsten. - Chemnitz : Univ.-Verl., 2012
|
|