在您的搜寻 主题建议
在您的搜寻 主题建议
搜索替代词:
information abstraction » information extraction, information abstracts, information instruction
abstraction practices » abstraction practical, extraction practices, construction practices
practices function » practices fiction, practical function, practice functional
function data » functions data, functional data, function dna
data compiled » data compared, data complex, data coupled
information abstraction » information extraction, information abstracts, information instruction
abstraction practices » abstraction practical, extraction practices, construction practices
practices function » practices fiction, practical function, practice functional
function data » functions data, functional data, function dna
data compiled » data compared, data complex, data coupled
1
出版 2008
书本目录:
“... Validation Language for ASMs -- Data Flow Analysis and Testing of Abstract State Machines -- A Verified AsmL...”获取全文
电子
电子书
2
出版 2013
书本目录:
“... and Algorithms for Joins via Fractional Edge Covers -- Incremental Data Fusion Based on Provenance Information...”获取全文
电子
电子书
3
出版 2015
书本目录:
“... as an Abstract Data Type -- Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages -- Type...”获取全文
电子
电子书
4
出版 2014
书本目录:
“... Announcement: A Practical Transactional Memory Interface -- Brief Announcement: On Dynamic and Multi-functional...”获取全文
电子
电子书
5
出版 2010
书本目录:
“... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”获取全文
电子
电子书
6
出版 2013
书本目录:
“...Distributed Electronic Rights in JavaScript -- The Compiler Forest -- Pretty-Big-Step Semantics...”获取全文
电子
电子书
7
书本目录:
“...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...”
获取全文
获取全文
电子
电子书
8
出版 2008
书本目录:
“... Semantics for Hybrid Systems -- Full Abstraction for Linda -- Practical Programming with Higher-Order...”获取全文
电子
电子书
9
出版 2005
书本目录:
“...Invited Papers -- Semiperfect-Information Games -- Computational Complexity Since 1980...”获取全文
电子
电子书
10
出版 2014
书本目录:
“... of Transmission Data Sizes in Distributed Systems -- Fully Abstract Operation Contracts -- Statistical Model...”获取全文
电子
电子书
11
出版 2008
书本目录:
“... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...”获取全文
电子
电子书
12
出版 2010
书本目录:
“...-temporal Data -- Situation Prediction Nets -- Model Abstraction, Feature Modeling, and Filtering...”获取全文
电子
电子书
13
出版 2010
书本目录:
“... for Security -- Quantitative Information Flow: From Theory to Practice? -- Memory Management in Concurrent...”获取全文
电子
电子书
14
出版 2005
书本目录:
“... Rules -- A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator...”获取全文
电子
电子书