|
61 |
Aspects of preprocessing applied to combinatorial graph problems Weller, Mathias. - Berlin : Univ.-Verl. der TU Berlin, 2013
|
|
|
62 |
Coalescent trees and their lengths Dahmer, Iulia-Andra, 2013
|
|
|
63 |
Connection calculi for automated theorem proving in classical and non-classical logics Otten, Jens, 2013
|
|
|
64 |
Connectivity in graphs and digraphs Holtkamp, Andreas. - Aachen : Shaker, 2013
|
|
|
65 |
Die Komplexität der Formelauswertung in intuitionistischen Logiken Weiß, Felix, 2013
|
|
|
66 |
Experimentieren – ein Weg zum funktionalen Denken Ganter, Sandra. - Hamburg : Kovač, 2013
|
|
|
67 |
Extensibility of association schemes and GRH-based deterministic polynomial factoring Arora, Manuel, 2013
|
|
|
68 |
Geometric complexity theory, tensor rank, and Littlewood-Richardson coefficients Ikenmeyer, Christian, 2013
|
|
|
69 |
Graph complexity measures and monotonicity Rabinovich, Roman, 2013
|
|
|
70 |
Kernel-based methods for parameter estimation in multidimensional systems Gallenberger, Martina Verena. - Aachen : Shaker, 2013
|
|