Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
parameterized program » parameterized problems, parameterized array, parameterized preorder
processing computing » processing computer, processing computational, processing conditions
simple parameterized » time parameterized, complete parameterized, line parameterized
computing simple » computing example, computing implied, computing shape
program https » programs https, program has, program help
parameterized program » parameterized problems, parameterized array, parameterized preorder
processing computing » processing computer, processing computational, processing conditions
simple parameterized » time parameterized, complete parameterized, line parameterized
computing simple » computing example, computing implied, computing shape
program https » programs https, program has, program help
1
Published 2015
Table of Contents:
“... Decision Processes -- Trading Bounds for Memory in Games with Counters -- Decision Problems of Tree...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... -- Computing and using the deviance with classification trees -- Estimation procedures for the false discovery...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... on Computational Methods, Algorithms and Applications -- Phonological Recoding in the Second Language Processing...”View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“... Markov Decision Processes and Simple Stochastic Games -- Controllable-Choice Message Sequence Graphs -- A...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... Evaluation -- Local Computations on Closed Unlabelled Edges: The Election Problem and the Naming Problem -- A...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... -- Complexity of the Satisfiability Problem for a Class of Propositional Schemata -- A Simple n-Dimensional...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... as Acceptors -- On the Processing Power of Protozoa -- Computing Equilibria in Large Games We Play -- A Week...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... Parameterized Matching -- An Optimal Algorithm for Online Square Detection -- A Simple Fast Hybrid Pattern...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Algorithm of Computing the Transitive Closure of a Union of Parameterized Affine Integer Tuple Relations...”View full text
Electronic
eBook
10
Table of Contents:
“...1. Verification Guidelines -- 1.1 The Verification Process -- 1.2 The Verification Methodology...”
View full text
View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... Computations -- Parameterized Learnability of k-Juntas and Related Problems -- On Universal Transfer Learning...”View full text
Electronic
eBook