在您的搜寻 主题建议
搜索替代词:
constructive computation » constructive communication, constructive communications, construction competitions
computation programming » communication programming, computation programmatic, computing programming
programming constraints » programming constraint, programming constrained, programming constructs
constraints functions » constraint functional, constraint equations, constraints solution
1
封面图片
出版 2008
书本目录: “... Programming Revisited -- Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop...”
获取全文
电子 电子书
加到收藏夹
Saved in:
2
封面图片
出版 2010
书本目录: “... -- ??: Dependent Types without the Sugar -- Haskell Type Constraints Unleashed -- A Functional Framework for Result...”
获取全文
电子 电子书
加到收藏夹
Saved in:
3
封面图片
出版 2005
书本目录: “... Constraints -- A Comparison of Methods for the Computation of Affine Lower Bound Functions for Polynomials...”
获取全文
电子 电子书
加到收藏夹
Saved in:
4
封面图片
出版 2013
书本目录: “... Functional Programs -- Tool Demonstrations Polyglot: Systematic Analysis for Multiple Statechart Formalisms...”
获取全文
电子 电子书
加到收藏夹
Saved in:
5
封面图片
出版 2008
书本目录: “... -- Static Analysis -- A SAT-Based Approach to Size Change Termination with Global Ranking Functions...”
获取全文
电子 电子书
加到收藏夹
Saved in:
6
封面图片
出版 2007
书本目录: “...: Cylindrical Coordinates -- An Algorithm for Construction of Normal Forms -- Computer Algebra: A ‘Classical...”
获取全文
电子 电子书
加到收藏夹
Saved in:
7
封面图片
出版 2008
书本目录: “... -- Interacting Quantum Observables -- Perpetuality for Full and Safe Composition (in a Constructive Setting) -- A...”
获取全文
电子 电子书
加到收藏夹
Saved in:
8
封面图片
出版 2008
书本目录: “... Computation of Cuts Via Random Circulations -- Finding a Maximum Matching in a Sparse Random Graph in O(n...”
获取全文
电子 电子书
加到收藏夹
Saved in:
9
封面图片
出版 2007
书本目录: “... Matching Problems -- Session A6 -- On the Complexity of Hard-Core Set Constructions -- Approximation by DNF...”
获取全文
电子 电子书
加到收藏夹
Saved in:
10
封面图片
出版 2014
书本目录: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
获取全文
电子 电子书
加到收藏夹
Saved in:
11
封面图片
出版 2014
书本目录: “...Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs...”
获取全文
电子 电子书
加到收藏夹
Saved in:
12
封面图片
出版 2010
书本目录: “... Constraints Can Be Resolved – The Lovász Local Lemma and Satisfiability -- Session 1-Track A. Combinatorial...”
获取全文
电子 电子书
加到收藏夹
Saved in:
13
封面图片
出版 2008
书本目录: “... of Computer Networks -- A Comparative Study of Fuzzy Inference Systems, Neural Networks and Adaptive Neuro...”
获取全文
电子 电子书
加到收藏夹
Saved in:
14
封面图片
出版 2007
书本目录: “... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”
获取全文
电子 电子书
加到收藏夹
Saved in:
15
封面图片
出版 2008
书本目录: “... Specialisation of Horn Clauses -- ESOP Invited Talk -- Constructive Mathematics and Functional Programming...”
获取全文
电子 电子书
加到收藏夹
Saved in:
16
封面图片
出版 2005
书本目录: “... -- Focusing the Inverse Method for Linear Logic -- Towards a Typed Geometry of Interaction -- Constraints...”
获取全文
电子 电子书
加到收藏夹
Saved in:
17
封面图片
出版 2005
书本目录: “... -- Can Neural Network Constraints in GP Provide Power to Detect Genes Associated with Human Disease? -- A...”
获取全文
电子 电子书
加到收藏夹
Saved in:
18
封面图片
出版 2013
书本目录: “... Programming Competition: Preliminary Report -- WASP: A native ASP solver based on constraint learning...”
获取全文
电子 电子书
加到收藏夹
Saved in:
19
封面图片
出版 2007
书本目录: “... for Clothing Thermal Functional Performance -- A Question Understanding Model Based on Knowledge Points...”
获取全文
电子 电子书
加到收藏夹
Saved in:
20
封面图片
出版 2010
书本目录: “...D Virtual Agents -- Unbiased Statistics of a Constraint Satisfaction Problem – a Controlled-Bias...”
获取全文
电子 电子书
加到收藏夹
Saved in:
检索工具: 得到RSS订阅 — 推荐此搜索 — 保存搜索