Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs complexity » problems complexity, programming complexity, problem complexity
function computing » education computing, generation computing
https function » its function, sites function, ups function
programs complexity » problems complexity, programming complexity, problem complexity
function computing » education computing, generation computing
https function » its function, sites function, ups function
1
Table of Contents:
“... Depth Circuits -- Part V Branching Programs -- Part VI Fragments of Proof Complexity -- A Epilog -- B...”
View full text
View full text
Electronic
eBook
2
Published 2011
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Systems -- Complexity Analysis by Rewriting -- Rewriting and Call-Time Choice: The HO Case -- Program...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”View full text
Electronic
eBook
5
Table of Contents:
“...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
View full text
View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”View full text
Electronic
eBook
7
Table of Contents:
“...The Unified Art Architecture -- An Application of Unified Computational Intelligence -- The Time...”
View full text
View full text
Electronic
eBook
8
Table of Contents:
“... for variance estimation in ?PS sampling -- Fast Bayesian functional data analysis of basal body temperature...”
View full text
View full text
Electronic
eBook
9
Table of Contents:
“... Complexity -- The Complexity of Boolean Functions....”
View full text
View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”View full text
Electronic
eBook
11
Published 2012
Subjects:
“...Computation by Abstract Devices. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook
12
Published 2015
Table of Contents:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”View full text
Electronic
eBook
13
Published 2014
Table of Contents:
“... of objects, state explosion-like phenomena -- Circuit complexity of Boolean functions and related measures...”View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“... by grammars -- On the Complexity and Decidability of Some Problems Involving Shue -- On the Computational...”View full text
Electronic
eBook
15
Published 2013
Subjects:
“...Computation by Abstract Devices. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook
16
Published 2011
Subjects:
“...Computation by Abstract Devices. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...”View full text
Electronic
eBook
20
by Cowling, Michael., Cowling, Michael., Frenkel, Edward., Kashiwara, Masaki., Valette, Alain., Vogan, David A., Wallach, Nolan R.
Published 2008
Table of Contents:
“...) -- Ramifications of the Geometric Langlands Program -- Equivariant Derived Category and Representation of Real...”Published 2008
View full text
Electronic
eBook