|
91 |
Aspects of Preprocessing Applied to Combinatorial Graph Problems
Weller, Mathias. - Berlin : Universitätsverlag der TU Berlin, 2013
|
|
|
92 |
Aspects of preprocessing applied to combinatorial graph problems
Weller, Mathias. - Berlin : Univ.-Verl. der TU Berlin, 2013
|
|
|
|
93 |
Coalescent trees and their lengths
Dahmer, Iulia-Andra, 2013
|
|
|
|
94 |
Conceptual Factors and Fuzzy Data
Glodeanu, Cynthia-Vera. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2013
|
|
|
|
95 |
Connection calculi for automated theorem proving in classical and non-classical logics
Otten, Jens, 2013
|
|
|
|
96 |
Connectivity in graphs and digraphs
Holtkamp, Andreas. - Aachen : Shaker, 2013
|
|
|
|
97 |
Connectivity in graphs and digraphs
Holtkamp, Andreas. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2013
|
|
|
|
98 |
Die Komplexität der Formelauswertung in intuitionistischen Logiken
Weiß, Felix, 2013
|
|
|
|
99 |
Die Komplexität der Formelauswertung in intuitionistischen Logiken
Weiß, Felix. - Jena : Thüringer Universitäts- und Landesbibliothek Jena, 2013
|
|
|
|
100 |
Experimentieren – ein Weg zum funktionalen Denken
Ganter, Sandra. - Hamburg : Kovač, 2013
|
|
Administration
