الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
interactive computing » interactive computer
computing problems » compounding problems, routing problems, computers problems
program constructs » program construction, program constructing, programming constructs
problems program » problems programs, problem program, problems progress
constructs https » construction https, constructs loops, constructs arti
interactive computing » interactive computer
computing problems » compounding problems, routing problems, computers problems
program constructs » program construction, program constructing, programming constructs
problems program » problems programs, problem program, problems progress
constructs https » construction https, constructs loops, constructs arti
1
منشور في 2015
جدول المحتويات:
“... -- Higher-Order Imperative Programming Languages -- Transfinite Constructions in Classical Type Theory -- A...”احصل على النص الكامل
الكتروني
كتاب الكتروني
2
منشور في 2006
جدول المحتويات:
“... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2010
جدول المحتويات:
“...-Time Calculus: The Causality Problem and Its Solutions -- Computing the Leakage of Information-Hiding...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2014
جدول المحتويات:
“... Tokens -- An Improved Interactive Streaming Algorithm for the Distinct Elements Problem -- A Faster...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2014
جدول المحتويات:
“... -- An Evaluation of Reliability of a Two-Unit Degradable Computing System using Parametric Non-Linear Programming...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2008
جدول المحتويات:
“... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2005
جدول المحتويات:
“...: MPI Support for Computational Grids -- A Practical Tool for Detecting Races in OpenMP Programs...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2007
جدول المحتويات:
“... to Dispersive Electromagnetic Problem -- Strategies for Development of a Parallel Program for Protoplanetary...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2007
جدول المحتويات:
“... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2005
جدول المحتويات:
“... -- Chemical Computing -- Chemical Computing -- Programming Reaction-Diffusion Processors -- From Prescriptive...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
منشور في 2008
جدول المحتويات:
“... with Vampir NG -- ompP: A Profiling Tool for OpenMP -- On the Interaction of Tiling and Automatic...”احصل على النص الكامل
الكتروني
كتاب الكتروني
12
جدول المحتويات:
“...Part I Getting Started -- Building Your First Game Application -- Programming -- Game Programming...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2008
جدول المحتويات:
“... -- Everything Is PSPACE-Complete in Interaction Systems -- A New Approach for the Construction of Multiway...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2007
جدول المحتويات:
“... Program Extraction in the Calculus of Constructions -- Building Decision Procedures in the Calculus...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2008
جدول المحتويات:
“... Resources and Constructing Classic Analysis Systems -- What Types of Translations Hide in Wikipedia...”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2005
جدول المحتويات:
“... in Crossover Designs -- Bias in Estimating the Variance of K-Fold Cross-Validation -- Effective Construction...”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
منشور في 2012
جدول المحتويات:
“... (Bulgaria).-A Computational Approach for Remediation Procedures in Horizontal Subsurface Flow Constructed...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2013
جدول المحتويات:
“... -- Accurate Computation of Sensitizable Paths using Answer Set Programming -- HEX Semantics via Approximation...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
منشور في 2005
جدول المحتويات:
“... Segmentation -- An Interactive EA for Multifractal Bayesian Denoising -- Object Detection for Computer Vision...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
منشور في 2008
جدول المحتويات:
“... Problem -- Decentralized Evolutionary Optimization Approach to the p-Median Problem -- Genetic Computation...”احصل على النص الكامل
الكتروني
كتاب الكتروني