E-Book (pdf) Model-Checking Based Data Retrieval von Elisa Quintarelli
CHF 58.10 59.90
Download steht sofort bereit
Inhalt

1. Introduction.- 2. Semantics Based on Bisimulation.- 3. Model-Checking Based Data Retrieval.- 4. Temporal Aspects of Semistructured Data.- 5. Related Works.- 6. Conclusion.
Titel
Model-Checking Based Data Retrieval
Untertitel
An Application to Semistructured and Temporal Data
Autor
Elisa Quintarelli
EAN
9783540246039
Format
E-Book (pdf)
Hersteller
Springer Berlin Heidelberg
Genre
IT & Internet
Veröffentlichung
12.02.2004
Digitaler Kopierschutz
Wasserzeichen
Dateigrösse
1.4 MB
Anzahl Seiten
135