Suggested Topics within your search.
Suggested Topics within your search.
1
2
3
Published 2013
Table of Contents: ';
“... for Extracting Learning Concepts and Their Relatedness in eBook Texts -- Mining for Marks: A Comparison...”View fulltext via EzAccess
Electronic
4
5
Published 2009
Table of Contents: ';
“... as a Proof of Systems Biology --...”View fulltext via EzAccess
Electronic
6
Published 2013
Table of Contents: ';
“... of LTL -- A Semantic Basis for Proof Queries and Transformations -- Expressive Path Queries on Graphs...”View fulltext via EzAccess
Electronic
7
Published 2013
Table of Contents: ';
“... -- Dependently-typed Programming in Scientific Computing: Examples from economic modelling -- Engineering Proof...”View fulltext via EzAccess
Electronic
8
Published 2013
Table of Contents: ';
“... Approach -- Ambivalent Types for Principal Type Inference with GADTs -- Temporal Specification Mining...”View fulltext via EzAccess
Electronic
9
Published 2013
Table of Contents: ';
“... -- Specification -- Algebraic Laws for Process Subtyping -- Boundness Issues in CCSL Specifications -- Mining...”Get full text
Electronic
10
by Gutiérrez, Jairo, 1960-
Published 2007
Table of Contents: ';
“... / Varadharajan Sridhar, June Park -- 2. A data-mining driven approach for web classification and filtering based...”Published 2007
View fulltext via EzAccess
Electronic
11
Published 2010
Table of Contents: ';
“... -- Temporal Data Mining Using Hidden Periodicity Analysis -- Mining N-most Interesting Itemsets -- Repository...”View fulltext via EzAccess
Electronic
12
Published 2013
Table of Contents: ';
“... generic non-intrusive fault detection framework -- A Witnessing Compiler: A Proof of Concept -- Runtime...”Get full text
Electronic
13
Published 2013
Table of Contents: ';
“... -- Model Checking Metric Temporal Logic over Automata with One Counter.- Coinductive Proof Techniques...”Get full text
Electronic
14
Published 2006
Table of Contents: ';
“... with ePortfolios / Jessica L. Blackburn and Milton D. Hakel -- Mining for Meaning: Teaching Students How to Reflect...”View fulltext via EzAccess
Electronic