1
Publicado 2014
Tabla de Contenidos: ...-Specific Recombination -- Application of In-Fusion™ Cloning for the Parallel Construction of Escherichia...
Enlace del recurso
Electrónico eBook
2
Tabla de Contenidos: ... Examples.-Whole Array and Additional Array Features -- Output of Results.-Reading in data.-Files.-Functions...
Enlace del recurso
Electrónico eBook
3
Publicado 2008
Tabla de Contenidos: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Enlace del recurso
Electrónico eBook
4
Tabla de Contenidos: ... -- Introduction to Parallel Programming -- MPI - Message Passing Interface -- OpenMP -- Coarray Fortran -- C...
Enlace del recurso
Electrónico eBook
5
Publicado 2006
Tabla de Contenidos: ...Invited Lectures -- Additive Approximation for Edge-Deletion Problems (Abstract) -- Graph Theory I...
Enlace del recurso
Electrónico eBook
6
Publicado 2014
Tabla de Contenidos: ... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...
Enlace del recurso
Electrónico eBook
7
Tabla de Contenidos: ... Enhancements -- Fortran 2003 and the Enhanced Module Facility -- Parallel Programming -- Miscellaneous....
Enlace del recurso
Electrónico eBook
8
Publicado 2010
Tabla de Contenidos: ... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...
Enlace del recurso
Electrónico eBook
9
Publicado 2005
Tabla de Contenidos: ... Regular J-inner Matrix-valued Functions and Inverse Problems for Canonical Systems -- Regularization...
Enlace del recurso
Electrónico eBook
10
Publicado 2007
Tabla de Contenidos: ...Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition...
Enlace del recurso
Electrónico eBook
11
por Sharan, Kishori., Sharan, Kishori.
Publicado 2014
Materias: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Enlace del recurso
Electrónico eBook
12
Publicado 2010
Tabla de Contenidos: ... -- The Most Representative Utility Function for Non-Additive Robust Ordinal Regression -- Alternative...
Enlace del recurso
Electrónico eBook
13
Publicado 2015
Tabla de Contenidos: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
Enlace del recurso
Electrónico eBook
14
Publicado 2014
Tabla de Contenidos: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
Enlace del recurso
Electrónico eBook
15
Publicado 2008
Tabla de Contenidos: ... Interactive and Preference-Based Approaches -- Interactive Multiobjective Optimization Using a Set of Additive...
Enlace del recurso
Electrónico eBook
16
Tabla de Contenidos: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
Enlace del recurso
Electrónico eBook
17
Publicado 2008
Tabla de Contenidos: ... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...
Enlace del recurso
Electrónico eBook
18
Publicado 2012
Tabla de Contenidos: ... Operators and Weighted Poincar´e Inequalities.-Additive Schur Complement Approximation for Elliptic Problems...
Enlace del recurso
Electrónico eBook
19
Publicado 2005
Tabla de Contenidos: ... Triangulations -- Convex Hull and Voronoi Diagram of Additively Weighted Points -- New Tools and Simpler...
Enlace del recurso
Electrónico eBook
20
Publicado 2014
Tabla de Contenidos: ... Systems with Cooperating Rules as Function Computing Devices -- Spiking Neural P Systems with Cooperating...
Enlace del recurso
Electrónico eBook