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