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í:
structuring programs » restructuring program, structured programs, structures programs
problem structuring » problem structure
function computing » education computing, generation computing
computing problem » computing problems, routing problem, computer problem
https » http
structuring programs » restructuring program, structured programs, structures programs
problem structuring » problem structure
function computing » education computing, generation computing
computing problem » computing problems, routing problem, computer problem
https » http
1
Vydáno 2013
Obsah:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”Získat plný text
Elektronický zdroj
E-kniha
2
Vydáno 2007
Obsah:
“... Parity Games -- Tree Automata with Memory, Visibility and Structural Constraints -- Enriched ?-Calculi...”Získat plný text
Elektronický zdroj
E-kniha
3
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS...
Vydáno 2013
Obsah:
“... for Differentiable Functions -- Computing Quantiles in Markov Reward Models -- Parameterized Weighted Containment...”Získat plný text
Elektronický zdroj
E-kniha
4
Vydáno 2007
Obsah:
“... Scheduling -- Improved Results for a Memory Allocation Problem -- Session 8A -- Computational and Structural...”Získat plný text
Elektronický zdroj
E-kniha
5
Vydáno 2006
Obsah:
“... to Dimension Zero-One Laws -- The Connectivity of Boolean Satisfiability: Computational and Structural...”Získat plný text
Elektronický zdroj
E-kniha
6
Vydáno 2007
Obsah:
“... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”Získat plný text
Elektronický zdroj
E-kniha
7
Vydáno 2010
Obsah:
“... Randomized Algorithms for 3-SAT -- Quantum Counterfeit Coin Problems -- Session 2A. Data Structure...”Získat plný text
Elektronický zdroj
E-kniha
8
Vydáno 2008
Obsah:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Získat plný text
Elektronický zdroj
E-kniha
9
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
10
Vydáno 2006
Obsah:
“... -- On Complexity of Grammars Related to the Safety Problem -- Models -- Jumbo ?-Calculus -- ?-RBAC: Programming...”Získat plný text
Elektronický zdroj
E-kniha
11
Vydáno 2008
Obsah:
“... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...”Získat plný text
Elektronický zdroj
E-kniha
12
Vydáno 2011
Obsah:
“... Programs -- Stochastic Calculus and Stochastic Simulation -- Genomic Sequence Comparison -- Genome...”Získat plný text
Elektronický zdroj
E-kniha
13
Obsah:
“...Overview.-Introduction to Problem Solving.-Introduction to Programming Languages.-Introduction...”
Získat plný text
Získat plný text
Elektronický zdroj
E-kniha
14
Vydáno 2005
Obsah:
“... and Approximability Results -- Quantum Algorithms for a Set of Group Theoretic Problems -- On the Computational...”Získat plný text
Elektronický zdroj
E-kniha
15
Vydáno 2010
Obsah:
“... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...”Získat plný text
Elektronický zdroj
E-kniha
16
Vydáno 2013
Obsah:
“...On the Structure of Reduced Kernel Lattice Bases -- Constant Integrality Gap LP formulations...”Získat plný text
Elektronický zdroj
E-kniha
17
Vydáno 2014
Obsah:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Získat plný text
Elektronický zdroj
E-kniha
18
Vydáno 2015
Obsah:
“... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”Získat plný text
Elektronický zdroj
E-kniha
19
Vydáno 2006
Obsah:
“... Answers Using Genetic Programming -- Blindbuilder: A New Encoding to Evolve Lego-Like Structures...”Získat plný text
Elektronický zdroj
E-kniha
20
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