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

By:

Publication details: Berlin Springer c2004Description: xvi, 134 p. : ill. ; 24 cmISBN:

ISSN:

Subject(s):

DDC classification:

Item type: Books

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Current library	Call number	Status	Date due	Barcode
Anna Centenary Library	025.04 QUI (Browse shelf(Opens below))	Available		304184

Previous	No cover image available	No cover image available	No cover image available					Next
Previous	025.04 PRA Digital libraries : tools & techniques	025.04 PRA E-libraries in computer age	025.04 PRA Library automation in modern age	025.04 QUI Model-checking based data retrieval : an application to semistructured and temporal data	025.04 RAL The Internet for writers	025.04 RAT Human factors and Web development	025.04 RAT Human factors and Web development	Next

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

There are no comments on this title.

to post a comment.

Find us on the map