DNB, Katalog der Deutschen Nationalbibliothek

Katalog der Deutschen Nationalbibliothek

Neuigkeiten

Leichte Bedienung, intuitive Suche: Die Betaversion unseres neuen Katalogs ist online! → Zur Betaversion des neuen DNB-Katalogs

 
Neuigkeiten Die Deutsche Nationalbibliothek in Frankfurt bleibt vom 10.03. bis 22.03.2025 wegen Umbauarbeiten geschlossen.
The German National Library in Frankfurt will remain closed from March 10 to March 22, 2025, due to renovation work.
 
 

Ergebnis der Suche nach: idn=958051968



Treffer 1 von 1 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/958051968
Art des Inhalts Hochschulschrift
Titel Reasoning about processes and continuous change : analysis and implementation / Chunping Li
Person(en) Li, Chunping (Verfasser)
Ausgabe Als Ms. gedr.
Verlag Aachen : Shaker
Zeitliche Einordnung Erscheinungsdatum: 1999
Umfang/Format II, 122 S. : graph. Darst. ; 21 cm
Hochschulschrift Zugl.: Darmstadt, Techn. Univ., Diss., 1999
ISBN/Einband/Preis 978-3-8265-6796-4 kart. : DM 89.00, S 619.00, sfr 89.00
3-8265-6796-X kart. : DM 89.00, S 619.00, sfr 89.00
Sprache(n) Englisch (eng)
Beziehungen Berichte aus der Informatik
Schlagwörter Logische Programmierung ; Dynamisches System ; Kontinuierliches System ; Prozessalgebra ; Formale Semantik ; Temporales Schließen
Sachgruppe(n) 28 Informatik, Datenverarbeitung
Weiterführende Informationen Inhaltsverzeichnis

Frankfurt Signatur: 1999 A 74495
Bereitstellung in Frankfurt
Leipzig Signatur: 1999 A 74495
Bereitstellung in Leipzig




Treffer 1 von 1
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage


E-Mail-IconAdministration