Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: "118183540"
Treffer 23 von 31
|
|
| Link zu diesem Datensatz | https://d-nb.info/957509154 |
| Titel | Fully decidable logics, automata and classical theories for defining regular real-time languages / Thomas Henzinger ; Jean-François Raskin ; Pierre-Yves Schobbens. [Max-Planck-Institut für Informatik] |
| Person(en) |
Henzinger, Thomas (Verfasser) Raskin, Jean-François (Verfasser) Schobbens, Pierre-Yves (Verfasser) |
| Verlag | Saarbrücken : MPI Informatik, Bibliothek & Dokumentation |
| Zeitliche Einordnung | Erscheinungsdatum: 1999 |
| Umfang/Format | 102 S. : graph. Darst. ; 30 cm |
| ISBN/Einband/Preis | kart. |
| Identifikationsnummern | Reportnummer: MPI I 1999 3 003 |
| Sprache(n) | Englisch (eng) |
| Anmerkungen | Literaturverz. S. 100 - 102 |
| Sachgruppe(n) | 28 Informatik, Datenverarbeitung |
| Weiterführende Informationen | Inhaltsverzeichnis |
| Frankfurt |
Signatur: 1999 B 22529
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 1999 B 22529
Bereitstellung in Leipzig |
Treffer 23 von 31
Administration
