الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
compositional programs » compositional program, composition programs, compositional problems
problem compositional » problem computational, problem positional, problems computational
function computing » education computing, generation computing
computing problem » computing problems, routing problem, computer problem
https » http
compositional programs » compositional program, composition programs, compositional problems
problem compositional » problem computational, problem positional, problems computational
function computing » education computing, generation computing
computing problem » computing problems, routing problem, computer problem
https » http
1
منشور في 2014
جدول المحتويات:
“... Automata Using Stochastic Game Abstractions -- On Functions Weakly Computable by Petri Nets and Vector...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2010
جدول المحتويات:
“... Information -- Rewriting Measurement-Based Quantum Computations with Generalised Flow -- The Compositional...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2010
جدول المحتويات:
“... the Partition Function of the Ferromagnetic Potts Model -- Session 7-Track A. Algebraic Problems...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2010
جدول المحتويات:
“...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2008
جدول المحتويات:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2008
جدول المحتويات:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2015
جدول المحتويات:
“... Dust Reinforced Epoxy Composite Using Grey Relational Analysis -- Weight Computation of Alternatives...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2006
جدول المحتويات:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2005
جدول المحتويات:
“... and Approximability Results -- Quantum Algorithms for a Set of Group Theoretic Problems -- On the Computational...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
منشور في 2015
جدول المحتويات:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
Computer Science - Theory and Applications 8th International Computer Science Symposium in Russia...
منشور في 2013
جدول المحتويات:
“... Realizability Problems -- Potential Functions in Strategic Games -- The Probabilistic Min Dominating Set Problem...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
جدول المحتويات:
“... of a Lamina -- to Homogenization of Composite Materials -- to Damage Mechanics of Composite Materials....”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
13
جدول المحتويات:
“... -- Reusable Actions: Functions -- Functional Programming Tools in Python -- Further Reading -- Exercises...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2008
جدول المحتويات:
“... Problem -- Decentralized Evolutionary Optimization Approach to the p-Median Problem -- Genetic Computation...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2005
جدول المحتويات:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2007
جدول المحتويات:
“... Bounds -- A Lower Bound on Web Services Composition -- Logical Characterizations of Bisimulations...”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
منشور في 2007
جدول المحتويات:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2010
جدول المحتويات:
“... Routing Networks -- Solving the Physical Impairment Aware Routing and Wavelength Assignment Problem...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
منشور في 2005
جدول المحتويات:
“... Grid -- Session 1: Grid Computing -- CGSV: An Adaptable Stream-Integrated Grid Monitoring System...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
منشور في 2010
جدول المحتويات:
“...Trusted and Pervasive Computing -- Foot Shape Analysis of Adult Male in the China -- Intelligent...”احصل على النص الكامل
الكتروني
كتاب الكتروني