Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function computing » education computing, generation computing
programs complex » programs compiler, programs complete, programs complexity
https function » its function, sites function, ups function
complex https » complexity https, complex atoms, complex atp
function computing » education computing, generation computing
programs complex » programs compiler, programs complete, programs complexity
https function » its function, sites function, ups function
complex https » complexity https, complex atoms, complex atp
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 2008
Table of Contents:
“... Systems -- Complexity Analysis by Rewriting -- Rewriting and Call-Time Choice: The HO Case -- Program...”View full text
Electronic
eBook
3
Published 2011
Subjects:
“...Programming languages (Electronic computers)....”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 2014
Table of Contents:
“... of objects, state explosion-like phenomena -- Circuit complexity of Boolean functions and related measures...”View full text
Electronic
eBook
13
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
14
Published 2013
Subjects:
“...Computation by Abstract Devices. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook
15
Published 2015
Table of Contents:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”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
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
18
Published 2007
Table of Contents:
“... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...”View full text
Electronic
eBook
20
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