Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs concerning » problems concerning, programs concluding, programs combining
function computing » education computing, generation computing
concerning https » concerning his, concerning autism, concerning ethics
https function » its function, sites function, ups function
programs concerning » problems concerning, programs concluding, programs combining
function computing » education computing, generation computing
concerning https » concerning his, concerning autism, concerning ethics
https function » its function, sites function, ups function
1
Published 2010
Table of Contents:
“... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...”View full text
Electronic
eBook
2
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
3
Published 2010
Table of Contents:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”View full text
Electronic
eBook
4
Table of Contents:
“...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...”
View full text
View full text
Electronic
eBook
5
Published 2008
Table of Contents:
“... in General-Purpose Computations on Current Graphics Processors -- Optimised Computational Functional Imaging...”View full text
Electronic
eBook
6
Subjects:
“...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...”
View full text
View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... Reachability Games -- Quotient Complexity of Closed Languages -- Right-Sequential Functions on Infinite Words...”View full text
Electronic
eBook
8
Published 2012
Table of Contents:
“... Dissortative Mating Genetic Algorithm in Fast Non-stationary Fitness Functions -- A Receding Horizon Genetic...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... for Network Reliability Analysis -- DFT and DRBD in Computing Systems Dependability Analysis -- Development...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... and the Formation of the Earliest Cerebral Cortical Circuits -- Axonal Function -- Sodium Signals...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“... Field -- Self-healing Tile Sets -- Compact Error-Resilient Computational DNA Tilings -- Forbidding...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... for On-Board Satellite Software -- Computational Concerns in the Integration of Unmanned Airborne Systems...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“... Bodies (D. Hug, I. Turk, W. Weil) -- Operator Functional Equations in Analysis (H. Konig, V. Milmann...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... -- Constraint-Directed Search in Computational Finance and Economics -- Constraints, Graphs, Algebra, Logic...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“... -- Computing and using the deviance with classification trees -- Estimation procedures for the false discovery...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... Multiplicative Complexity of Symmetric Functions -- On the Complexity of Limit Sets of Cellular Automata...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“...Trusted and Pervasive Computing -- Foot Shape Analysis of Adult Male in the China -- Intelligent...”View full text
Electronic
eBook
19
Table of Contents:
“... Multiobjective Stochastic Programming -- Chapter 4. Multiobjective Fuzzy Random Programming -- Chapter 5...”
View full text
View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... for Whole Programs in Scratchpad Memory Allocation -- Evolution of NAND Flash Memory Interface -- FCC-SDP: A...”View full text
Electronic
eBook