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.
• Φυσική περιγραφή: XVII, 135 p. online resource.
• ISBN: 9783540246039
• ISSN: 0302-9743 ;