Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=950930520
Link zu diesem Datensatz | https://d-nb.info/950930520 |
Art des Inhalts | Hochschulschrift |
Titel | Phased design and verification of stabilizing systems / Michael Siegel. [Institut für Informatik und praktische Mathematik, Christian-Albrechts-Universität Kiel] |
Person(en) | Siegel, Michael (Verfasser) |
Verlag | Kiel : Inst. für Informatik und praktische Mathematik |
Zeitliche Einordnung | Erscheinungsdatum: 1996 |
Umfang/Format | V, 169 S. : graph. Darst. ; 21 cm |
Hochschulschrift | Zugl.: Kiel, Univ., Diss., 1996 |
ISBN/Einband/Preis | kart. |
Sprache(n) | Englisch (eng) |
Beziehungen | Christian-Albrechts-Universität zu Kiel. Institut für Informatik und Praktische Mathematik: Bericht ; Nr. 9705 |
Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
Weiterführende Informationen | Inhaltsverzeichnis |
Frankfurt |
Signatur: 1997 A 40172
Bereitstellung in Frankfurt |
Leipzig |
Signatur: 1997 A 40172
Bereitstellung in Leipzig |