Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
preprocessing functionals » processing functional, processing functions, expressing functional
programming preprocessing » programming postprocessing, programming preprocessor, programming processings
parallel programming » parallel processing
functionals function » function function, functions functional, function dysfunction
function https » functions https, fiction https
preprocessing functionals » processing functional, processing functions, expressing functional
programming preprocessing » programming postprocessing, programming preprocessor, programming processings
parallel programming » parallel processing
functionals function » function function, functions functional, function dysfunction
function https » functions https, fiction https
1
Опубликовано 2014
Оглавление:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Полный текст
Электронный ресурс
eКнига
2
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Опубликовано 2013
Оглавление:
“... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2006
Оглавление:
“... Preprocessing Methods for Quantifier Elimination -- Symbolic and Numerical Calculation of Transport Integrals...”Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2006
Оглавление:
“... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2008
Оглавление:
“... Specifications for Distributed Program Synthesis -- Exact OBDD Bounds for Some Fundamental Functions...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2007
Оглавление:
“... 1-Branching Programs of Width 3 -- Formal Translation Directed by Parallel LLP Parsing -- Self...”Полный текст
Электронный ресурс
eКнига