Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
certification functionality » classification functionality, verification functional, application functionality
computing certification » computers certification, computers cerification, combating desertification
functionality function » functionals function, functionaries function, functional functions
function https » functions https, fiction https
certification functionality » classification functionality, verification functional, application functionality
computing certification » computers certification, computers cerification, combating desertification
functionality function » functionals function, functionaries function, functional functions
function https » functions https, fiction https
1
Publicado em 2006
Sumário:
“... Transducer -- A Computational Approach to Pocklington Certificates in Type Theory -- Defining and Reasoning...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2014
Sumário:
“... Length Jobs with Commitment and Penalties -- The Lazy Matroid Problem -- Treewidth Computation...”Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2013
Sumário:
“... and Evaluation -- Certification of Bounds of Non-linear Functions: The Templates Method -- Verifying a Plaftorm...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2014
Sumário:
“... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2013
Sumário:
“... Diffusion Collaborated with Non Local Means -- Various Aspects of Computer Security A Practical Certificate...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2008
Sumário:
“... Functional Language -- On Reachability Games of Ordinal Length -- An Algorithm for Computation of the Scene...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2007
Sumário:
“... of Group-Based Key Agreement Protocols Using Subgroup Distance Functions -- Cryptanalysis -- Length Based...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2008
Sumário:
“...-on-Tangent vs. Tangent-on-Reverse for Second Differentiation of Constrained Functionals -- Parallel Reverse...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2014
Sumário:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
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
11
Publicado em 2013
Sumário:
“... Computation and Secret Sharing -- Securely Solving Simple Combinatorial Graph Problems -- Parallel and Dynamic...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2015
Sumário:
“... of Spoofed IP Packets -- 11. A Queueing Model for E-Learning System -- 12. Development of Common Parallel...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Publicado em 2006
Sumário:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
Publicado em 2014
Sumário:
“... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...”Obter o texto integral
Recurso Electrónico
livro electrónico