Sugestões de Tópicos dentro de sua busca.
Sugestões de Tópicos dentro de sua busca.
Buscas alternativas:
transformation program » transformation programme, transformation protocol, transformation products
transformation process » transformation protocol, formation process, transition process
program constructs » program construction, program constructing, programming constructs
constructs https » construction https, constructs loops, constructs arti
transformation program » transformation programme, transformation protocol, transformation products
transformation process » transformation protocol, formation process, transition process
program constructs » program construction, program constructing, programming constructs
constructs https » construction https, constructs loops, constructs arti
1
Publicado em 2008
Sumário:
“... Accelerators for Cartesian Genetic Programming -- Genetic Programming and Class-Wise Orthogonal Transformation...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
2
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Publicado em 2013
Sumário:
“... -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
3
Publicado em 2008
Sumário:
“... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
4
Publicado em 2013
Sumário:
“...Programming with People: Integrating Human-Based and Digital -- Optimal Register Allocation...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
5
Publicado em 2013
Sumário:
“...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
6
Publicado em 2013
Assuntos:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
7
Publicado em 2005
Sumário:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
8
Publicado em 2013
Sumário:
“... -- PRISM-games: A Model Checker for Stochastic Multi-Player Games -- PIC2LNT: Model Transformation...”Obter o texto integral
Recurso Eletrônico
livro eletrô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 Eletrônico
livro eletrô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 Eletrônico
livro eletrônico
11
Publicado em 2005
Sumário:
“... Transformation Invariants Under Retiming and Resynthesis -- Specification, Program Synthesis -- Compositional...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
12
Publicado em 2010
Sumário:
“... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
13
Publicado em 2011
Sumário:
“... of an Integrated University -- Chapter 1: Bridging the Colleges: Perspectives on the Integrated University...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
14
Sumário:
“...: & Java Programming -- Programming Development Environment for Graphics -- Conditional Action-Spatial...”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico
15
Publicado em 2014
Sumário:
“...: Calibrating a Camera Using Multi-rectangle Constructed by Mark Lines in Traffic Road -- A Multi-instance Multi...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
16
Publicado em 2010
Sumário:
“... and a Use Case -- Integrating Users in Object-Aware Process Management Systems: Issues and Challenges...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
17
Publicado em 2014
Sumário:
“...Constructions of Free Commutative Integro-Differential Algebras -- Basic Module Theory over Non...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
18
Publicado em 2006
Sumário:
“... Up -- Refinement of Software Architectures by Recursive Model Transformations -- A UML-Based Process...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
19
Natural Language Processing and Information Systems 10th International Conference on Applications...
Publicado em 2005
Sumário:
“... Bootstrapping Thesaurus and a Machine Learning Approach -- On the Transformation of Sentences with Genitive...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
20
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 Eletrônico
livro eletrônico