Jetzt 20% Rabatt auf alle English Books. Jetzt in über 4 Millionen Büchern stöbern und profitieren!
Willkommen, schön sind Sie da!
Logo Ex Libris

Model-Checking Based Data Retrieval

  • E-Book (pdf)
  • 135 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Inhalt 1. Introduction.- 2. Semantics Based on Bisimulation.- 3. Model-Checking Based Data Retrieval.- 4. Temporal Aspects of Semi... Weiterlesen
CHF 93.90
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

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:
EAN: 9783540246039
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: IT & Internet
Veröffentlichung: 12.02.2004
Digitaler Kopierschutz: Wasserzeichen
Anzahl Seiten: 135

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"