Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
abstraction practices » extraction practices, construction practices, abstraction particle
abstraction practical » abstract practical, abstraction particle, diffraction practical
function data » functions data, functional data, function dna
data compiled » data compared, data complex, data coupled
abstraction practices » extraction practices, construction practices, abstraction particle
abstraction practical » abstract practical, abstraction particle, diffraction practical
function data » functions data, functional data, function dna
data compiled » data compared, data complex, data coupled
1
Udgivet 2008
Indholdsfortegnelse:
“... Validation Language for ASMs -- Data Flow Analysis and Testing of Abstract State Machines -- A Verified AsmL...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2013
Indholdsfortegnelse:
“... and Algorithms for Joins via Fractional Edge Covers -- Incremental Data Fusion Based on Provenance Information...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2015
Indholdsfortegnelse:
“... as an Abstract Data Type -- Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages -- Type...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2013
Indholdsfortegnelse:
“...Distributed Electronic Rights in JavaScript -- The Compiler Forest -- Pretty-Big-Step Semantics...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2008
Indholdsfortegnelse:
“... Semantics for Hybrid Systems -- Full Abstraction for Linda -- Practical Programming with Higher-Order...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2014
Indholdsfortegnelse:
“... Announcement: A Practical Transactional Memory Interface -- Brief Announcement: On Dynamic and Multi-functional...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2005
Indholdsfortegnelse:
“...Invited Papers -- Semiperfect-Information Games -- Computational Complexity Since 1980...”Få fuldtekst
Electronisk
eBog
8
Udgivet 2014
Indholdsfortegnelse:
“... of Transmission Data Sizes in Distributed Systems -- Fully Abstract Operation Contracts -- Statistical Model...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2010
Indholdsfortegnelse:
“... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”Få fuldtekst
Electronisk
eBog
10
Indholdsfortegnelse:
“...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
11
Udgivet 2008
Indholdsfortegnelse:
“... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2010
Indholdsfortegnelse:
“...-temporal Data -- Situation Prediction Nets -- Model Abstraction, Feature Modeling, and Filtering...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2010
Indholdsfortegnelse:
“... for Security -- Quantitative Information Flow: From Theory to Practice? -- Memory Management in Concurrent...”Få fuldtekst
Electronisk
eBog
14
Udgivet 2005
Indholdsfortegnelse:
“... Rules -- A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator...”Få fuldtekst
Electronisk
eBog