在您的搜尋 主題建議
搜索替代詞:
computational programming » computation programming, computational program, computing programming
functions computational » functions computation, function computation, directions computational
programming reasoning » programming learning, programming designing, programming evolving
using tools » cutting tools, making tools, mining tools
1
封面圖片
出版 2008
書本目錄: “... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
2
封面圖片
由 Addis, Tom., Addis, Tom., Addis, Jan.
出版 2010
書本目錄: “...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
3
封面圖片
書本目錄: “...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
4
封面圖片
出版 2008
書本目錄: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
5
封面圖片
出版 2010
書本目錄: “...) -- From a Verified Kernel towards Verified Systems -- Reasoning about Computations Using Two-Levels...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
6
封面圖片
由 Hitzler, Pascal.
出版 2011
主題: “...Programming languages (Electronic computers) Semantics....”
圖書
加到收藏夾
Saved in:
7
封面圖片
出版 2007
書本目錄: “...Invited Talks -- Pattern Recognition and Information Fusion Using Belief Functions: Some Recent...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
8
封面圖片
出版 2013
書本目錄: “... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
9
封面圖片
出版 2008
書本目錄: “... -- Functional Verification of Power Gated Designs by Compositional Reasoning -- A Practical Approach to Word...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
10
封面圖片
出版 2010
書本目錄: “... Programs -- Abstract Analysis of Symbolic Executions -- Session 10. Compositional Reasoning -- Automated...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
11
封面圖片
出版 2014
書本目錄: “... and Quality-Based Ranking -- Semantics in Environmental Search Systems. Reasoning Brokerage – New Reasoning...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
12
封面圖片
出版 2007
書本目錄: “.../Dynamic Fault Trees and Event Trees Using Bayesian Networks -- Component Fault Tree Analysis Resolves...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
13
封面圖片
由 Koohi, Sina Zangbari
出版 2020
主題: “...Parallel programming (Computer science) - Research...”
獲取全文
Thesis
加到收藏夾
Saved in:
14
封面圖片
出版 2007
書本目錄: “...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
15
封面圖片
出版 2006
書本目錄: “... FUNCTIONS -- MOVING LEAST SQUARE SPH USING FIXED KERNEL FOR LARGE DEFORMATION ELASTO-PLASTIC ANALYSIS -- A...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
16
封面圖片
出版 2012
書本目錄: “...Introduction to Sassur 2012 -- AdvoCATE: An Assurance Case Automation Toolset -- Towards a Case...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
17
封面圖片
出版 2005
書本目錄: “...: Distributed Algorithms -- Building and Using Quorums Despite any Number of Process of Crashes -- Failure...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
18
封面圖片
出版 2005
書本目錄: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
19
封面圖片
出版 2008
書本目錄: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
20
封面圖片
出版 2010
書本目錄: “... -- Typing Asymmetric Client-Server Interaction -- Equational Reasoning on Ad Hoc Networks -- Towards a...”
獲取全文
電子 電子書
加到收藏夾
Saved in:
檢索工具: 得到RSS訂閱 — 推薦此搜索 — 保存搜索