Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
program computing » program comparing, programs compiling, problem computing
https functionals » type functionals, data functionals, flaps functional
functionals space » functional space, functional spaces, functions spaces
space https » state https
program computing » program comparing, programs compiling, problem computing
https functionals » type functionals, data functionals, flaps functional
functionals space » functional space, functional spaces, functions spaces
space https » state https
1
Obsah:
“... Spaces or Linear Spaces -- Two-Dimensional Transformations -- Two-Dimensional Clipping -- Three...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
2
Obsah:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
3
Autor Clarkson, Douglas B., Clarkson, Douglas B., Fraley, Chris., Gu, Charles., Ramsay, James.
Vydáno 2005
Obsah:
“...Basis Objects and Operations -- Functional Data Objects and Operations -- Linear Differential...”Vydáno 2005
Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2015
Obsah:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”Získat plný text
Elektronický zdroj
E-kniha
5
Vydáno 2006
Obsah:
“...-functions of Quasi-selfadjoint Contractions -- A Class of Abstract Boundary Value Problems with Locally...”Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2008
Obsah:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Získat plný text
Elektronický zdroj
E-kniha
7
Vydáno 2010
Obsah:
“... for Sublinear Space Functional Programming -- Session 9 -- Liveness of Communicating Transactions (Extended...”Získat plný text
Elektronický zdroj
E-kniha
8
Vydáno 2015
Obsah:
“... Paths in the Solution Space of Boolean Formulas -- Computing the Fréchet Distance Between Polygons...”Získat plný text
Elektronický zdroj
E-kniha
9
Vydáno 2007
Obsah:
“... -- Online Conflict-Free Colorings for Hypergraphs -- Distributed Computing with Advice: Information...”Získat plný text
Elektronický zdroj
E-kniha
10
Vydáno 2010
Obsah:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”Získat plný text
Elektronický zdroj
E-kniha
11
Vydáno 2005
Obsah:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Získat plný text
Elektronický zdroj
E-kniha
12
Vydáno 2013
Obsah:
“... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...”Získat plný text
Elektronický zdroj
E-kniha
13
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Vydáno 2010
Obsah:
“... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”Získat plný text
Elektronický zdroj
E-kniha
14
Vydáno 2010
Obsah:
“.... Probabilistic Computation -- Probabilistic Automata on Finite Words: Decidable and Undecidable Problems -- Space...”Získat plný text
Elektronický zdroj
E-kniha
15
Vydáno 2010
Obsah:
“... and Packing in Linear Space -- Testing 2-Vertex Connectivity and Computing Pairs of Vertex-Disjoint s-t Paths...”Získat plný text
Elektronický zdroj
E-kniha
16
Vydáno 2008
Obsah:
“...: An Early-Stopping Protocol for Computing Aggregate Functions in Sensor Networks -- Easy Consensus...”Získat plný text
Elektronický zdroj
E-kniha
17
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Vydáno 2013
Obsah:
“... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...”Získat plný text
Elektronický zdroj
E-kniha
18
Vydáno 2010
Obsah:
“... Reducibilities -- Streaming Algorithms for Some Problems in Log-Space -- Temperature Aware Online Scheduling...”Získat plný text
Elektronický zdroj
E-kniha
19
Vydáno 2010
Obsah:
“... and Space Reuse -- Optimization of Triangular Matrix Functions in BLAS Library on Loongson2F -- Exposing...”Získat plný text
Elektronický zdroj
E-kniha
20
Vydáno 2010
Obsah:
“... Parallelism: Solving SAT in Bounded Space and Time -- Interpretation of Stream Programs: Characterizing Type 2...”Získat plný text
Elektronický zdroj
E-kniha



