在您的搜尋 主題建議
搜索替代詞:
computation programming » communication programming, computation programmatic, computing programming
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
recursion using » recession using, version using, recursion counting
using tools » cutting tools, making tools, mining tools
1
封面圖片
書本目錄: “...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
2
封面圖片
出版 2010
書本目錄: “...) -- From a Verified Kernel towards Verified Systems -- Reasoning about Computations Using Two-Levels...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
3
封面圖片
出版 2013
書本目錄: “... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
4
封面圖片
出版 2005
書本目錄: “... with Recursion -- Determinacy Inference for Logic Programs -- Automatic Verification of Pointer Programs Using...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
5
封面圖片
書本目錄: “... -- Reusable Actions: Functions -- Functional Programming Tools in Python -- Further Reading -- Exercises...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
6
封面圖片
出版 2015
書本目錄: “... Recursive Functions by Virus Machines -- About models derived from colonies....”
獲取全文
電子 電子書
加到收藏夾
Saved in:
7
封面圖片
出版 2010
書本目錄: “... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
8
封面圖片
出版 2007
書本目錄: “...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
9
封面圖片
出版 2005
書本目錄: “... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
10
封面圖片
出版 2008
書本目錄: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
11
封面圖片
出版 2008
書本目錄: “... Software Components for Performance -- Performance Prediction for Black-Box Components Using Reengineered...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
12
封面圖片
出版 2010
書本目錄: “... Universality Checking -- Liveness -- Automated Termination Analysis for Programs with Second-Order Recursion...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
13
封面圖片
出版 2010
書本目錄: “... Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions -- Combining Theorem Proving and Narrowing...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
14
封面圖片
出版 2010
書本目錄: “... Selection Based on Soft Computing Techniques -- Obtaining the Compatibility between Musicians Using Soft...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
15
封面圖片
出版 2015
書本目錄: “...: Termination and Memory Safety of C Programs -- Cascade -- CPAchecker with Support for Recursive Programs...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
16
封面圖片
出版 2008
書本目錄: “... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
17
封面圖片
出版 2006
書本目錄: “... -- Predicate Abstraction of Programs with Non-linear Computation -- A Fresh Look at Testing for Asynchronous...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
18
封面圖片
出版 2005
書本目錄: “... with Different Subspace Classification -- Clustering: Basics -- Using Clustering to Learn Distance Functions...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
19
封面圖片
出版 2010
書本目錄: “... Logical Systems -- The Description Logic for Relational Databases -- Non-Functional Requirements...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
檢索工具: 得到RSS訂閱 — 推薦此搜索 — 保存搜索