Skip to contents
-
Hamburg: TELDEC, [1976]
-
München: Toppic, [ca. 1990]
-
1994 ; Online-Ausg., Stuttgart: Universitätsbibliothek der Universität Stuttgart, 2009
-
Münster: Waxmann, 2018
-
Münster: Waxmann, 2017
-
Münster: Waxmann, 2016
-
Hannover: Verlag der ARL - Akademie für Raumforschung und Landesplanung, 2009
-
München: Universitätsbibliothek der Ludwig-Maximilians-Universität, 2013
-
Oldenburg [u.a.]: Sonderforschungsbereich/Transregio 14 AVACS (Automatic Verification and Analysis of Complex Systems), April 2016
-
Baden-Baden: Nomos Verlagsgesellschaft, [2017]
-
19 May 2017
-
Berlin; Boston: De Gruyter, [2022] ; [Online-Ausgabe]
-
Berlin; Boston: De Gruyter, [2022]
-
Berlin; Boston: De Gruyter, [2022] ; [Online-Ausgabe]
-
10 January 2018
-
Bielefeld: transcript, [2024]
-
Bielefeld: transcript, 2020
-
Bielefeld: transcript, [2019]
-
Bielefeld: transcript, 2016
-
Berlin; Boston: De Gruyter, [2022] ; [Online-Ausgabe]