Model-Checking Based Data Retrieval [electronic resource] : An Application to Semistructured and Temporal Data /
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
- text
- computer
- online resource
- 9783540246039
- Data structures (Computer science)
- Information theory
- Database management
- Information storage and retrieval systems
- Application software
- Business information services
- Data Structures and Information Theory
- Database Management
- Information Storage and Retrieval
- Computer and Information Systems Applications
- IT in Business
- 005.73 23
- 003.54 23
- QA76.9.D35
- Q350-390
Contents:
In:
Springer Nature eBook
1. Introduction -- 2. Semantics Based on Bisimulation -- 3. Model-Checking Based Data Retrieval -- 4. Temporal Aspects of Semistructured Data -- 5. Related Works -- 6. Conclusion.
No physical items for this record
1. Introduction -- 2. Semantics Based on Bisimulation -- 3. Model-Checking Based Data Retrieval -- 4. Temporal Aspects of Semistructured Data -- 5. Related Works -- 6. Conclusion.
There are no comments on this title.