Related Books

Model-Checking Based Data Retrieval
Language: en
Pages: 149
Authors: Elisa Quintarelli
Categories: Computers
Type: BOOK - Published: 2004-02-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book is devoted to the study of the semantics and assuring the efficient execution of database query languages, where the database contains semistructured
Database Programming Languages
Language: en
Pages: 353
Authors: Gosta Grahne
Categories: Business & Economics
Type: BOOK - Published: 2003-06-30 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Database Programming Languages, DBPL 2001, held in Frascati,
Database Programming Languages
Language: en
Pages: 353
Authors: Giorgia Ghelli
Categories: Business & Economics
Type: BOOK - Published: 2002-08-28 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Database Programming Languages, DBPL 2001, held in Frascati,
Interactive Knowledge Discovery and Data Mining in Biomedical Informatics
Language: en
Pages: 373
Authors: Andreas Holzinger
Categories: Computers
Type: BOOK - Published: 2014-06-17 - Publisher: Springer

DOWNLOAD EBOOK

One of the grand challenges in our digital world are the large, complex and often weakly structured data sets, and massive amounts of unstructured information.
Automated Reasoning with Analytic Tableaux and Related Methods
Language: en
Pages: 255
Authors: Nicola Olivetti
Categories: Computers
Type: BOOK - Published: 2007-09-17 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX