1
Published 2005
Table of Contents: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ...Data Warehouse Modeling and Spatial Data Warehouses -- Logic Programming for Data Warehouse...
View full text
Electronic eBook
3
Subjects: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
View full text
Electronic eBook
4
Published 2014
Table of Contents: ...Microcode Verification – Another Piece of the Microprocessor Verification Puzzle -- Are We...
View full text
Electronic eBook
5
Table of Contents: ... Decomposition and Related Topics -- Hilbert Function and Dimension -- Complete Local Rings -- Homological...
View full text
Electronic eBook
6
Subjects: ...Computational Intelligence. https://scigraph.springernature.com/ontologies/product-market-codes...
View full text
Electronic eBook
7
Published 2005
Table of Contents: ... Programming Perspective -- Recent Advances in Mining Time Series Data -- Focus the Mining Beacon: Lessons...
View full text
Electronic eBook
8
Published 2014
Table of Contents: ... Process Mining to Resource-Oriented Systems -- User–Defined Rules Made Simple with Functional Programming...
View full text
Electronic eBook