|
311 |
Arc-pancyclicity in multipartite tournaments & GTECS – An application in crystallography
Grüter, Steffen. - Aachen : Shaker, 2014, 1. Aufl.
|
|
|
312 |
Arc-pancyclicity in multipartite tournaments & GTECS
Grüter, Steffen. - Aachen : Shaker, 2014
|
|
|
|
313 |
Benchmark libraries for automated theorem proving systems in intuitionistic and modal logics
Raths, Thomas, 2014
|
|
|
|
314 |
Beweisen verstehen
Gerwig, Mario, 2014
|
|
|
|
315 |
Boolean problems
International Workshop on Boolean Problems (11. : 2014 : Freiberg). - Freiberg : Freiberg University of Mining and Technology, Institute of Computer Science, 2014, 1. Auflage
|
|
|
|
316 |
Cardinal invariants on Boolean algebras
Monk, James Donald. - Basel : Birkhäuser, 2014, 2., rev. ed.
|
|
|
|
317 |
Cardinal Invariants on Boolean Algebras
Monk, James Donald. - Basel : Springer Basel, 2014, 2nd ed. 2014
|
|
|
|
318 |
Categories and types in logic, language, and physics
Heidelberg : Springer, 2014
|
|
|
|
319 |
Categories and Types in Logic, Language, and Physics
Berlin, Heidelberg : Springer Berlin Heidelberg, 2014
|
|
|
|
320 |
Clusteranalyse für Netzwerke
Klages, Alexandra Rebecca. - Frankfurt : Peter Lang GmbH, Internationaler Verlag der Wissenschaften, 2014
|
|
Administration
