1
Publicado em 2008
Sumário: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2006
Sumário: ... Cryptography: Physical Unclonable Functions -- Regular Papers -- Low-Cost Elliptic Curve Cryptography...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2008
Sumário: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2008
Sumário: ...: An Early-Stopping Protocol for Computing Aggregate Functions in Sensor Networks -- Easy Consensus...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2013
Sumário: ... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2007
Sumário: ... -- Online Conflict-Free Colorings for Hypergraphs -- Distributed Computing with Advice: Information...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Por Li, Xingfeng., Li, Xingfeng.
Publicado em 2014
Sumário: ... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2006
Sumário: ... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2008
Sumário: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Por Chambers, John., Chambers, John.
Publicado em 2008
Sumário: ...Introduction: Principles and Concepts -- Using R -- Programming with R: The Basics -- R Packages...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2006
Sumário: ...Keynote Talk I -- Distributed Security Algorithms by Mobile Agents -- Session I A: Ad Hoc Networks...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2010
Sumário: ...Adding Expert Knowledge and Exploration in Monte-Carlo Tree Search -- A Lock-Free Multithreaded...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Sumário: ... -- Adding Cut-and-Paste Functionality -- Adding Drag-and-Drop Functionality -- Printing -- Introducing Java...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2008
Sumário: ...Invited Lecture -- Back to the Complexity of Universal Programs -- Applications Track Long Papers...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2010
Sumário: ... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2008
Sumário: ... Approximation Spaces -- Paraconsistent Logic Programs with Four-Valued Rough Sets -- An Equivalent Definition...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2015
Sumário: ...Binary Bat Algorithm: On the Efficiency of Mapping Functions When Handling Binary Problems Using...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2005
Sumário: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2014
Sumário: ... and Collaboration Inducement in Mobile Ad hoc Networks -- Uncoupling of Mobile Cloud Computing Services...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2007
Sumário: ...Roadmapping and i-Systems -- Exploring Computational Scheme of Complex Problem Solving Based...
Obter o texto integral
Recurso Electrónico livro electrónico