Cantitate/Preț
Produs

Model-Checking Based Data Retrieval

Autor Elisa Quintarelli
en Limba Engleză Paperback – 6 feb 2004

Preț: 31481 lei

Preț vechi: 39351 lei
-20%

Puncte Express: 472

Preț estimativ în valută:
5567 6384$ 4811£

Carte tipărită la comandă

Livrare economică 27 aprilie-11 mai


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