Model-Checking Based Data Retrieval
Quintarelli, Elisa.
Model-Checking Based Data Retrieval An Application to Semistructured and Temporal Data / by Elisa Quintarelli. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540246039
Computer science.; Database management.; Information storage and retrieval systems.; Information systems.; Management information systems.; Computer Science.; Database Management.; Information Storage and Retrieval.; Information Systems Applications (incl.Internet).; Business Information Systems.
Model-Checking Based Data Retrieval An Application to Semistructured and Temporal Data / by Elisa Quintarelli. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540246039
Computer science.; Database management.; Information storage and retrieval systems.; Information systems.; Management information systems.; Computer Science.; Database Management.; Information Storage and Retrieval.; Information Systems Applications (incl.Internet).; Business Information Systems.