Model-Checking Based Data Retrieval

Autor Elisa Quintarelli

en Limba Engleză Paperback – 6 feb 2004

Preț: 313^.84 lei

Preț vechi: 392^.31 lei
-20% Nou

Puncte Express: 471

:
55^.54€ • 64^.77$ • 48^.76£

Carte tipărită la comandă

Livrare economică 15-29 ianuarie 26

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540209713
ISBN-10: 3540209719
Pagini: 156
Ilustrații: XVII, 135 p.
Dimensiuni: 155 x 235 x 9 mm
Greutate: 0.25 kg
Ediția:2004
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

1. Introduction.- 2. Semantics Based on Bisimulation.- 3. Model-Checking Based Data Retrieval.- 4. Temporal Aspects of Semistructured Data.- 5. Related Works.- 6. Conclusion.

Recenzii

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)

Caracteristici

Includes supplementary material: sn.pub/extras

Papetărie, jocuri, reviste