1
Publicado 2005
Table of Contents: ... -- Nesting OpenMP in MPI to Implement a Hybrid Communication Method of Parallel Simulated Annealing on a...
Ligazón do recurso
Electrónico eBook
2
Publicado 2007
Table of Contents: ... Passing Programs Using Model Verification Techniques -- Practical Model-Checking Method for Verifying...
Ligazón do recurso
Electrónico eBook
3
Publicado 2006
Table of Contents: ... Options for Subscription Managers -- Supporting Program Indexing and Querying in Source Code Digital...
Ligazón do recurso
Electrónico eBook
4
Publicado 2005
Table of Contents: ... Research -- A MDA-Compliant Environment for Developing User Interfaces of Information Systems -- Toward...
Ligazón do recurso
Electrónico eBook
5
por Perrett, Jamis J., Perrett, Jamis J.
Publicado 2010
Table of Contents: ...SAS/IML: A Brief Introduction -- IML Language Structure -- IML Programming Features -- Matrix...
Ligazón do recurso
Electrónico eBook
6
Publicado 2010
Table of Contents: ... -- Regions of Interest in Trajectory Data Warehouse -- AFOPT-Tax: An Efficient Method for Mining Generalized...
Ligazón do recurso
Electrónico eBook
7
Publicado 2008
Table of Contents: ... -- Application of Parallel Programming in Collaborative Design -- Collaborative Explorative Data Analysis Applied...
Ligazón do recurso
Electrónico eBook
8
Publicado 2010
Table of Contents: ... Capturing and Processing -- Local Adaptive Extraction of References -- Logic-Based Trajectory Evaluation...
Ligazón do recurso
Electrónico eBook
9
Publicado 2007
Table of Contents: ... Continuous Markov Decision Problems with Structured Reward -- Options in Readylog Reloaded – Generating...
Ligazón do recurso
Electrónico eBook
10
Publicado 2012
Table of Contents: ... Bound Prices for Multi-asset Bermudan Options -- Insight of Direct Search Methods and Module-Integrated...
Ligazón do recurso
Electrónico eBook
11
Table of Contents: ... -- Context Nodes and Attributes at Design Time -- Data Binding, Context Mapping and Interface Methods -- View...
Ligazón do recurso
Electrónico eBook
12
Table of Contents: ... -- Context Nodes and Attributes at Design Time -- Data Binding, Context Mapping and Interface Methods -- View...
Ligazón do recurso
Electrónico eBook
13
Publicado 2010
Table of Contents: ... Modeling on the Architectural Design Process -- An OpenGL-based Interface to 3D PowerPoint-like...
Ligazón do recurso
Electrónico eBook
14
Publicado 2007
Table of Contents: ... Programming Classification Method -- Kimberlites Identification by Classification Methods -- A Fast Method...
Ligazón do recurso
Electrónico eBook
15
por Spear, Chris., Spear, Chris.
Publicado 2008
Table of Contents: ...1. Verification Guidelines -- 1.1 The Verification Process -- 1.2 The Verification Methodology...
Ligazón do recurso
Electrónico eBook
16
Publicado 2013
Table of Contents: ... and Responsibilities -- Service and Information Security Improvement by Collaborative Business Process Management...
Ligazón do recurso
Electrónico eBook