![Model-Checking Based Data Retrieval [electronic resource] : An Application to Semistructured and Temporal Data /](/search/themes/bootstrap3/images/libros.png)
Model-Checking Based Data Retrieval [electronic resource] : An Application to Semistructured and Temporal Data /
1. Introduction -- 2. Semantics Based on Bisimulation -- 3. Model-Checking Based Data Retrieval -- 4. Temporal Aspects of Semistructured Data -- 5. Related Works -- 6. Conclusion.
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Texto biblioteca |
| Language: | eng |
| Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg,
2004
|
| Subjects: | Computer science., Information technology., Business, 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., |
| Online Access: | http://dx.doi.org/10.1007/b94902 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| id |
KOHA-OAI-TEST:207873 |
|---|---|
| record_format |
koha |
| spelling |
KOHA-OAI-TEST:2078732018-07-30T23:38:38ZModel-Checking Based Data Retrieval [electronic resource] : An Application to Semistructured and Temporal Data / Quintarelli, Elisa. author. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg,2004.eng1. Introduction -- 2. Semantics Based on Bisimulation -- 3. Model-Checking Based Data Retrieval -- 4. Temporal Aspects of Semistructured Data -- 5. Related Works -- 6. Conclusion.Computer science.Information technology.BusinessData 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.Springer eBookshttp://dx.doi.org/10.1007/b94902URN:ISBN:9783540246039 |
| institution |
COLPOS |
| collection |
Koha |
| country |
México |
| countrycode |
MX |
| component |
Bibliográfico |
| access |
En linea En linea |
| databasecode |
cat-colpos |
| tag |
biblioteca |
| region |
America del Norte |
| libraryname |
Departamento de documentación y biblioteca de COLPOS |
| language |
eng |
| topic |
Computer science. Information technology. Business 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. Computer science. Information technology. Business 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. |
| spellingShingle |
Computer science. Information technology. Business 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. Computer science. Information technology. Business 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. Quintarelli, Elisa. author. SpringerLink (Online service) Model-Checking Based Data Retrieval [electronic resource] : An Application to Semistructured and Temporal Data / |
| description |
1. Introduction -- 2. Semantics Based on Bisimulation -- 3. Model-Checking Based Data Retrieval -- 4. Temporal Aspects of Semistructured Data -- 5. Related Works -- 6. Conclusion. |
| format |
Texto |
| topic_facet |
Computer science. Information technology. Business 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. |
| author |
Quintarelli, Elisa. author. SpringerLink (Online service) |
| author_facet |
Quintarelli, Elisa. author. SpringerLink (Online service) |
| author_sort |
Quintarelli, Elisa. author. |
| title |
Model-Checking Based Data Retrieval [electronic resource] : An Application to Semistructured and Temporal Data / |
| title_short |
Model-Checking Based Data Retrieval [electronic resource] : An Application to Semistructured and Temporal Data / |
| title_full |
Model-Checking Based Data Retrieval [electronic resource] : An Application to Semistructured and Temporal Data / |
| title_fullStr |
Model-Checking Based Data Retrieval [electronic resource] : An Application to Semistructured and Temporal Data / |
| title_full_unstemmed |
Model-Checking Based Data Retrieval [electronic resource] : An Application to Semistructured and Temporal Data / |
| title_sort |
model-checking based data retrieval [electronic resource] : an application to semistructured and temporal data / |
| publisher |
Berlin, Heidelberg : Springer Berlin Heidelberg, |
| publishDate |
2004 |
| url |
http://dx.doi.org/10.1007/b94902 |
| work_keys_str_mv |
AT quintarellielisaauthor modelcheckingbaseddataretrievalelectronicresourceanapplicationtosemistructuredandtemporaldata AT springerlinkonlineservice modelcheckingbaseddataretrievalelectronicresourceanapplicationtosemistructuredandtemporaldata |
| _version_ |
1756268444905373696 |