الموضوعات المستخلصة من بحثك.
الموضوعات المستخلصة من بحثك.
بدائل البحث:
constructive computing » construction computing, constructive computation, constructive community
computing programming » computer programming, computers programming
programming process » programming processes, programming problems, programming projects
process context » process control
context a » context _
constructive computing » construction computing, constructive computation, constructive community
computing programming » computer programming, computers programming
programming process » programming processes, programming problems, programming projects
process context » process control
context a » context _
1
بواسطة Atan, Rodziah
منشور في 2005
الموضوعات:
“...Programming languages (Electronic computers)...”منشور في 2005
احصل على النص الكامل
أطروحة
2
منشور في 2006
جدول المحتويات:
“...Invited Talk -- Using Dependent Types to Port Type Systems to Low-Level Languages -- Program...”احصل على النص الكامل
الكتروني
كتاب الكتروني
3
منشور في 2005
جدول المحتويات:
“... -- An Exploratory Application of Constraint Optimization in Mozart to Probabilistic Natural Language Processing -- A...”احصل على النص الكامل
الكتروني
كتاب الكتروني
4
منشور في 2006
جدول المحتويات:
“...Keynotes -- A Value-Based Software Process Framework -- Exploring the Business Process-Software...”احصل على النص الكامل
الكتروني
كتاب الكتروني
5
منشور في 2008
جدول المحتويات:
“... of Japanese Word Associations -- Construction of a Probabilistic Hierarchical Structure Based on a Japanese...”احصل على النص الكامل
الكتروني
كتاب الكتروني
6
منشور في 2015
جدول المحتويات:
“... of Dynamic Process Networks -- MULTIGAIN: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff...”احصل على النص الكامل
الكتروني
كتاب الكتروني
7
منشور في 2015
جدول المحتويات:
“...: The Emergence of Values through the Dialogic Construction of Alterity -- Part II: Educational Contexts Through a...”احصل على النص الكامل
الكتروني
كتاب الكتروني
8
منشور في 2010
جدول المحتويات:
“... Networks Suitable for G 2 Interpolation -- Computing the Distance between Canal Surfaces -- A Subdivision...”احصل على النص الكامل
الكتروني
كتاب الكتروني
9
منشور في 2005
جدول المحتويات:
“... Efficient Verification for a Class of Infinite-State Systems -- Context-Bounded Model Checking of Concurrent...”احصل على النص الكامل
الكتروني
كتاب الكتروني
10
منشور في 2005
جدول المحتويات:
“... with Alzheimer’s Disease: A Comparison of Evolutionary Search, Statistical and Integer Programming Approaches...”احصل على النص الكامل
الكتروني
كتاب الكتروني
11
جدول المحتويات:
“... (backtracking) -- Sorting -- Finite-state algorithms in text processing -- Data types -- Recursion -- Recursive...”
احصل على النص الكامل
احصل على النص الكامل
الكتروني
كتاب الكتروني
12
منشور في 2008
جدول المحتويات:
“... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”احصل على النص الكامل
الكتروني
كتاب الكتروني
13
منشور في 2006
جدول المحتويات:
“... -- Object-Oriented Language Processing -- A Framework for Modular Linking in OO Languages -- Flexible Type...”احصل على النص الكامل
الكتروني
كتاب الكتروني
14
منشور في 2010
جدول المحتويات:
“... Construction Part of SIFT -- Weighted Map for Reflectance and Shading Separation Using a Single Image...”احصل على النص الكامل
الكتروني
كتاب الكتروني
15
منشور في 2010
جدول المحتويات:
“...Invited Talks -- Informative Labeling Schemes -- Noetherian Spaces in Verification -- Towards a...”احصل على النص الكامل
الكتروني
كتاب الكتروني
16
منشور في 2008
جدول المحتويات:
“... -- A Flow-Sensitive Region Inference for CLI -- Context-Sensitive Relevancy Analysis for Efficient...”احصل على النص الكامل
الكتروني
كتاب الكتروني
17
منشور في 2006
جدول المحتويات:
“... for Retrospective Analysis of Release Planning Decisions -- A Qualitative Evaluation Method for Business Process...”احصل على النص الكامل
الكتروني
كتاب الكتروني
18
منشور في 2007
جدول المحتويات:
“... -- Context-Aware Optimal Assignment of a Chain-Like Processing Task onto Chain-Like Resources in M-Health...”احصل على النص الكامل
الكتروني
كتاب الكتروني
19
Natural Language Processing and Information Systems 14th International Conference on Applications...
منشور في 2010
جدول المحتويات:
“... Document Collections via Context-Aware Term Extraction -- AIR: A Semi-Automatic System for Archiving...”احصل على النص الكامل
الكتروني
كتاب الكتروني
20
منشور في 2006
جدول المحتويات:
“... Impulse Responses -- Reversers-A programming language construct for reversing out of code -- Hand-written...”احصل على النص الكامل
الكتروني
كتاب الكتروني