Model-checking based data retrieval : :: SCD d'Orléans

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

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

Salvato in:

Dettagli Bibliografici
Autore principale:	Quintarelli, Elisa
Natura:	Livre numérique
Lingua:	Anglais
Pubblicazione:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serie:	Lecture notes in computer science 2917
Soggetti:	Informatique Bases de données > Interrogation Informatique documentaire Langages d'interrogation
Accesso online:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Nota:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Model-checking based data retrieval, an application to semistructured and temporal data, Elisa Quintarelli, Berlin, Springer, 2004, 1 vol. (XVI-134 p.), Lecture notes in computer science, 3-540-20971-9 • Model-Checking Based Data Retrieval, Texte imprimé, 9783662176641

Documenti analoghi

Improvements on graph path queries : expression, evaluation, and minimum-weight satisfiability
di: Morais Medeiros, Ciro, 1994-
Pubblicazione: (2022)

Index structures for data warehouses
di: Jürgens, Marcus

Database Support for Data Mining Applications : Discovering Knowledge with Inductive Queries
di: Meo, Rosa

Intelligent search on XML data : applications, languages, models, implementations, and benchmarks
di: Blanken, Henk M., 1942-

Langages pour les SIG : conception, développement et IHM
di: Mainguenaud, Michel, 1962-...., chercheur en informatique
Pubblicazione: (2002)

Advances in knowledge discovery and data mining : 7th Pacific-Asia Conference, PAKDD 2003, Seoul, Korea, April 30 May 2, 2003 : proceedings

Data warehousing and knowledge discovery : 4th international conference, DaWaK 2002, Aix-en-Provence, France, September 4-6, 2002 : proceedings
Pubblicazione: (2003)

Data warehousing and knowledge discovery : 5th international conference, DaWaK 2003, Prague, Czech Republic, September 3-5, 2003 : proceedings

Advances in knowledge discovery and data mining : 8th Pacific-Asia conference, PAKDD 2004, Sydney, Australia, May 26-28, 2004 : proceedings
di: Dai, Honghua

Efficient query processing in geographic information systems
di: Ooi, Beng Chin, 1961-

Data warehousing and knowledge discovery : ; proceedings 6th international conference, DaWaK 2004, Zaragoza, Spain, September 1-3, 2004
di: Kambayashi, Yahiko, 1943-2004

Principles of data mining and knowledge discovery : 4 th European Conference, PKDD 2000, Lyon, France, September 13-16, 2000 : proceedings

Principles of data mining and knowledge discovery : 6th European Conference, PKDD 2002, Helsinki, Finland, August 19 23, 2002 : proceedings

Data warehousing and knowledge discovery : Third International Conference, DaWaK 2001 Munich, Germany, September 5 7, 2001 : proceedings

Principles of data mining and knowledge discovery : 5th European conference, PKDD 2001, Freiburg, Germany, September 3-5, 2001 : proceedings : dedicated to Jan Zytkow

Methodologies for knowledge discovery and data mining : Third Pacific-Asia Conference, PAKDD-99, Beijing, China, April 26 28, 1999 : proceedings

Quality-driven query answering for integrated information systems
di: Naumann, Felix

Current issues in databases and information systems : East-European Conference on Advances in Databases and Information Systems held jointly with International Conference on Database Systems for Advanced Applications, ADBIS-DASFAA 2000, Prague, Czech Republic, September 5 9, 2000 : proceedings

Principles of data mining and knowledge discovery : Third European Conference, PKDD '99, Prague, Czech Republic, September 1999 : proceedings

Research and development in knowledge discovery and data mining : Second Pacific-Asia Conference, PAKDD-98, Melbourne, Australia, April 15 17, 1998 : proceedings
di: Wu, Xindong

Data warehousing and knowledge discovery : Second International Conference, DaWaK 2000 London, UK, September 4-6, 2000 : proceedings

Databases & On-line Data in Astronomy
di: Albrecht, Miguel A., 19..-

XML pour les linguistes
di: Salvador, Xavier-Laurent, 1975-
Pubblicazione: (2016)

Flexible query answering systems : 5th International conference, FQAS 2002, Copenhagen, Denmark, October 27-29, 2002 : proceedings

New concepts for parallel object-relational query processing
di: Jaedicke, Michael, 19..-

Data & knowledge engineering.

Flexible query answering systems : third international conference, FQAS '98, Roskilde, Denmark, May 13-15, 1998 : proceedings

À propos du volume Ponctuer l’œuvre médiévale. Des signes au sens (Valérie Fasseur et Cécile Rochelois [éd.], 2016. Paris, Droz)
di: Cinato, Franck
Pubblicazione: (2019)

Flexible query answering systems : ; proceedings 6th international conference, FQAS 2004, Lyon, France, June 24-26, 2004

Knowledge discovery in databases : PKDD 2003 : 7th European conference on principles and practice of knowledge discovery in databases, Cavtat-Dubrovnik, Croatia, september 22-26, 2003 : proceedings

Advances in knowledge discovery and data mining : 6th Pacific-Asia Conference, PAKDD 2002, Taipei, Taiwan, May 6 8, 2002 : proceedings

Informatique de gestion : analyse et partage des bases de données
di: Sornet, Jacques
Pubblicazione: (2007)

PostGIS : tous les ingrédients pour concocter un SIG sur de bonnes bases
di: Bazin, Arthur, 19..-
Pubblicazione: (2023)

PostGIS : tous les ingrédients pour concocter un SIG sur de bonnes bases
di: Bazin, Arthur, 19..-
Pubblicazione: (2023)

Ressources et évaluation en ingénierie des langues : [synthèse de la première campagne d'évaluation présentée lors des premières Journées Scientifiques et Techniques de FRANCIL en avril 1997]
Pubblicazione: (2000)

Querying databases privately : a new approach to private information retrieval
di: Asonov, Dmitri

Bases de données relationnelles : concepts, mise en œuvre et exercices
di: Chrisment, Claude, 1949-, et al.
Pubblicazione: (2008)

Les essentiels de la recherche bibliographique en santé : Chercher Organiser Publier
di: Mouillet, Évelyne
Pubblicazione: (2021)

Les essentiels de la recherche bibliographique en santé : chercher, organiser, publier
di: Mouillet, Évelyne
Pubblicazione: (2016)

5 situations pédagogiques pour évaluer et enseigner la C 1.2 du bac pro
di: Bigarel, Carole, 19..-, et al.
Pubblicazione: (2025)

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales