Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
integrating transformation » integrating transportation, interactions transformation, integrating information
transformation program » transformation programme, transformation process, transformation protocol
program constructs » program construction, program constructing, programming constructs
constructs https » construction https, constructs loops, constructs arti
program program » programs program, programming program
integrating transformation » integrating transportation, interactions transformation, integrating information
transformation program » transformation programme, transformation process, transformation protocol
program constructs » program construction, program constructing, programming constructs
constructs https » construction https, constructs loops, constructs arti
program program » programs program, programming program
1
Publicado em 2008
Sumário:
“... Accelerators for Cartesian Genetic Programming -- Genetic Programming and Class-Wise Orthogonal Transformation...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2008
Sumário:
“... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Publicado em 2013
Sumário:
“... Verification for Weak Memory via Program Transformation -- Checking and Enforcing Robustness against TSO...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2013
Sumário:
“...Programming with People: Integrating Human-Based and Digital -- Optimal Register Allocation...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2013
Sumário:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2005
Sumário:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2013
Sumário:
“... -- PRISM-games: A Model Checker for Stochastic Multi-Player Games -- PIC2LNT: Model Transformation...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2013
Assuntos:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2014
Sumário:
“... Objects -- VeriMAP: A Tool for Verifying Programs through Transformations -- CIF 3: Model-Based...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Publicado em 2006
Sumário:
“... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2005
Sumário:
“... Transformation Invariants Under Retiming and Resynthesis -- Specification, Program Synthesis -- Compositional...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2014
Sumário:
“...Constructions of Free Commutative Integro-Differential Algebras -- Basic Module Theory over Non...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Publicado em 2007
Sumário:
“... Biomedicine -- Phyl-O’Data (POD) from Tree of Life: Integration Challenges from Yellow Slimy Things to Black...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
Sumário:
“...: & Java Programming -- Programming Development Environment for Graphics -- Conditional Action-Spatial...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
15
Publicado em 2007
Sumário:
“... Psychological Theory -- Model Driven Development -- Integrating Performance and Reliability Analysis in a Non...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Publicado em 2005
Sumário:
“... in Multithreaded Programs by Generalized Predictive Analysis of Executions -- Web Services -- Transforming...”Obter o texto integral
Recurso Electrónico
livro electrónico
17
Publicado em 2008
Sumário:
“...# Programming System: Challenges and Directions -- Integrating Static Checking and Interactive Verification...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Publicado em 2006
Sumário:
“... Combined B and CSP Specification to Java Programs -- Symmetry Reduction for B by Permutation Flooding...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Publicado em 2010
Sumário:
“... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Publicado em 2008
Sumário:
“...-Service Construction -- Applications of Formal Approaches to Service-Oriented Computing -- A Use-Case...”Obter o texto integral
Recurso Electrónico
livro electrónico