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

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: Quintarelli, Elisa (Συγγραφέας)
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
Σειρά:Lecture Notes in Computer Science, 2917
Θέματα:
Computer science.
Information technology.
Business > Data processing.
Data structures (Computer science).
Database management.
Information storage and retrieval.
Computer Science.
Data Structures, Cryptology and Information Theory.
Database Management.
Information Storage and Retrieval.
Information Systems Applications (incl. Internet).
IT in Business.
Διαθέσιμο Online:Full Text via HEAL-Link
Περιγραφή
Φυσική περιγραφή:XVII, 135 p. online resource.
ISBN:9783540246039
ISSN:0302-9743 ;

Παρόμοια τεκμήρια