Willkommen. Schön, sind Sie da!
Mein Ex Libris
DEFR
KontaktGeschenkefinderGutscheineFirmenkundschaftFilialen
0
Erweiterte Suche
📖10% auf alle Bücher Jetzt profitieren!
Zur Aktion

Model-Checking Based Data Retrieval

Von:
Elisa Quintarelli

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.

Format auswählen

E-Book (pdf)
CHF59.90
Kartonierter Einband
CHF 81.60
CHF73.45
CHF59.90
Download steht sofort bereit 
Kein Rückgaberecht 
10% auf alle E-Reader

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
Digitaler Kopierschutz:
Wasserzeichen
Dateigrösse:
1.4 MB
Anzahl Seiten:
135

Mehr entdecken: E-Books Englisch

Belletristik & Unterhaltung, Diverses, Geisteswissenschaften, Kunst, Musik, IT & Internet, Naturwissenschaften, Medizin, Informatik, Technik, Ratgeber, Reise, Sachbuch, Schule und Lernen, Sozialwissenschaften, Recht, Wirtschaft