Willkommen. Schön, sind Sie da!
Mein Ex Libris
DEFR
KontaktHilfeServiceÜber Ex LibrisFirmenkundschaftFilialen
0
Erweiterte Suche
BücherE-BooksFilmeMusikGamesPapeterieGeschenke & FunSpiele

Model-Checking Based Data Retrieval

Elisa Quintarelli
E-Book (pdf)
(0)
Erste Bewertung abgeben
Inhalt 1. Introduction.- 2. Semantics Based on Bisimulation.- 3. Model-Checking Based Data Retrieval.- 4. Temporal Aspects of Semi...

CHF59.90

Download steht sofort bereit

E-Book (pdf)

Wird oft zusammen gekauft

Andere Kunden kauften auch

Beschreibung

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.

Produktinformationen

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
Anzahl Seiten:
135

Mehr entdecken: E-Books Englisch

Belletristik & Unterhaltung, Diverses, Essen & Trinken, Geisteswissenschaften, Kunst, Musik, IT & Internet, Kinder- und Jugendbücher, Naturwissenschaften, Medizin, Informatik, Technik, Ratgeber, Reise, Sachbuch, Schule und Lernen, Sozialwissenschaften, Recht, Wirtschaft