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