Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
information abstraction » information extraction, information abstracts, information instruction
abstraction practices » abstraction practical, extraction practices, construction practices
function data » functions data, function dna, function david
information abstraction » information extraction, information abstracts, information instruction
abstraction practices » abstraction practical, extraction practices, construction practices
function data » functions data, function dna, function david
1
Pubblicazione 2008
Sommario:
“... Validation Language for ASMs -- Data Flow Analysis and Testing of Abstract State Machines -- A Verified AsmL...”Testo
Elettronico
eBook
2
Pubblicazione 2013
Sommario:
“... and Algorithms for Joins via Fractional Edge Covers -- Incremental Data Fusion Based on Provenance Information...”Testo
Elettronico
eBook
3
Pubblicazione 2015
Sommario:
“... as an Abstract Data Type -- Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages -- Type...”Testo
Elettronico
eBook
4
Pubblicazione 2014
Sommario:
“... Announcement: A Practical Transactional Memory Interface -- Brief Announcement: On Dynamic and Multi-functional...”Testo
Elettronico
eBook
5
Pubblicazione 2010
Sommario:
“... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”Testo
Elettronico
eBook
6
Pubblicazione 2013
Sommario:
“...Distributed Electronic Rights in JavaScript -- The Compiler Forest -- Pretty-Big-Step Semantics...”Testo
Elettronico
eBook
7
Sommario:
“...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...”
Testo
Testo
Elettronico
eBook
8
Pubblicazione 2008
Sommario:
“... Semantics for Hybrid Systems -- Full Abstraction for Linda -- Practical Programming with Higher-Order...”Testo
Elettronico
eBook
9
Pubblicazione 2014
Sommario:
“... of Transmission Data Sizes in Distributed Systems -- Fully Abstract Operation Contracts -- Statistical Model...”Testo
Elettronico
eBook
10
Pubblicazione 2005
Sommario:
“...Invited Papers -- Semiperfect-Information Games -- Computational Complexity Since 1980...”Testo
Elettronico
eBook
11
Pubblicazione 2008
Sommario:
“... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...”Testo
Elettronico
eBook
12
Pubblicazione 2010
Sommario:
“...-temporal Data -- Situation Prediction Nets -- Model Abstraction, Feature Modeling, and Filtering...”Testo
Elettronico
eBook
13
Pubblicazione 2010
Sommario:
“... for Security -- Quantitative Information Flow: From Theory to Practice? -- Memory Management in Concurrent...”Testo
Elettronico
eBook
14
Pubblicazione 2005
Sommario:
“... Rules -- A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator...”Testo
Elettronico
eBook