1
Опубликовано 2003
Оглавление: ... -- Isolation of Polysomal RNA for Microarray Analysis -- Parallel Analysis of Gene Copy Number and Expression...
Полный текст
Электронный ресурс eКнига
2
Опубликовано 2007
Оглавление: ... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...
Полный текст
Электронный ресурс eКнига
3
Опубликовано 2007
Оглавление: ... Between Knowledges -- On Three Closely Related Rough Inclusion Functions -- Rough Set Theory from a Math...
Полный текст
Электронный ресурс eКнига
4
Опубликовано 2010
Оглавление: ... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...
Полный текст
Электронный ресурс eКнига
5
Опубликовано 2013
Оглавление: ... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...
Полный текст
Электронный ресурс eКнига
6
по Astola, Jaakko., Astola, Jaakko., Stankovic, Radomir S.
Опубликовано 2006
Оглавление: ...Sets, Relations, Logic, Functions -- Algebraic Structures For Logic Design -- Functional...
Полный текст
Электронный ресурс eКнига
7
Опубликовано 2014
Оглавление: ... to Answer Set Programming -- Coverage Driven Test Generation and Consistency Algorithm -- A Datalog Engine...
Полный текст
Электронный ресурс eКнига
8
Опубликовано 2015
Оглавление: ...Mutation Testing Process Combined with Test-Driven Development in NET Environment -- Boltzmann...
Полный текст
Электронный ресурс eКнига
9
Оглавление: ... -- MOEA Test Suites -- MOEA Testing and Analysis -- MOEA Theory and Issues -- Applications -- MOEA...
Полный текст
Электронный ресурс eКнига
10
по Kozen, Dexter C., Kozen, Dexter C.
Опубликовано 2006
Оглавление: ... -- The Polynomial-Time Hierarchy -- More on the Polynomial-Time Hierarchy -- Parallel Complexity -- Relation of NC...
Полный текст
Электронный ресурс eКнига
11
Опубликовано 2005
Оглавление: ...Fluid Dynamics -- BESTWIHR: Testing of a Closure Assumption for Fully Developed Turbulent Channel...
Полный текст
Электронный ресурс eКнига
12
Опубликовано 2005
Оглавление: ... Parallel Automata -- Optimal State Assignment of Asynchronous Parallel Automata -- Design of Embedded...
Полный текст
Электронный ресурс eКнига
13
Опубликовано 2008
Оглавление: ... Propositional Theories -- Abstract Answer Set Solvers -- Partial Functions and Equality in Answer Set...
Полный текст
Электронный ресурс eКнига
14
Опубликовано 2006
Оглавление: ... Frameworks -- Regular Talks Theory -- Tableau Calculi for Answer Set Programming -- Declarative Semantics...
Полный текст
Электронный ресурс eКнига
15
Опубликовано 2008
Оглавление: ... Approach -- Rough Sets Theory for Multi-Objective Optimization Problems -- How to Acquire and Structuralize...
Полный текст
Электронный ресурс eКнига
16
Опубликовано 2008
Оглавление: ...Probabilistic Methods and Randomness Properties of Sequences -- Comparison of Point Sets...
Полный текст
Электронный ресурс eКнига
17
Опубликовано 2008
Оглавление: ... Subgroup Problem -- An O *(3.523k ) Parameterized Algorithm for 3-Set Packing -- Indistinguishability...
Полный текст
Электронный ресурс eКнига
18
Опубликовано 2010
Оглавление: ... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...
Полный текст
Электронный ресурс eКнига
19
Опубликовано 2008
Оглавление: ... Problem in Planar Graphs -- Efficiently Testing Sparse GF(2) Polynomials -- Testing Properties of Sets...
Полный текст
Электронный ресурс eКнига
20
Опубликовано 2014
Оглавление: ... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...
Полный текст
Электронный ресурс eКнига