Katalog der Deutschen Nationalbibliothek

Neuigkeiten Servicezeiten in Frankfurt am Main ab 1. Dezember 2025: Montag bis Freitag 9–18 Uhr und Samstag 10–16 Uhr
Service hours in Frankfurt am Main from 1 December 2025: Monday to Friday 9:00-18:00 and Saturday 10:00-16:00
 
Neuigkeiten

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

 
 

Ergebnis der Suche nach: cod="rb"

Zurück zur Trefferliste


Treffer 130 von 103551 < < > <



Bücher
Link zu diesem Datensatz https://d-nb.info/943605024
Titel Compositional minimization of finite state systems using interface specifications / Susanne Graf ; Bernhard Steffen ; Gerald Lüttgen. Universität Passau, Fakultät für Mathematik und Informatik
Person(en) Graf, Susanne (Verfasser)
Steffen, Bernhard (Verfasser)
Lüttgen, Gerald (Verfasser)
Verlag Passau : Univ., Fak. für Math. und Informatik
Zeitliche Einordnung Erscheinungsdatum: 1995
Umfang/Format 35 S. : graph. Darst. ; 21 cm
ISBN/Einband/Preis geh.
Identifikationsnummern Reportnummer: MIP 9505
Beziehungen Technische Berichte der Fakultät für Mathematik und Informatik, Universität Passau
Anmerkungen Literaturverz. S. 33 - 35
Status nach VGG: Prüfung ausstehend
Sachgruppe(n) 28 Informatik, Datenverarbeitung
Weiterführende Informationen Inhaltsverzeichnis

Frankfurt Signatur: 1995 A 1601
Bereitstellung in Frankfurt
Leipzig Signatur: 1995 A 1601
Bereitstellung in Leipzig




Treffer 130 von 103551
< < > <




Aktionen

Aktionen


E-Mail-IconKorrekturanfrage

E-Mail-IconAdministration