KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb
  • Produktbild: Model-Checking Based Data Retrieval
  • Produktbild: Model-Checking Based Data Retrieval
Band 2917

Model-Checking Based Data Retrieval An Application to Semistructured and Temporal Data

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

06.02.2004

Abbildungen

XVII, 135 p.

Verlag

Springer Berlin

Seitenzahl

135

Maße (L/B/H)

23,5/15,5/0,9 cm

Gewicht

248 g

Auflage

2004

Sprache

Englisch

ISBN

978-3-540-20971-3

Beschreibung

Rezension

From the reviews of the first edition:



"The volume contains the results of the research covered by the Ph.D. dissertation of Elisa Quintarelli at the Politecnico di Milano. Two specific problems in the area of representation of semistructured data and queries are addressed … . The thesis presents research containing novel contributions and an in-depth expertise on several topics. It represents a valuable source of information." (Antonín Ríha, Zentralblatt MATH, Vol. 1069, 2005)

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

06.02.2004

Abbildungen

XVII, 135 p.

Verlag

Springer Berlin

Seitenzahl

135

Maße (L/B/H)

23,5/15,5/0,9 cm

Gewicht

248 g

Auflage

2004

Sprache

Englisch

ISBN

978-3-540-20971-3

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Model-Checking Based Data Retrieval
  • Produktbild: Model-Checking Based Data Retrieval
  • 1. Introduction.- 2. Semantics Based on Bisimulation.- 3. Model-Checking Based Data Retrieval.- 4. Temporal Aspects of Semistructured Data.- 5. Related Works.- 6. Conclusion.