|
1721 |
The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal Woodin, W. Hugh. - Berlin/Boston : De Gruyter, 1999, Reprint 2011
|
|
|
1722 |
Classifying discrete temporal properties Wilke, Thomas, 1998
|
|
|
1723 |
Aufzählung von kurzen Gittervektoren in allgemeiner Norm Ritter, Harald, 1997
|
|
|
1724 |
Coloured Petri Nets Jensen, Kurt. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1997
|
|
|
1725 |
Geometry of Cuts and Metrics Deza, Michel. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1997
|
|
|
1726 |
Mengen — Relationen — Funktionen Wiesbaden : Vieweg+Teubner Verlag, 1997
|
|
|
1727 |
The Higher Infinite Berlin, Heidelberg : Springer Berlin Heidelberg, 1997
|
|
|
1728 |
Coloured Petri Nets Berlin, Heidelberg : Springer Berlin Heidelberg, 1996, Second Edition
|
|
|
1729 |
Graphentheorie Berlin, Heidelberg : Springer Berlin Heidelberg, 1996
|
|
|
1730 |
Das Unendliche Taschner, Rudolf. - Berlin, Heidelberg : Springer Berlin Heidelberg, 1995
|
|