在您的搜尋 主題建議
搜索替代詞:
computation programming » communication programming, computation programmatic, computing programming
functions computation » function computation, functions composition, function composition
programming recursion » programming decision, programming session, programming decisions
recursion practice » reduction practice, revision practice, decoration practice
practice theory » price theory, lattice theory, practice through
1
封面圖片
出版 2006
書本目錄: “... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
2
封面圖片
出版 2006
書本目錄: “... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
3
封面圖片
出版 2013
書本目錄: “... and Implementing Probabilistic Concurrent Systems -- Model-Checking Higher-Order Programs with Recursive Types...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
4
封面圖片
出版 2005
書本目錄: “... with Recursion -- Determinacy Inference for Logic Programs -- Automatic Verification of Pointer Programs Using...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
5
封面圖片
出版 2008
書本目錄: “... of Computer Science -- Recursive Domain Equations of Filter Models -- Algorithmic Problems for Metrics...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
6
封面圖片
出版 2005
書本目錄: “... Evaluation -- Local Computations on Closed Unlabelled Edges: The Election Problem and the Naming Problem -- A...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
7
封面圖片
出版 2013
書本目錄: “... for Differentiable Functions -- Computing Quantiles in Markov Reward Models -- Parameterized Weighted Containment...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
8
封面圖片
出版 2015
書本目錄: “... as an Abstract Data Type -- Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages -- Type...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
9
封面圖片
出版 2010
書本目錄: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
10
封面圖片
出版 2007
書本目錄: “... Completeness for Proof-Terms with Laird’s Dual Affine/Intuitionistic ?-Calculus -- Linear Recursive Functions...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
11
封面圖片
出版 2006
書本目錄: “... Logical Relations for Recursive and Quantified Types -- Approaches to Polymorphism in Classical Sequent...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
12
封面圖片
出版 2007
書本目錄: “...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
13
封面圖片
出版 2010
書本目錄: “... Universality Checking -- Liveness -- Automated Termination Analysis for Programs with Second-Order Recursion...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
14
封面圖片
出版 2006
書本目錄: “... and Structures -- Prefix-Like Complexities and Computability in the Limit -- Partial Continuous Functions...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
15
封面圖片
出版 2007
書本目錄: “...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
16
封面圖片
出版 2015
書本目錄: “...: Termination and Memory Safety of C Programs -- Cascade -- CPAchecker with Support for Recursive Programs...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
17
封面圖片
出版 2005
書本目錄: “... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
18
封面圖片
出版 2008
書本目錄: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
19
封面圖片
出版 2005
書本目錄: “... on CoInductive Streams, an Application to Eratosthenes’ Sieve -- Recursive Functions with Higher Order Domains...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
20
封面圖片
書本目錄: “...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
檢索工具: 得到RSS訂閱 — 推薦此搜索 — 保存搜索