Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
programs constructive » program construction, program constructing, problem constructive
intervals computing » interval computing, intervals comparing, internet computing
computing problems » compounding problems, routing problems, computers problems
constructive https » construction https, constructive type, constructive help
problems programs » problems progress, problems problems, programs program
programs constructive » program construction, program constructing, problem constructive
intervals computing » interval computing, intervals comparing, internet computing
computing problems » compounding problems, routing problems, computers problems
constructive https » construction https, constructive type, constructive help
problems programs » problems progress, problems problems, programs program
1
Опубликовано 2013
Оглавление:
“...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2008
Оглавление:
“... Problems -- Fitness-Distance Correlation and Solution-Guided Multi-point Constructive Search for CSPs...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2005
Оглавление:
“... -- Verifying Programs with Dynamic 1-Selector-Linked Structures in Regular Model Checking -- Simulation-Based...”Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2007
Оглавление:
“... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2006
Оглавление:
“... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2014
Оглавление:
“...-complete -- Characterization of Binary Constraint System Games -- Fast Algorithms for Constructing Maximum...”Полный текст
Электронный ресурс
eКнига
7
Опубликовано 2010
Оглавление:
“... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”Полный текст
Электронный ресурс
eКнига
8
Опубликовано 2010
Оглавление:
“.... Probabilistic Computation -- Probabilistic Automata on Finite Words: Decidable and Undecidable Problems -- Space...”Полный текст
Электронный ресурс
eКнига
9
Опубликовано 2006
Оглавление:
“... for Computing Variants of the Longest Common Subsequence Problem -- Session 5B: Graphs -- Constructing Labeling...”Полный текст
Электронный ресурс
eКнига
10
Опубликовано 2014
Оглавление:
“... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”Полный текст
Электронный ресурс
eКнига
11
Опубликовано 2005
Оглавление:
“... in Crossover Designs -- Bias in Estimating the Variance of K-Fold Cross-Validation -- Effective Construction...”Полный текст
Электронный ресурс
eКнига
12
Опубликовано 2012
Оглавление:
“... (Bulgaria).-A Computational Approach for Remediation Procedures in Horizontal Subsurface Flow Constructed...”Полный текст
Электронный ресурс
eКнига
13
Опубликовано 2005
Оглавление:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”Полный текст
Электронный ресурс
eКнига
14
Опубликовано 2008
Оглавление:
“...Invited Talks -- The Computability Path Ordering: The End of a Quest -- The Joy of String Diagrams...”Полный текст
Электронный ресурс
eКнига
15
Опубликовано 2005
Оглавление:
“... -- ASP Extensions -- Guarded Open Answer Set Programming -- External Sources of Computation for Answer...”Полный текст
Электронный ресурс
eКнига
16
Опубликовано 2006
Оглавление:
“... Satisfaction Problems -- On the Representation of Kleene Algebras with Tests -- From Three Ideas in TCS...”Полный текст
Электронный ресурс
eКнига
17
Опубликовано 2008
Оглавление:
“... Problems for Probabilistic Büchi Automata -- Model-Checking ?-Regular Properties of Interval Markov Chains...”Полный текст
Электронный ресурс
eКнига
18
Опубликовано 2006
Оглавление:
“... Data -- Subdivision Depth Computation for Extra-Ordinary Catmull-Clark Subdivision Surface Patches...”Полный текст
Электронный ресурс
eКнига
19
Опубликовано 2010
Оглавление:
“... Footprinting -- Learning Network from High-Dimensional Array Data -- Computational Methods for Predicting...”Полный текст
Электронный ресурс
eКнига
20
Опубликовано 2014
Оглавление:
“... -- Certified Calibration of a Cable-Driven Robot Using Interval Contractor Programming, by J. A. Sandretto, G...”Полный текст
Электронный ресурс
eКнига
- 1
- 2
- 3
- Следующий »
- [3]