Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
abstraction practices » extraction practices, construction practices, abstraction particle
abstraction practical » abstract practical, abstraction particle, diffraction practical
functions data » functional data
data compiled » data compared, data complex, data coupled
abstraction practices » extraction practices, construction practices, abstraction particle
abstraction practical » abstract practical, abstraction particle, diffraction practical
functions data » functional data
data compiled » data compared, data complex, data coupled
1
Publicado em 2008
Sumário:
“... Validation Language for ASMs -- Data Flow Analysis and Testing of Abstract State Machines -- A Verified AsmL...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2013
Sumário:
“... and Algorithms for Joins via Fractional Edge Covers -- Incremental Data Fusion Based on Provenance Information...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2015
Sumário:
“... as an Abstract Data Type -- Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages -- Type...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2013
Sumário:
“...Distributed Electronic Rights in JavaScript -- The Compiler Forest -- Pretty-Big-Step Semantics...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2008
Sumário:
“... Semantics for Hybrid Systems -- Full Abstraction for Linda -- Practical Programming with Higher-Order...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2005
Sumário:
“...Invited Papers -- Semiperfect-Information Games -- Computational Complexity Since 1980...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2014
Sumário:
“... Announcement: A Practical Transactional Memory Interface -- Brief Announcement: On Dynamic and Multi-functional...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2014
Sumário:
“... of Transmission Data Sizes in Distributed Systems -- Fully Abstract Operation Contracts -- Statistical Model...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2010
Sumário:
“... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Sumário:
“...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2008
Sumário:
“... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2010
Sumário:
“...-temporal Data -- Situation Prediction Nets -- Model Abstraction, Feature Modeling, and Filtering...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Publicado em 2010
Sumário:
“... for Security -- Quantitative Information Flow: From Theory to Practice? -- Memory Management in Concurrent...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
Publicado em 2005
Sumário:
“... Rules -- A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator...”Obter o texto integral
Recurso Electrónico
livro electrónico