Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
composition problem » decomposition problem, compositional problems, competition problems
computing program » comparing programs, computing progress, computing problem
problem https » problem hips, problem has, problem hip
composition problem » decomposition problem, compositional problems, competition problems
computing program » comparing programs, computing progress, computing problem
problem https » problem hips, problem has, problem hip
1
Publicat 2010
Taula de continguts:
“... Information -- Rewriting Measurement-Based Quantum Computations with Generalised Flow -- The Compositional...”Obtenir text complet
Electrònic
eBook
2
Publicat 2010
Taula de continguts:
“... the Partition Function of the Ferromagnetic Potts Model -- Session 7-Track A. Algebraic Problems...”Obtenir text complet
Electrònic
eBook
3
Publicat 2008
Taula de continguts:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Obtenir text complet
Electrònic
eBook
4
Publicat 2008
Taula de continguts:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”Obtenir text complet
Electrònic
eBook
5
Publicat 2006
Taula de continguts:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Obtenir text complet
Electrònic
eBook
6
Publicat 2010
Taula de continguts:
“...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”Obtenir text complet
Electrònic
eBook
7
Taula de continguts:
“... -- Reusable Actions: Functions -- Functional Programming Tools in Python -- Further Reading -- Exercises...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
8
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Publicat 2015
Taula de continguts:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”Obtenir text complet
Electrònic
eBook
9
Publicat 2008
Taula de continguts:
“... Problem -- Decentralized Evolutionary Optimization Approach to the p-Median Problem -- Genetic Computation...”Obtenir text complet
Electrònic
eBook
10
Publicat 2005
Taula de continguts:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”Obtenir text complet
Electrònic
eBook
11
Publicat 2005
Taula de continguts:
“... and Approximability Results -- Quantum Algorithms for a Set of Group Theoretic Problems -- On the Computational...”Obtenir text complet
Electrònic
eBook
12
Publicat 2007
Taula de continguts:
“... Bounds -- A Lower Bound on Web Services Composition -- Logical Characterizations of Bisimulations...”Obtenir text complet
Electrònic
eBook
13
Publicat 2014
Taula de continguts:
“... Automata Using Stochastic Game Abstractions -- On Functions Weakly Computable by Petri Nets and Vector...”Obtenir text complet
Electrònic
eBook
14
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS...
Publicat 2013
Taula de continguts:
“... for Differentiable Functions -- Computing Quantiles in Markov Reward Models -- Parameterized Weighted Containment...”Obtenir text complet
Electrònic
eBook
15
Computer Science - Theory and Applications 8th International Computer Science Symposium in Russia...
Publicat 2013
Taula de continguts:
“... Realizability Problems -- Potential Functions in Strategic Games -- The Probabilistic Min Dominating Set Problem...”Obtenir text complet
Electrònic
eBook
16
Publicat 2005
Taula de continguts:
“... Problems with Accumulative Weight Functions -- Applied Logics and Computing Theory -- Toward an Abstract...”Obtenir text complet
Electrònic
eBook
17
Publicat 2007
Taula de continguts:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”Obtenir text complet
Electrònic
eBook
18
Publicat 2007
Taula de continguts:
“... Complexity: Dependability Confirmation for a Railway Brake System -- Compositional Temporal Fault Tree...”Obtenir text complet
Electrònic
eBook
19
Publicat 2015
Taula de continguts:
“.... Higher Order Hybrid Invexity Frameworks and Discrete Multiobjective Fractional Programming Problems...”Obtenir text complet
Electrònic
eBook
20
Publicat 2010
Taula de continguts:
“... Routing Networks -- Solving the Physical Impairment Aware Routing and Wavelength Assignment Problem...”Obtenir text complet
Electrònic
eBook