Media type: Book; Thesis Title: Model-checking based data retrieval : an application to semistructured and temporal data Contains: Literaturverz. S. [129] - 134 Contributor: Quintarelli, Elisa [Author] imprint: Berlin; Heidelberg [u.a.]: Springer, 2004 Published in: Lecture notes in computer science ; 2917 Extent: XVI, 134 S.; graph. Darst; 24 cm Language: German ISBN: 3540209719 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Datenbanksystem > Information Retrieval > Abfragesprache Transitionssystem > Information Retrieval > Model Checking > Temporale Logik > Abfragesprache > Graphentheorie Zeitliches Datenbanksystem > Semistrukturierte Daten > Abfragesprache Origination: University thesis: Zugl.: Mailand, Politecnico, Diss. Footnote: Includes bibliographical references
Departmental Library DrePunct – stack Shelf-mark: R2016 8 6225 Item ID: 31002020 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order