在您的搜尋 主題建議
搜索替代詞:
computational programming » computation programming, computational program, computing programming
functions computational » functions computation, function computation, directions computational
programming recursion » programming decision, programming session, programming decisions
recursion based » recursion case, reception based, recursion focused
1
封面圖片
出版 2006
書本目錄: “... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
2
封面圖片
出版 2005
書本目錄: “... Evaluation of (Co)Recursive Functions -- A Virtual Machine for Functional Logic Computations -- Source-Based...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
3
封面圖片
出版 2008
書本目錄: “... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
4
封面圖片
出版 2010
書本目錄: “... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
5
封面圖片
出版 2010
書本目錄: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
6
封面圖片
出版 2007
書本目錄: “... -- On Finitely Recursive Programs -- Minimal Logic Programs -- Generic Tableaux for Answer Set Programming...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
7
封面圖片
出版 2013
書本目錄: “... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
8
封面圖片
出版 2006
書本目錄: “...Types for Hierarchic Shapes -- Linear Regions Are All You Need -- Type-Based Amortised Heap-Space...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
9
封面圖片
出版 2005
書本目錄: “...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
10
封面圖片
出版 2014
書本目錄: “...Software Verification -- The Spirit of Ghost Code -- SMT-Based Model Checking for Recursive...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
11
封面圖片
出版 2010
書本目錄: “... Fuzzy Inference -- PlanGraph: An Agent-Based Computational Model for Handling Vagueness in Human-GIS...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
12
封面圖片
出版 2006
書本目錄: “... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
13
封面圖片
出版 2007
書本目錄: “...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
14
封面圖片
出版 2005
書本目錄: “.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
15
封面圖片
出版 2013
書本目錄: “...-Physical Systems -- Embedding Functions into Disjunctive Logic Programs -- Reactive Designs of Interrupts...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
16
封面圖片
出版 2007
書本目錄: “...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
17
封面圖片
出版 2005
書本目錄: “... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
18
封面圖片
出版 2008
書本目錄: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
19
封面圖片
出版 2005
書本目錄: “... on CoInductive Streams, an Application to Eratosthenes’ Sieve -- Recursive Functions with Higher Order Domains...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
20
封面圖片
出版 2010
書本目錄: “...: An Automata-Based String Analysis Tool for PHP -- Automata Theory -- When Simulation Meets Antichains...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
檢索工具: 得到RSS訂閱 — 推薦此搜索 — 保存搜索