Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality lower » functionals lower, functionality based, functionality boost
https functionality » its functionality, bags functionality, cross functionality
program computing » program comparing, programs compiling, problem computing
functionality lower » functionals lower, functionality based, functionality boost
https functionality » its functionality, bags functionality, cross functionality
program computing » program comparing, programs compiling, problem computing
1
Table of Contents:
“...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
2
Table of Contents:
“... Processes -- 6. Trees and the Art of Lower Bounds -- 7. Random Fourier Series and Trigonometric Sums, II...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
3
Table of Contents:
“...LOWER LIMB PROSTHESIS -- Importance of Increasing the Functionality of Lower Limb Prostheses...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
4
Table of Contents:
“... Depth Circuits -- Part V Branching Programs -- Part VI Fragments of Proof Complexity -- A Epilog -- B...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
5
Publicado 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Ligazón do recurso
Electrónico
eBook
6
Publicado 2006
Table of Contents:
“...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”Ligazón do recurso
Electrónico
eBook
7
Publicado 2014
Table of Contents:
“... Small Local Memory -- Lower Bounds for Oblivious Subspace Embedding -- Secure Computation Using Leaky...”Ligazón do recurso
Electrónico
eBook
8
Publicado 2015
Table of Contents:
“...Statistical Randomized Encodings: A Complexity Theoretic View -- Tighter Fourier Transform Lower...”Ligazón do recurso
Electrónico
eBook
9
Publicado 2006
Table of Contents:
“... Acyclic Graphs -- Quantum Computing -- Fault-Tolerance Threshold for a Distance-Three Quantum Code...”Ligazón do recurso
Electrónico
eBook
10
Publicado 2007
Table of Contents:
“... -- Session A4 -- Unbounded-Error One-Way Classical and Quantum Communication Complexity -- A Lower Bound...”Ligazón do recurso
Electrónico
eBook
11
Publicado 2010
Table of Contents:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”Ligazón do recurso
Electrónico
eBook
12
Publicado 2013
Table of Contents:
“... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...”Ligazón do recurso
Electrónico
eBook
13
Publicado 2010
Table of Contents:
“.... Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided...”Ligazón do recurso
Electrónico
eBook
14
Publicado 2010
Table of Contents:
“...: Efficient Verification via Secure Computation -- Session 3-Track A1. Data Structures -- Mergeable...”Ligazón do recurso
Electrónico
eBook
15
Publicado 2010
Table of Contents:
“... Computation and Communication -- Session 1A. Approximation Algorithm I -- Faster Algorithms for Feedback Arc...”Ligazón do recurso
Electrónico
eBook
16
Table of Contents:
“.... Bioactive Proteins.- 4. Bioactive Polyphenols and Carotenoids.- Part II: Specific Functional Foods -- 5...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
17
Publicado 2008
Table of Contents:
“... -- Transforming Inconsistent Subformulas in MaxSAT Lower Bound Computation -- Semi-automatic Generation of CHR...”Ligazón do recurso
Electrónico
eBook
18
Publicado 2007
Table of Contents:
“... Bounds -- A Lower Bound on Web Services Composition -- Logical Characterizations of Bisimulations...”Ligazón do recurso
Electrónico
eBook
19
Publicado 2010
Table of Contents:
“... -- Information Complexity of Online Problems -- Algorithmic Lower Bounds for Problems on Decomposable Graphs...”Ligazón do recurso
Electrónico
eBook
20
Publicado 2008
Table of Contents:
“...Tutorials and Invited Lectures -- Inter-deriving Semantic Artifacts for Object-Oriented Programming...”Ligazón do recurso
Electrónico
eBook