Chủ đề được đề xuất trong tìm kiếm của bạn.
Tìm kiếm thay thế:
programming recursion » programming decision, programming session, programming decisions
computing programming » computer programming, computers programming
functions computing » function computing, functions combining, functions computer
recursion practical » person practical, security practical, preparation practical
practical theory » practice theory, political theory, critical theory
1
Ảnh bìa
Được phát hành 2006
Mục lục: “... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
2
Ảnh bìa
Được phát hành 2006
Mục lục: “... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
3
Ảnh bìa
Được phát hành 2013
Mục lục: “... and Implementing Probabilistic Concurrent Systems -- Model-Checking Higher-Order Programs with Recursive Types...”
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: “... of Computer Science -- Recursive Domain Equations of Filter Models -- Algorithmic Problems for Metrics...”
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 2005
Mục lục: “... Evaluation -- Local Computations on Closed Unlabelled Edges: The Election Problem and the Naming Problem -- A...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
6
Ảnh bìa
Được phát hành 2005
Mục lục: “... with Recursion -- Determinacy Inference for Logic Programs -- Automatic Verification of Pointer Programs Using...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
7
Ảnh bìa
Được phát hành 2010
Mục lục: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
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 2007
Mục lục: “... Completeness for Proof-Terms with Laird’s Dual Affine/Intuitionistic ?-Calculus -- Linear Recursive Functions...”
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 2013
Mục lục: “... for Differentiable Functions -- Computing Quantiles in Markov Reward Models -- Parameterized Weighted Containment...”
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 2015
Mục lục: “... as an Abstract Data Type -- Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages -- Type...”
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 2006
Mục lục: “... Logical Relations for Recursive and Quantified Types -- Approaches to Polymorphism in Classical Sequent...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
12
Ảnh bìa
Được phát hành 2007
Mục lục: “...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
13
Ảnh bìa
Được phát hành 2006
Mục lục: “... and Structures -- Prefix-Like Complexities and Computability in the Limit -- Partial Continuous Functions...”
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: “...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...”
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 2005
Mục lục: “... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”
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 2010
Mục lục: “... Universality Checking -- Liveness -- Automated Termination Analysis for Programs with Second-Order Recursion...”
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 2008
Mục lục: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
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 2015
Mục lục: “...: Termination and Memory Safety of C Programs -- Cascade -- CPAchecker with Support for Recursive Programs...”
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 2005
Mục lục: “... on CoInductive Streams, an Application to Eratosthenes’ Sieve -- Recursive Functions with Higher Order Domains...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
20
Ả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:
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