Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
program compositional » program composition, program computational, problem compositional
compositional program » composition programs, computational program, compositional problems
processing problem » processing problems, pressing problems, processing program
problem program » problems programs, program program, problem problem
program https » programs https, program has, program help
program compositional » program composition, program computational, problem compositional
compositional program » composition programs, computational program, compositional problems
processing problem » processing problems, pressing problems, processing program
problem program » problems programs, program program, problem problem
program https » programs https, program has, program help
1
Опубликовано 2008
Оглавление:
“... Problems -- Semantic Building Blocks in Genetic Programming -- A Simple Powerful Constraint for Genetic...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2006
Оглавление:
“...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2010
Оглавление:
“... Post Embedding Problem -- Alternation Removal in Büchi Automata -- Linear Orders in the Pushdown...”Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2008
Оглавление:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2005
Оглавление:
“...Invited Talk -- From Quantum Physics to Programming Languages: A Process Algebraic Approach...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2014
Оглавление:
“... for Piecewise Affine Systems -- Reachability and Mortality Problems for Restricted Hierarchical Piecewise...”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2008
Оглавление:
“... for Automotive Applications -- From MDD to Full Industrial Process: Building Distributed Real-Time Embedded...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2005
Оглавление:
“... Language Semantics Through Logical Form Composition -- Contributed Papers -- Gradience, Constructions...”Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2010
Оглавление:
“... Tool to Find Errors in Task-Based Parallel Programs -- Automated Tuning in Parallel Sorting on Multi...”Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2010
Оглавление:
“... Models and Compositional Models -- Bayesian Networks vs. Evidential Networks: An Application to Convoy...”Полный текст
Электронный ресурс
eКнига
11
Опубликовано 2015
Оглавление:
“... Differential Evolution Approach for Solving Integer Programming Problems -- Liver Disease Diagnosis Using...”Полный текст
Электронный ресурс
eКнига
12
Опубликовано 2005
Оглавление:
“... Concurrent Programs -- Parallelisation of Sequential Programs by Invasive Composition and Aspect Weaving...”Полный текст
Электронный ресурс
eКнига
13
Оглавление:
“...Mathematical Preliminaries -- Elasticity Problems -- Elastoplastic Problems -- Sensitivity Analysis...”
Полный текст
Полный текст
Электронный ресурс
eКнига
14
Опубликовано 2010
Оглавление:
“...Invited Talks -- Analysis of Systems with Stochastic Process Creation -- Verifying Concurrent...”Полный текст
Электронный ресурс
eКнига
15
Опубликовано 2010
Оглавление:
“...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”Полный текст
Электронный ресурс
eКнига
16
Опубликовано 2010
Оглавление:
“...: Runtime Verification and So Much More -- Visual Debugging for Stream Processing Applications -- Runtime...”Полный текст
Электронный ресурс
eКнига
17
Опубликовано 2006
Оглавление:
“... Ontological Structures from Portuguese Written Texts -- Speech Processing -- On the Use of Machine Learning...”Полный текст
Электронный ресурс
eКнига
18
Опубликовано 2014
Оглавление:
“... -- Engineering Optimization Using SOMGA -- Goal Programming Approach to Trans-shipment Problem -- An Efficient...”Полный текст
Электронный ресурс
eКнига
19
Опубликовано 2013
Оглавление:
“... Patterns in Memory -- Synthesis of Circular Compositional Program Proofs via Abduction -- As Soon...”Полный текст
Электронный ресурс
eКнига
20
Опубликовано 2010
Оглавление:
“... Development—Why Current Requirements Engineering Is Flawed ! -- Compositional and Quantitative Model Checking...”Полный текст
Электронный ресурс
eКнига