在您的搜寻 主题建议
搜索替代词:
programmed constructs » programming constructs, programme contract, programmed instructions
integrated computer » integration computer, integrated computing, interfaces computer
program programmed » program program, programming programmed, programmes programme
constructs https » construction https, constructs loops, constructs arti
1
封面图片
出版 2005
书本目录: “... Programming Based Column Generation -- Group Construction for Airline Cabin Crew: Comparing Constraint...”
获取全文
电子 电子书
加到收藏夹
Saved in:
2
封面图片
出版 2008
书本目录: “... Classifier Models of Coevolution -- Integrating Categorical Variables with Multiobjective Genetic Programming...”
获取全文
电子 电子书
加到收藏夹
Saved in:
3
封面图片
出版 2008
书本目录: “... Programming -- Long Papers -- Constraint Integer Programming: A New Approach to Integrate CP and MIP -- New...”
获取全文
电子 电子书
加到收藏夹
Saved in:
4
封面图片
出版 2013
书本目录: “... -- Language Constructs for Non-Well-Founded Computation -- Laziness by Need -- FliPpr: A Prettier Invertible...”
获取全文
电子 电子书
加到收藏夹
Saved in:
5
封面图片
出版 2008
书本目录: “... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...”
获取全文
电子 电子书
加到收藏夹
Saved in:
6
封面图片
出版 2010
书本目录: “...Invited Talks -- Beluga: Programming with Dependent Types, Contextual Data, and Contexts -- Using...”
获取全文
电子 电子书
加到收藏夹
Saved in:
7
封面图片
出版 2012
书本目录: “... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”
获取全文
电子 电子书
加到收藏夹
Saved in:
8
封面图片
出版 2008
书本目录: “... Specialisation of Horn Clauses -- ESOP Invited Talk -- Constructive Mathematics and Functional Programming...”
获取全文
电子 电子书
加到收藏夹
Saved in:
9
封面图片
出版 2013
书本目录: “...Programming with People: Integrating Human-Based and Digital -- Optimal Register Allocation...”
获取全文
电子 电子书
加到收藏夹
Saved in:
10
封面图片
出版 2013
书本目录: “...Towards Reactive Multi-Context Systems -- Logic Programming in the 1970s -- Integrating Temporal...”
获取全文
电子 电子书
加到收藏夹
Saved in:
11
封面图片
出版 2005
书本目录: “...Invited Papers -- Nonmonotonic Reasoning in FLORA-2 -- Data Integration and Answer Set Programming...”
获取全文
电子 电子书
加到收藏夹
Saved in:
12
封面图片
出版 2006
书本目录: “... -- Constructing Camin-Sokal Phylogenies Via Answer Set Programming -- Automata for Positive Core XPath Queries...”
获取全文
电子 电子书
加到收藏夹
Saved in:
13
封面图片
出版 2013
书本目录: “...On-the-Fly Exact Computation of Bisimilarity Distances -- The Quest for Minimal Quotients...”
获取全文
电子 电子书
加到收藏夹
Saved in:
14
封面图片
出版 2005
书本目录: “... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”
获取全文
电子 电子书
加到收藏夹
Saved in:
15
封面图片
出版 2013
主题: “...Programming languages (Electronic computers)....”
获取全文
电子 电子书
加到收藏夹
Saved in:
16
封面图片
出版 2007
书本目录: “...Data Integration and Query Reformulation in Service-Based Grids -- Towards a Common Deployment...”
获取全文
电子 电子书
加到收藏夹
Saved in:
17
封面图片
由 Thomas, Adrian., Thomas, Adrian.
出版 2008
书本目录: “... Searching & Problem Solving -- Display System and Hardware Programming Primitives -- Computer Hardware...”
获取全文
电子 电子书
加到收藏夹
Saved in:
18
封面图片
出版 2014
书本目录: “... and Size Complexity Analysis of Integer Programs -- Proving Non termination via Safety -- Ranking Templates...”
获取全文
电子 电子书
加到收藏夹
Saved in:
19
封面图片
出版 2007
书本目录: “... -- Exploring Different Constraint-Based Modelings for Program Verification -- An Application of Constraint...”
获取全文
电子 电子书
加到收藏夹
Saved in:
20
封面图片
出版 2011
书本目录: “..., and NMR: Answer Set Programming’s Contributions to Classical Logic: An Analysis of ASP Methodology...”
获取全文
电子 电子书
加到收藏夹
Saved in:
检索工具: 得到RSS订阅 — 推荐此搜索 — 保存搜索