Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: swiRef=947344675
Treffer 26 von 51
|
|
| Link zu diesem Datensatz | https://d-nb.info/969948417 |
| Titel | Model checking based data retrieval : an application to semistructured and temporal data / Elisa Quintarelli |
| Person(en) | Quintarelli, Elisa (Verfasser) |
| Verlag | Berlin ; Heidelberg ; New York ; Hong Kong ; London ; Milan ; Paris ; Tokyo : Springer |
| Zeitliche Einordnung | Erscheinungsdatum: 2004 |
| Umfang/Format | XVI, 134 S. : graph. Darst. ; 24 cm |
| Andere Ausgabe(n) | Erscheint auch als Online-Ausgabe: Model checking based data retrieval |
| ISBN/Einband/Preis |
978-3-540-20971-3 kart. : EUR 40.66 (freier Pr.), sfr 69.50 3-540-20971-9 kart. : EUR 40.66 (freier Pr.), sfr 69.50 |
| EAN | 9783540209713 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Lecture notes in computer science ; Vol. 2917 |
| Anmerkungen | Literaturverz. S. 129 - 134 |
| Schlagwörter |
Datenbanksystem ; Information Retrieval ; Abfragesprache Transitionssystem ; Information Retrieval ; Model Checking ; Temporale Logik ; Abfragesprache ; Graphentheorie Zeitliches Datenbanksystem ; Semistrukturierte Daten ; Abfragesprache |
| Sachgruppe(n) | 004 Informatik |
| Weiterführende Informationen | Inhaltsverzeichnis |
| Frankfurt |
Signatur: 2004 A 8924 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 2004 A 4506 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Leipzig |
Treffer 26 von 51
Administration
