|
291 |
Multiobjective Optimization and Language Equations
Reitwießner, Christian. - Würzburg : Universitätsbibliothek der Universität Würzburg, 2012
|
|
|
|
292 |
Multiple Postmen Problems
Ahr, Dino. - Saarbrücken : AV Akademikerverlag, 2012, neue Ausg.
|
|
|
|
293 |
On a Categorical Generalization of the Concept of Fuzzy Set
Solovjovs, Sergejs. - Saarbrücken : AV Akademikerverlag, 2012, neue Ausg.
|
|
|
|
294 |
On b-colorings and b-continuity of graphs
Alkhateeb, Mais. - Freiberg : Technische Universitaet Bergakademie Freiberg Universitaetsbibliothek "Georgius Agricola", 2012
|
|
|
|
295 |
On Intuitionistic Fuzzy Sets Theory
Atanasov, Krasimir T.. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
|
|
|
|
296 |
Parameterized and Exact Computation
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
|
|
|
|
297 |
Parameterized and Exact Computation
Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
|
|
|
|
298 |
Partielle Wissenskompilation
Obermaier, Claudia. - Saarbrücken : AV Akademikerverlag, 2012, neue Ausg.
|
|
|
|
299 |
Proof mining and combinatorics : Program extraction for Ramsey's theorem for pairs
Kreuzer, Alexander P.. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2012
|
|
|
|
300 |
Proving Theorems of Higher-Order Logic with SMT Solvers
Böhme, Sascha. - München : Universitätsbibliothek der TU München, 2012
|
|
Administration
