在您的搜尋 主題建議
在您的搜尋 主題建議
搜索替代詞:
constructive computation » constructive communication, constructive communications, construction competitions
computation programming » communication programming, computation programmatic, computing programming
programming process » programming processes, programming problems, programming projects
process context » process control
context a » context _
constructive computation » constructive communication, constructive communications, construction competitions
computation programming » communication programming, computation programmatic, computing programming
programming process » programming processes, programming problems, programming projects
process context » process control
context a » context _
1
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...”獲取全文
電子
電子書