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
منشور في 2015
جدول المحتويات: ... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...
احصل على النص الكامل
الكتروني كتاب الكتروني
11
منشور في 2013
جدول المحتويات: ... Realizability Problems -- Potential Functions in Strategic Games -- The Probabilistic Min Dominating Set Problem...
احصل على النص الكامل
الكتروني كتاب الكتروني
12
بواسطة Voyiadjis, George Z., Voyiadjis, George Z., Kattan, Peter I.
منشور في 2005
جدول المحتويات: ... of a Lamina -- to Homogenization of Composite Materials -- to Damage Mechanics of Composite Materials....
احصل على النص الكامل
الكتروني كتاب الكتروني
13
بواسطة Üçoluk, Göktürk., Üçoluk, Göktürk., Kalkan, Sinan.
منشور في 2012
جدول المحتويات: ... -- 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...
احصل على النص الكامل
الكتروني كتاب الكتروني