Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
function function » function functional, functions functional, function dysfunction
tools structure » tool structures, models structure, cells structure
parallel tools » parallel tasks, parallel texts
function https » functions https, fiction https
function function » function functional, functions functional, function dysfunction
tools structure » tool structures, models structure, cells structure
parallel tools » parallel tasks, parallel texts
function https » functions https, fiction https
1
Publicado em 2006
Sumário:
“... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Sumário:
“...Introduction -- Preliminaries and Definitions -- Randomized Encoding of Functions -- Cryptography...”
Obter o texto integral
Obter o texto integral
Recurso Electrónico
livro electrónico
3
Publicado em 2007
Sumário:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Obter o texto integral
Recurso Electrónico
livro electrónico
4
Publicado em 2010
Sumário:
“... Analysis -- Bootstrap Tests of Hypotheses -- Generating Random Numbers -- Practically Trivial Parallel Data...”Obter o texto integral
Recurso Electrónico
livro electrónico
5
Publicado em 2008
Sumário:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”Obter o texto integral
Recurso Electrónico
livro electrónico
6
Publicado em 2005
Sumário:
“... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”Obter o texto integral
Recurso Electrónico
livro electrónico
7
Publicado em 2008
Sumário:
“... Structure of 64-Bit Exponential Function Implemented in FPGAs -- A Framework for the Automatic Generation...”Obter o texto integral
Recurso Electrónico
livro electrónico
8
Publicado em 2010
Sumário:
“... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”Obter o texto integral
Recurso Electrónico
livro electrónico
9
Publicado em 2014
Sumário:
“... Dynamics -- Towards Dynamic Substructuring Using Measured Impulse Response Functions -- Hybrid Modeling...”Obter o texto integral
Recurso Electrónico
livro electrónico
10
Human-Computer Interaction: Human-Centred Design Approaches, Methods, Tools and Environments 15th...
Publicado em 2013
Sumário:
“... Evaluation of Mobile Web Applications -- Design and Implementation of ErgoIdentifier: A Tool for Automated...”Obter o texto integral
Recurso Electrónico
livro electrónico
11
Publicado em 2013
Sumário:
“.... How far are compliant mechanisms from rigid-body mechanisms and stiff structures?, by G. K...”Obter o texto integral
Recurso Electrónico
livro electrónico
12
Publicado em 2014
Sumário:
“... -- Swap Edges of Shortest Path Tree in Parallel -- A New Approach for Parallel Discrete Fourier Transform...”Obter o texto integral
Recurso Electrónico
livro electrónico
13
Publicado em 2008
Sumário:
“... Propositional Theories -- Abstract Answer Set Solvers -- Partial Functions and Equality in Answer Set...”Obter o texto integral
Recurso Electrónico
livro electrónico
14
Publicado em 2005
Sumário:
“... Triangulations -- Convex Hull and Voronoi Diagram of Additively Weighted Points -- New Tools and Simpler...”Obter o texto integral
Recurso Electrónico
livro electrónico
15
Publicado em 2010
Sumário:
“...Invited Talks (Abstracts) -- Mining Billion-Node Graphs: Patterns, Generators and Tools...”Obter o texto integral
Recurso Electrónico
livro electrónico
16
Publicado em 2007
Sumário:
“... Information -- Growth Characteristics of Organisms -- Information and Thermal Physics -- Parallel Information...”Obter o texto integral
Recurso Electrónico
livro electrónico
17
Publicado em 2007
Sumário:
“... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...”Obter o texto integral
Recurso Electrónico
livro electrónico
18
Publicado em 2014
Sumário:
“... -- To Study the Architectural Designs of a Proposed Comprehensive Software Extractor for Re-Engineering Tool...”Obter o texto integral
Recurso Electrónico
livro electrónico
19
Publicado em 2010
Sumário:
“... -- Positioning, Structuring and Controlling with Nanoprecision -- Challenges of Precision Assembly with a...”Obter o texto integral
Recurso Electrónico
livro electrónico
20
Publicado em 2011
Sumário:
“... -- Automation Tools Supporting the Development of Information Standards for Complex Systems -- Use of Structured...”Obter o texto integral
Recurso Electrónico
livro electrónico