Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
interpretive framework » integrative framework, integration framework, interaction framework
parallel interpretive » parallel interactive, parallel iterative, personal interpretive
framework function » framework functioning, framework reaction, framework section
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
interpretive framework » integrative framework, integration framework, interaction framework
parallel interpretive » parallel interactive, parallel iterative, personal interpretive
framework function » framework functioning, framework reaction, framework section
function function » function functional, functions functional, function dysfunction
function https » functions https, fiction https
1
Publicado em 2015
Sumário:
“... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2006
Sumário:
“...: Adapting Object-Oriented Frameworks to Functional Reactive Languages -- WASH Server Pages....”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2010
Sumário:
“... -- ??: Dependent Types without the Sugar -- Haskell Type Constraints Unleashed -- A Functional Framework for Result...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2006
Sumário:
“...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2010
Sumário:
“...A Communication Framework for Fault-Tolerant Parallel Execution -- The STAPL pList -- Hardware...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2006
Sumário:
“... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2006
Sumário:
“... Abstraction -- Combining Shape Analyses by Intersecting Abstractions -- A Complete Abstract Interpretation...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2005
Sumário:
“... to an Octree-Based CSCW Framework -- Parallel Modeling of Transient States Analysis in Electrical Circuits...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2008
Sumário:
“... Hybrid Systems (Extended Abstract) -- From Parallel Virtual Machine to Virtual Parallel Machine...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Sumário:
“...How to Obtain, Install, and Use F# -- Functional Programming -- Imperative Programming -- Object...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
11
Assuntos:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2008
Sumário:
“... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Publicado em 2015
Sumário:
“... Framework -- SAM: The Static Analysis Module of the MAVERIC Mobile App Security Verification Platform...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
Publicado em 2010
Sumário:
“... Networks -- Rule Discovery Process Based on Rough Sets under the Belief Function Framework -- Independent...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
Publicado em 2008
Sumário:
“... Parallelism on Heterogeneous Multi-core Processors: A Case Study of the Cell BE -- IIa Reconfigurable - ASIP...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Publicado em 2013
Sumário:
“... -- The Program Is the Model: Enabling Transformations @run.time -- A Framework for Bidirectional Model...”Obter o texto integral
Recurso Electrónico
livro electrónico
17
Publicado em 2006
Sumário:
“... Frameworks -- Regular Talks Theory -- Tableau Calculi for Answer Set Programming -- Declarative Semantics...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Publicado em 2005
Sumário:
“... with Separation Logic -- An Abstract Interpretation Perspective on Linear vs. Branching Time -- The Parallel...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Publicado em 2007
Sumário:
“... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Publicado em 2008
Sumário:
“... Propositional Theories -- Abstract Answer Set Solvers -- Partial Functions and Equality in Answer Set...”Obter o texto integral
Recurso Electrónico
livro electrónico
- 1
- 2
- Seguinte »
- [2]