Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
functionality equations » functional equations, functionality evaluation, functional equation
program functionality » protein functionality, programs functional, supra functionality
equations https » relations https
object program » object programs, project program, correct program
functionality equations » functional equations, functionality evaluation, functional equation
program functionality » protein functionality, programs functional, supra functionality
equations https » relations https
object program » object programs, project program, correct program
1
Publicado em 2005
Sumário:
“... Reconstruction Using Type Equations -- Correctness of Non-determinism Analyses in a Parallel-Functional Language...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2010
Sumário:
“... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2010
Sumário:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Sumário:
“... to Classes -- Random Numbers and Simple Games -- Object-Oriented Programming -- Sequences and Difference...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
5
Sumário:
“... to Classes -- Random Numbers and Simple Games -- Object-Oriented Programming -- Sequences and Difference...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
6
Sumário:
“... to Classes -- Random Numbers and Simple Games -- Object-Oriented Programming -- Sequences and Difference...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electró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 Electrónico
livro electrónico
8
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Publicado em 2013
Sumário:
“... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2013
Sumário:
“... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Sumário:
“... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2010
Sumário:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2010
Sumário:
“... Integrable Dynamical Systems -- Generic, Type-Safe and Object Oriented Computer Algebra Software...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Publicado em 2010
Sumário:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
Publicado em 2007
Sumário:
“... -- On the Optimal Object-Oriented Program Re-modularization -- A Buffered-Mode MPI Implementation for the Cell BETM...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
Publicado em 2007
Sumário:
“... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Publicado em 2007
Sumário:
“...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...”Obter o texto integral
Recurso Electrónico
livro electrónico
17
Publicado em 2010
Sumário:
“... Mechanics -- A Hybrid Parallel Algorithm for Transforming Finite Element Functions from Adaptive...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Publicado em 2006
Sumário:
“... Sequences -- Functional Equations in Shostak Theories -- All Semi-local Longest Common Subsequences...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Publicado em 2007
Sumário:
“... Parallel Computing Framework for Nonexperts of Computers: Easy Installation, Programming and Execution...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Publicado em 2007
Sumário:
“... Functions -- An Effective Dynamical Multi-objective Evolutionary Algorithm for Solving Optimization Problems...”Obter o texto integral
Recurso Electrónico
livro electrónico
- 1
- 2
- Seguinte »
- [2]