الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
function computing » education computing, generation computing
problem structures » problem structure, problems structure, problem structuring
structures program » structures programs, structured program, structured programs
computing problem » computing problems, routing problem, computer problem
program https » programs https, program has, program help
function computing » education computing, generation computing
problem structures » problem structure, problems structure, problem structuring
structures program » structures programs, structured program, structured programs
computing problem » computing problems, routing problem, computer problem
program https » programs https, program has, program help
1
منشور في 2013
جدول المحتويات:
“...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2007
جدول المحتويات:
“... Parity Games -- Tree Automata with Memory, Visibility and Structural Constraints -- Enriched ?-Calculi...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS...
منشور في 2013
جدول المحتويات:
“... for Differentiable Functions -- Computing Quantiles in Markov Reward Models -- Parameterized Weighted Containment...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2006
جدول المحتويات:
“... to Dimension Zero-One Laws -- The Connectivity of Boolean Satisfiability: Computational and Structural...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2007
جدول المحتويات:
“... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2010
جدول المحتويات:
“... Randomized Algorithms for 3-SAT -- Quantum Counterfeit Coin Problems -- Session 2A. Data Structure...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2008
جدول المحتويات:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2008
جدول المحتويات:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2006
جدول المحتويات:
“... -- On Complexity of Grammars Related to the Safety Problem -- Models -- Jumbo ?-Calculus -- ?-RBAC: Programming...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2008
جدول المحتويات:
“... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2007
جدول المحتويات:
“... Scheduling -- Improved Results for a Memory Allocation Problem -- Session 8A -- Computational and Structural...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
جدول المحتويات:
“...Overview.-Introduction to Problem Solving.-Introduction to Programming Languages.-Introduction...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2010
جدول المحتويات:
“... Population Using Pooled DNA -- Pathway-Based Functional Analysis of Metagenomes -- Hierarchical Generative...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2011
جدول المحتويات:
“... Programs -- Stochastic Calculus and Stochastic Simulation -- Genomic Sequence Comparison -- Genome...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2005
جدول المحتويات:
“... and Approximability Results -- Quantum Algorithms for a Set of Group Theoretic Problems -- On the Computational...”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2007
جدول المحتويات:
“... and Computations Solving Phylogenetic and Population Genetic Problems with Missing or Genotypic Data -- Improved...”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
منشور في 2015
جدول المحتويات:
“...Recursion theory and mathematical logic -- Computational complexity and Boolean functions -- Graph...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2010
جدول المحتويات:
“... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
منشور في 2013
جدول المحتويات:
“...On the Structure of Reduced Kernel Lattice Bases -- Constant Integrality Gap LP formulations...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
منشور في 2014
جدول المحتويات:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”احصل على النص الكامل
الكتروني
كتاب الكتروني