|
301 |
Partielle Wissenskompilation
Obermaier, Claudia. - Saarbrücken : AV Akademikerverlag, 2012, neue Ausg.
|
|
|
|
302 |
Proof mining and combinatorics : Program extraction for Ramsey's theorem for pairs
Kreuzer, Alexander P.. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2012
|
|
|
|
303 |
Proving Theorems of Higher-Order Logic with SMT Solvers
Böhme, Sascha. - München : Universitätsbibliothek der TU München, 2012
|
|
|
|
304 |
Quantengraphen mit zufälligem Potential
Schubert, Carsten. - Chemnitz : Universitätsbibliothek Chemnitz, 2012
|
|
|
|
305 |
Quantifier Elimination over Real Closed Fields
Möller, Ralf. - Saarbrücken : AV Akademikerverlag, 2012, neue Ausg.
|
|
|
|
306 |
Reachability Problems
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
|
|
|
|
307 |
Sparsity
Nešetřil, Jaroslav. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
|
|
|
|
308 |
Symmetric Models, Singular Cardinal Patterns, and Indiscernibles
Dimitriou, Ioanna Matilde. - Bonn : Universitäts- und Landesbibliothek Bonn, 2012
|
|
|
|
309 |
Symmetric Models, Singular Cardinal Patterns, and Indiscernibles
Dimitriou, Ioanna Matilde. - Saarbrücken : Südwestdeutscher Verlag für Hochschulschriften, 2012, 1. Aufl.
|
|
|
|
310 |
Symmetries and bifurcations in timed continuous Petri nets
Meyer, Anna-Lena. - Paderborn : Universitätsbibliothek, 2012
|
|
Administration
