Pynciau a Argymhellir O fewn eich chwiliad
Pynciau a Argymhellir O fewn eich chwiliad
Chwilio eraill:
abstraction practical » abstract practical, diffraction practical, interaction practical
abstraction particle » constriction particle, interaction particle, abstraction part
function data » functions data, functional data, function dna
data compiled » data compared, data complex, data coupled
abstraction practical » abstract practical, diffraction practical, interaction practical
abstraction particle » constriction particle, interaction particle, abstraction part
function data » functions data, functional data, function dna
data compiled » data compared, data complex, data coupled
1
Cyhoeddwyd 2008
Tabl Cynhwysion:
“... Validation Language for ASMs -- Data Flow Analysis and Testing of Abstract State Machines -- A Verified AsmL...”Cael y testun llawn
Electronig
eLyfr
2
Cyhoeddwyd 2013
Tabl Cynhwysion:
“... and Algorithms for Joins via Fractional Edge Covers -- Incremental Data Fusion Based on Provenance Information...”Cael y testun llawn
Electronig
eLyfr
3
Cyhoeddwyd 2015
Tabl Cynhwysion:
“... as an Abstract Data Type -- Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages -- Type...”Cael y testun llawn
Electronig
eLyfr
4
Cyhoeddwyd 2014
Tabl Cynhwysion:
“... Initialisation Method with Selection of Weights on the Basis of the Function Variability -- Soft Committee...”Cael y testun llawn
Electronig
eLyfr
5
Cyhoeddwyd 2014
Tabl Cynhwysion:
“... Announcement: A Practical Transactional Memory Interface -- Brief Announcement: On Dynamic and Multi-functional...”Cael y testun llawn
Electronig
eLyfr
6
Cyhoeddwyd 2010
Tabl Cynhwysion:
“... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”Cael y testun llawn
Electronig
eLyfr
7
Cyhoeddwyd 2013
Tabl Cynhwysion:
“...Distributed Electronic Rights in JavaScript -- The Compiler Forest -- Pretty-Big-Step Semantics...”Cael y testun llawn
Electronig
eLyfr
8
Tabl Cynhwysion:
“...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...”
Cael y testun llawn
Cael y testun llawn
Electronig
eLyfr
9
Cyhoeddwyd 2008
Tabl Cynhwysion:
“... Semantics for Hybrid Systems -- Full Abstraction for Linda -- Practical Programming with Higher-Order...”Cael y testun llawn
Electronig
eLyfr
10
Cyhoeddwyd 2005
Tabl Cynhwysion:
“...Invited Papers -- Semiperfect-Information Games -- Computational Complexity Since 1980...”Cael y testun llawn
Electronig
eLyfr
11
Cyhoeddwyd 2014
Tabl Cynhwysion:
“... of Transmission Data Sizes in Distributed Systems -- Fully Abstract Operation Contracts -- Statistical Model...”Cael y testun llawn
Electronig
eLyfr
12
Cyhoeddwyd 2008
Tabl Cynhwysion:
“... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...”Cael y testun llawn
Electronig
eLyfr
13
Cyhoeddwyd 2005
Tabl Cynhwysion:
“... with Predicate Abstraction -- Assessment Aggregation in the Evidential Reasoning Approach to MADM Under...”Cael y testun llawn
Electronig
eLyfr
14
Cyhoeddwyd 2010
Tabl Cynhwysion:
“...-temporal Data -- Situation Prediction Nets -- Model Abstraction, Feature Modeling, and Filtering...”Cael y testun llawn
Electronig
eLyfr
15
Cyhoeddwyd 2010
Tabl Cynhwysion:
“... for Security -- Quantitative Information Flow: From Theory to Practice? -- Memory Management in Concurrent...”Cael y testun llawn
Electronig
eLyfr
16
Cyhoeddwyd 2005
Tabl Cynhwysion:
“... Rules -- A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator...”Cael y testun llawn
Electronig
eLyfr
17
Cyhoeddwyd 2015
Tabl Cynhwysion:
“... -- Hierarchical Dynamic Power-Gating in FPGAs -- Tools and Compilers -- Hardware Synthesis from Functional...”Cael y testun llawn
Electronig
eLyfr