1
Published 2012
Table of Contents: ... and Business Intelligence -- Using Domain Ontologies as Semantic Dimensions in Data Warehouses -- Sliced Column...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... for Algebraically Closed Fields -- Computing in Coq with Infinite Algebraic Data Structures -- Formally Verified...
View full text
Electronic eBook