|
381 |
Definability and model checking Ganzow, Tobias, 2011
|
|
|
382 |
Denkt doch einmal logisch! Thrams, Harald. - Wismar : Gottlob-Frege-Inst., 2011
|
|
|
383 |
Der Graf der Graphen Hertz, Alain. - Wiesbaden : Vieweg + Teubner, 2011, 1. Aufl.
|
|
|
384 |
Die Architektur der Mathematik Basieux, Pierre. - Reinbek bei Hamburg : Rowohlt-Taschenbuch-Verl., 2011, Orig.-Ausg., 4. Aufl.
|
|
|
385 |
Die Geschichte des Unendlichen Mückenheim, Wolfgang. - Augsburg : MaroVerl., 2011, 6. Aufl., 1. Aufl. der Neuausg. im MaroVerl.
|
|
|
386 |
Directoids Chajda, Ivan. - Lemgo : Heldermann, 2011
|
|
|
387 |
Diskrete Mathematik für Einsteiger Beutelspacher, Albrecht. - Wiesbaden : Vieweg + Teubner, 2011, 4., aktualisierte Aufl.
|
|
|
388 |
Dynamics of genealogical trees for type- and state-dependent resampling models Piotrowiak, Sven, 2011
|
|
|
389 |
Eigenvalues of directed and undirected graphs and their applications Bauer, Frank, 2011
|
|
|
390 |
Einführung in die Logik Beckermann, Ansgar. - Berlin : De Gruyter, 2011, 3. Aufl.
|
|