Sugestões de Tópicos dentro de sua busca.
Sugestões de Tópicos dentro de sua busca.
Buscas alternativas:
functions computation » functions composition, function composition, functional composition
function computation » function computing, function decomposition, section computational
using using » nursing using, housing using, using housing
functions computation » functions composition, function composition, functional composition
function computation » function computing, function decomposition, section computational
using using » nursing using, housing using, using housing
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 Eletrônico
livro eletrônico
2
Publicado em 2013
Sumário:
“... and Function Values (D. Noll) -- 27. Convergence of Linesearch and Trust-Region Methods Using the Kurdyka...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
3
Sumário:
“... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...”
Obter o texto integral
Obter o texto integral
Recurso Eletrônico
livro eletrônico
4
Publicado em 2010
Sumário:
“... Trust in Cloud Computing -- SegSlice: Towards a New Class of Secure Programming Primitives...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
5
Publicado em 2010
Sumário:
“...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
6
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 Eletrônico
livro eletrônico
7
Publicado em 2013
Sumário:
“... Database -- Types, Functional Programming and Atomic Transactions in Hardware Design -- Record Polymorphism...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
8
Publicado em 2012
Sumário:
“... Compute Units -- Relationship-Preserving Change Propagation in Process Ecosystems -- Scheduling Service...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
9
Publicado em 2015
Sumário:
“...Binary Bat Algorithm: On the Efficiency of Mapping Functions When Handling Binary Problems Using...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
10
Publicado em 2015
Sumário:
“... -- Chapter 2: ARM TrustZone -- Computer Security Anchors in Smart Grids: The Smart Metering Scenario...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
11
Publicado em 2014
Sumário:
“... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
12
Publicado em 2006
Sumário:
“... Authentication Protocol for 3G Mobile Systems Using CSP and Rank Functions -- Attribute-Based Authentication...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
13
Publicado em 2007
Sumário:
“... Residue Binding Propensity and Sequence Entropy -- Use of Parallel Simulated Annealing for Computational...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
14
Publicado em 2005
Sumário:
“... Grid -- Session 1: Grid Computing -- CGSV: An Adaptable Stream-Integrated Grid Monitoring System...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
15
Publicado em 2007
Sumário:
“... Orders -- Tree Components Programming: An Application to XML -- A Framework for Incorporating Trust...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
16
Publicado em 2012
Sumário:
“... of Confidence in Assurance Cases -- An Unified Meta-model for Trustworthy Systems Engineering -- A Preliminary...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
17
Publicado em 2007
Sumário:
“... Algorithm Using a Trust-Region Derivative-Free Optimization with Quadratic Modelling for Optimization...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
18
Publicado em 2010
Sumário:
“...Trusted and Pervasive Computing -- Foot Shape Analysis of Adult Male in the China -- Intelligent...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
19
Publicado em 2010
Sumário:
“...-Intensive Socially Similar Evolving Community Tracker -- Clustering of Blog Sites Using Collective Wisdom...”Obter o texto integral
Recurso Eletrônico
livro eletrônico
20
Publicado em 2006
Sumário:
“... Optimization of Braced Steel Frameworks Using Genetic Programming -- On the Adoption of Computing...”Obter o texto integral
Recurso Eletrônico
livro eletrônico