Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
program selection » program section, program collection, program execution
selection https » selection hatcs, exertion https, infection https
https function » its function, sites function, ups function
based https » based http
program selection » program section, program collection, program execution
selection https » selection hatcs, exertion https, infection https
https function » its function, sites function, ups function
based https » based http
1
Publicado em 2010
Sumário:
“...Invited Papers -- Programming with Multiple Paradigms in Lua -- Constraint Based Strategies...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2015
Sumário:
“...Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2012
Assuntos:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2006
Sumário:
“... Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2005
Sumário:
“... of Imperative Programs by Constraint Solving -- Run-Time Profiling of Functional Logic Programs -- Constructive...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2007
Sumário:
“... Strategies -- A Program Transformation for Tracing Functional Logic Computations -- Termination and Analysis...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2008
Sumário:
“... of Logic Programs Based on Dependency Graphs -- Type-Based Homeomorphic Embedding and Its Applications...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2015
Sumário:
“...Semantics of Logic Languages -- Ecient compilation of functional logic programs -- Types...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2015
Sumário:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Publicado em 2007
Sumário:
“... Elimination – Making Index Vectors Affordable -- Functional–Based Synthesis of a Systolic Array for GCD...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2005
Sumário:
“... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2008
Sumário:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Publicado em 2012
Sumário:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
Publicado em 2013
Sumário:
“... bytecodes -- The HERMIT in the Tree: Mechanizing Program Transformations in the GHC Core Language...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
Publicado em 2011
Assuntos:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Publicado em 2005
Sumário:
“... for Ranking Matches Between Components -- Extra-Functional System Properties of Components and Component-Based...”Obter o texto integral
Recurso Electrónico
livro electrónico
17
Publicado em 2006
Sumário:
“... Few Constructions on Constructors -- Tactic-Based Optimized Compilation of Functional Programs...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Publicado em 2007
Sumário:
“...Invited Papers -- Actions, Causation and Logic Programming -- Challenges to Machine Learning...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Publicado em 2008
Sumário:
“... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Publicado em 2014
Sumário:
“...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”Obter o texto integral
Recurso Electrónico
livro electrónico