Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Gesuggereerde onderwerpen binnen jouw zoekopdracht.
Alternatieven:
programmed problems » programmes problems, programming problems, programs problems
interface methods » internal methods, interval methods, interference methods
https » http
programmed problems » programmes problems, programming problems, programs problems
interface methods » internal methods, interval methods, interference methods
https » http
1
Gepubliceerd in 2008
Inhoudsopgave:
“... -- MPI and Hybrid Programming Models for Petascale Computing -- Some Aspects of Message-Passing on Future...”Volledige tekst
Elektronisch
E-boek
2
Gepubliceerd in 2007
Inhoudsopgave:
“..., Present and Future -- New and Old Tools and Programming Models for High-Performance Computing...”Volledige tekst
Elektronisch
E-boek
3
Gepubliceerd in 2005
Inhoudsopgave:
“... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...”Volledige tekst
Elektronisch
E-boek
4
Gepubliceerd in 2007
Inhoudsopgave:
“... -- Optimal Cue Combination for Saliency Computation: A Comparison with Human Vision -- The Underlying Formal...”Volledige tekst
Elektronisch
E-boek
5
Gepubliceerd in 2013
Inhoudsopgave:
“... Programming Learning Support System Based on Reading Computer program -- The Display Medium, Academic Major...”Volledige tekst
Elektronisch
E-boek
6
Gepubliceerd in 2012
Inhoudsopgave:
“... pRebeca -- Modular Verification of OO Programs with Interfaces -- Separation Predicates: A Taste...”Volledige tekst
Elektronisch
E-boek
7
Gepubliceerd in 2008
Inhoudsopgave:
“...Session 1. Invited Talks -- Aspects and Formal Methods -- Getting Formal Verification into Design...”Volledige tekst
Elektronisch
E-boek
8
Gepubliceerd in 2010
Inhoudsopgave:
“... Methods for Robotic Range Sensors -- High Fidelity Sensor Simulations for the Virtual Autonomous...”Volledige tekst
Elektronisch
E-boek
9
Gepubliceerd in 2015
Inhoudsopgave:
“...Invited Papers -- Reasoning about Separation using Abstraction and Reification -- An Interface...”Volledige tekst
Elektronisch
E-boek
10
Gepubliceerd in 2007
Inhoudsopgave:
“... Selection Algorithm for Point Based Rendering -- Fast Ray-Triangle Intersection Computation Using...”Volledige tekst
Elektronisch
E-boek
11
Gepubliceerd in 2006
Inhoudsopgave:
“... Reasoning About Non-atomic Java Card Methods in Dynamic Logic -- Programming Languages -- Formal...”Volledige tekst
Elektronisch
E-boek
12
Gepubliceerd in 2006
Inhoudsopgave:
“...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”Volledige tekst
Elektronisch
E-boek
13
Gepubliceerd in 2010
Inhoudsopgave:
“...Visions -- 1: Search Computing -- 2: Next Generation Web Search -- 3: Search for Knowledge...”Volledige tekst
Elektronisch
E-boek
14
Gepubliceerd in 2006
Inhoudsopgave:
“... Coordination and Computation as Architectural Dimensions -- The Bisimulation Proof Method: Enhancements...”Volledige tekst
Elektronisch
E-boek
15
Gepubliceerd in 2013
Inhoudsopgave:
“... in Hematopoeitic Cells -- Membrane Computing with Genetic Algorithm for the Travelling Salesman Problem -- Solving...”Volledige tekst
Elektronisch
E-boek
16
Inhoudsopgave:
“... Programs -- Stochastic Integer Programs -- Evaluating and Approximating Expectations -- Monte Carlo Methods...”
Volledige tekst
Volledige tekst
Elektronisch
E-boek
17
Gepubliceerd in 2010
Inhoudsopgave:
“... Systems and Soft Computing -- Particle Swarm Optimization and Niche Technology -- Supervised and Semi...”Volledige tekst
Elektronisch
E-boek
18
Gepubliceerd in 2012
Inhoudsopgave:
“... Based on the User Tendency in the Online Game Services -- Computer Education’s Teaching-Learning Methods...”Volledige tekst
Elektronisch
E-boek
19
Gepubliceerd in 2010
Inhoudsopgave:
“... the Lattice Boltzmann Method and Analysis of OpenMP Scalability -- Parallel Computations of Unsteady Three...”Volledige tekst
Elektronisch
E-boek
20
Gepubliceerd in 2007
Inhoudsopgave:
“... Descriptors -- Gestix: A Doctor-Computer Sterile Gesture Interface for Dynamic Environments -- Differential...”Volledige tekst
Elektronisch
E-boek