Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Alternatieven:
functions computation » function computation, functions composition, function composition
function computing » education computing, generation computing
using using » nursing using, housing using, using housing
functions computation » function computation, functions composition, function composition
function computing » education computing, generation computing
using using » nursing using, housing using, using housing
1
Gepubliceerd in 2006
Inhoudsopgave:
“... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”Volledige tekst
Elektronisch
E-boek
2
Gepubliceerd in 2013
Inhoudsopgave:
“... and Function Values (D. Noll) -- 27. Convergence of Linesearch and Trust-Region Methods Using the Kurdyka...”Volledige tekst
Elektronisch
E-boek
3
Inhoudsopgave:
“... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...”
Volledige tekst
Volledige tekst
Elektronisch
E-boek
4
Gepubliceerd in 2010
Inhoudsopgave:
“... Trust in Cloud Computing -- SegSlice: Towards a New Class of Secure Programming Primitives...”Volledige tekst
Elektronisch
E-boek
5
Gepubliceerd in 2010
Inhoudsopgave:
“...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”Volledige tekst
Elektronisch
E-boek
6
Gepubliceerd in 2007
Inhoudsopgave:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Volledige tekst
Elektronisch
E-boek
7
Gepubliceerd in 2013
Inhoudsopgave:
“... Database -- Types, Functional Programming and Atomic Transactions in Hardware Design -- Record Polymorphism...”Volledige tekst
Elektronisch
E-boek
8
Gepubliceerd in 2012
Inhoudsopgave:
“... Compute Units -- Relationship-Preserving Change Propagation in Process Ecosystems -- Scheduling Service...”Volledige tekst
Elektronisch
E-boek
9
Gepubliceerd in 2015
Inhoudsopgave:
“...Binary Bat Algorithm: On the Efficiency of Mapping Functions When Handling Binary Problems Using...”Volledige tekst
Elektronisch
E-boek
10
Gepubliceerd in 2015
Inhoudsopgave:
“... -- Chapter 2: ARM TrustZone -- Computer Security Anchors in Smart Grids: The Smart Metering Scenario...”Volledige tekst
Elektronisch
E-boek
11
Gepubliceerd in 2014
Inhoudsopgave:
“... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”Volledige tekst
Elektronisch
E-boek
12
Gepubliceerd in 2006
Inhoudsopgave:
“... Authentication Protocol for 3G Mobile Systems Using CSP and Rank Functions -- Attribute-Based Authentication...”Volledige tekst
Elektronisch
E-boek
13
Gepubliceerd in 2007
Inhoudsopgave:
“... Residue Binding Propensity and Sequence Entropy -- Use of Parallel Simulated Annealing for Computational...”Volledige tekst
Elektronisch
E-boek
14
Gepubliceerd in 2005
Inhoudsopgave:
“... Grid -- Session 1: Grid Computing -- CGSV: An Adaptable Stream-Integrated Grid Monitoring System...”Volledige tekst
Elektronisch
E-boek
15
Gepubliceerd in 2007
Inhoudsopgave:
“... Orders -- Tree Components Programming: An Application to XML -- A Framework for Incorporating Trust...”Volledige tekst
Elektronisch
E-boek
16
Gepubliceerd in 2012
Inhoudsopgave:
“... of Confidence in Assurance Cases -- An Unified Meta-model for Trustworthy Systems Engineering -- A Preliminary...”Volledige tekst
Elektronisch
E-boek
17
Gepubliceerd in 2010
Inhoudsopgave:
“...Trusted and Pervasive Computing -- Foot Shape Analysis of Adult Male in the China -- Intelligent...”Volledige tekst
Elektronisch
E-boek
18
Gepubliceerd in 2010
Inhoudsopgave:
“...-Intensive Socially Similar Evolving Community Tracker -- Clustering of Blog Sites Using Collective Wisdom...”Volledige tekst
Elektronisch
E-boek
19
Gepubliceerd in 2006
Inhoudsopgave:
“... Optimization of Braced Steel Frameworks Using Genetic Programming -- On the Adoption of Computing...”Volledige tekst
Elektronisch
E-boek
20
Gepubliceerd in 2007
Inhoudsopgave:
“... Algorithm Using a Trust-Region Derivative-Free Optimization with Quadratic Modelling for Optimization...”Volledige tekst
Elektronisch
E-boek