Model-checking based data retrieval : an application to semistructured and temporal data

Model-checking based data retrieval : an application to semistructured and temporal data

Elisa Quintarelli

Berlin : Springer, c2004

図書等

巻号情報

No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

007.08-L49-2917

10004003408

一般図書

詳細情報

刊年

2004

形態

xvi, 134 p. : ill. ; 24 cm

シリーズ名

Lecture notes in computer science ; 2917

注記

Includes index and bibliographical references(p.[129]-134)

出版国

ドイツ=ドイツ連邦共和国

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Quintarelli, Elisa

分類

LCC:QA76.7

DC22:025.04

件名

Query languages (Computer science)

Information storage and retrieval systems

ISBN

3540209719

NCID

BA66130361

番号

LCCN : 2004042929