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