Cantitate/Preț
Produs
Total produse
Vezi coșul
Model-Checking Based Data Retrieval: An Application to Semistructured and Temporal Data de Elisa Quintarelli

Model-Checking Based Data Retrieval: An Application to Semistructured and Temporal Data: Lecture Notes in Computer Science, cartea 2917

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

Din seria Lecture Notes in Computer Science

Preț: 32548 lei

Preț vechi: 40684 lei
-20% Nou

Puncte Express: 488
Preț estimativ în valută:
6230€ • 6545$ • 5236£

Carte tipărită la comandă

Livrare economică 11-25 martie

 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 233 x 8 mm
Greutate: 0.23 kg
Ediția:2004
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science

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