Chủ đề được đề xuất trong tìm kiếm của bạn.
Tìm kiếm thay thế:
computation programming » communication programming, computation programmatic, computing programming
functions computation » function computation, functions composition, function composition
programming reasoning » programming learning, programming designing, programming evolving
reasoning used » reasoning use, reasoning based, reasoning causes
used tools » use tools, user tools, based tools
1
Ảnh bìa
Được phát hành 2008
Mục lục: “... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
2
Ảnh bìa
Bằng Addis, Tom., Addis, Tom., Addis, Jan.
Được phát hành 2010
Mục lục: “...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
3
Ảnh bìa
Bằng O'Donnell, John., O'Donnell, John., Hall, Cordelia., Page, Rex.
Được phát hành 2006
Mục lục: “...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
4
Ảnh bìa
Được phát hành 2008
Mục lục: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
5
Ảnh bìa
Được phát hành 2010
Mục lục: “...) -- From a Verified Kernel towards Verified Systems -- Reasoning about Computations Using Two-Levels...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
6
Ảnh bìa
Bằng Hitzler, Pascal.
Được phát hành 2011
Những chủ đề: “...Programming languages (Electronic computers) Semantics....”
Sách
Lưu vào danh sách
Đã lưu trong:
7
Ảnh bìa
Được phát hành 2007
Mục lục: “...Invited Talks -- Pattern Recognition and Information Fusion Using Belief Functions: Some Recent...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
8
Ảnh bìa
Được phát hành 2013
Mục lục: “... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
9
Ảnh bìa
Được phát hành 2008
Mục lục: “... -- Functional Verification of Power Gated Designs by Compositional Reasoning -- A Practical Approach to Word...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
10
Ảnh bìa
Được phát hành 2010
Mục lục: “... Programs -- Abstract Analysis of Symbolic Executions -- Session 10. Compositional Reasoning -- Automated...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
11
Ảnh bìa
Được phát hành 2014
Mục lục: “... and Quality-Based Ranking -- Semantics in Environmental Search Systems. Reasoning Brokerage – New Reasoning...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
12
Ảnh bìa
Bằng Koohi, Sina Zangbari
Được phát hành 2020
Những chủ đề: “...Parallel programming (Computer science) - Research...”
lấy văn bản
Luận văn
Lưu vào danh sách
Đã lưu trong:
13
Ảnh bìa
Được phát hành 2007
Mục lục: “.../Dynamic Fault Trees and Event Trees Using Bayesian Networks -- Component Fault Tree Analysis Resolves...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
14
Ảnh bìa
Được phát hành 2007
Mục lục: “...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
15
Ảnh bìa
Được phát hành 2006
Mục lục: “... FUNCTIONS -- MOVING LEAST SQUARE SPH USING FIXED KERNEL FOR LARGE DEFORMATION ELASTO-PLASTIC ANALYSIS -- A...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
16
Ảnh bìa
Được phát hành 2012
Mục lục: “...Introduction to Sassur 2012 -- AdvoCATE: An Assurance Case Automation Toolset -- Towards a Case...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
17
Ảnh bìa
Được phát hành 2005
Mục lục: “...: Distributed Algorithms -- Building and Using Quorums Despite any Number of Process of Crashes -- Failure...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
18
Ảnh bìa
Được phát hành 2005
Mục lục: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
19
Ảnh bìa
Được phát hành 2008
Mục lục: “...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
20
Ảnh bìa
Được phát hành 2010
Mục lục: “... -- Typing Asymmetric Client-Server Interaction -- Equational Reasoning on Ad Hoc Networks -- Towards a...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
Công cụ tìm kiếm: Nhận nguồn cấp dữ liệu RSS — Tìm kiếm email này — Lưu tìm kiếm