Альтернативы поиска:
programs problem » programs problems, program problem, programmes problems
linear programs » linear problems, linear programming
problem process » problems process, problems processes, problems progress
process array » processor array, process areas, process barry
https » http
1
Опубликовано 2008
Оглавление: ... Problems -- Semantic Building Blocks in Genetic Programming -- A Simple Powerful Constraint for Genetic...
Полный текст
Электронный ресурс eКнига
2
Опубликовано 2010
Оглавление: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
Полный текст
Электронный ресурс eКнига
3
Опубликовано 2015
Оглавление: ... Problem Arising in Edge Plasma Physics Using Hybrid MPI/OpenMP Programming -- Behavioral Non-Portability...
Полный текст
Электронный ресурс eКнига
4
Опубликовано 2010
Оглавление: ... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...
Полный текст
Электронный ресурс eКнига
5
Опубликовано 2006
Оглавление: ... Versus Suffix Arrays for Locating Patterns in Primary Memory -- Efficient Lazy Algorithms for Minimal...
Полный текст
Электронный ресурс eКнига
6
Опубликовано 2008
Оглавление: ... and the OpenMP Performance -- Exploiting Loop-Level Parallelism for SIMD Arrays Using OpenMP -- OpenMP Extensions...
Полный текст
Электронный ресурс eКнига
7
Опубликовано 2014
Оглавление: ... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...
Полный текст
Электронный ресурс eКнига
8
Опубликовано 2010
Оглавление: ... of Permutations in Arrays -- Regular Linear Temporal Logic with Past -- Model-Checking In-Lined Reference Monitors...
Полный текст
Электронный ресурс eКнига
9
Опубликовано 2014
Оглавление: ... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...
Полный текст
Электронный ресурс eКнига
10
Опубликовано 2015
Оглавление: ... of Uncountable-State Stochastic Processes -- Linearly Ordered Attribute Grammar Scheduling Using SAT-Solving...
Полный текст
Электронный ресурс eКнига
11
Опубликовано 2015
Оглавление: ...BORM-II and UML as accessibility process in knowledge and business modelling -- Planning-Context...
Полный текст
Электронный ресурс eКнига
12
Опубликовано 2007
Оглавление: ... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...
Полный текст
Электронный ресурс eКнига
13
по Johansson, Robert., Johansson, Robert.
Опубликовано 2015
Оглавление: ...1. Introduction to computing with Python -- 2. Vectors, matrices and multidimensional arrays -- 3...
Полный текст
Электронный ресурс eКнига
14
Опубликовано 2015
Оглавление: ... Systems -- A Neurodynamic Optimization Approach to Bilevel Linear Programming -- A Nonlinear Neural...
Полный текст
Электронный ресурс eКнига
15
Опубликовано 2005
Оглавление: ... on Run-Length Encoding -- Linear-Time Construction of Compressed Suffix Arrays Using o(n log n)-Bit...
Полный текст
Электронный ресурс eКнига
16
Опубликовано 2010
Оглавление: ... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...
Полный текст
Электронный ресурс eКнига
17
Опубликовано 2012
Оглавление: ... Operators and Weighted Poincar´e Inequalities.-Additive Schur Complement Approximation for Elliptic Problems...
Полный текст
Электронный ресурс eКнига
18
Опубликовано 2005
Оглавление: ... -- On the Reconstruction of Crystals Through Discrete Tomography -- Binary Tomography by Iterating Linear Programs from...
Полный текст
Электронный ресурс eКнига
19
Опубликовано 2006
Оглавление: ... Satisfaction Problems -- On the Representation of Kleene Algebras with Tests -- From Three Ideas in TCS...
Полный текст
Электронный ресурс eКнига
20
Опубликовано 2006
Оглавление: ... Programming: A Declarative Approach to Solving Search Problems -- Inconsistencies in Ontologies -- Technical...
Полный текст
Электронный ресурс eКнига