Chủ đề được đề xuất trong tìm kiếm của bạn.
Tìm kiếm thay thế:
functions computation » functions composition, function composition, functional composition
function computation » function computing, function decomposition, section computational
using theory » nursing theory, queuing theory, testing theory
theory can » theory case
1
Ả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:
2
Ảnh bìa
Được phát hành 2013
Mục lục: “... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
3
Ảnh bìa
Mục lục: “... Linear Models -- Functional Principal Components -- Canonical Correlation -- Functional Cluster Analysis...”
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 2013
Mục lục: “... Reasoning in Description Logics with Functionality Constraints -- Toward a Theory of Self-explaining...”
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 2006
Mục lục: “... Sequences -- Functional Equations in Shostak Theories -- All Semi-local Longest Common Subsequences...”
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: “... 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:
7
Ảnh bìa
Mục lục: “... for Autonomic Computing -- Autonomic Computing Architectures -- The Monitoring Function -- The Adaptation...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
8
Ảnh bìa
Bằng Lew, Art., Lew, Art., Mauch, Holger.
Được phát hành 2007
Mục lục: “...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
9
Ảnh bìa
Bằng Klawonn, Frank., Klawonn, Frank.
Được phát hành 2012
Mục lục: “... Reality -- Useful Links -- Example Programs -- References to Java 2D Classes and Methods -- References...”
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 2008
Mục lục: “... System Solver Using Optimized Libraries and Parallel Computation -- Parallelisation of the CFD Code of a...”
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 2007
Mục lục: “... -- Volume Computation Using a Direct Monte Carlo Method -- Improved Throughput Bounds for Interference-Aware...”
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 2013
Mục lục: “... of Prostate Cancer Using Computational Evolution, Pareto-Optimization and Post-Processing -- Meta-dimensional...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
13
Ả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:
14
Ảnh bìa
Mục lục: “...Convex Functions on Intervals -- Comparative Convexity on Intervals -- Convex Functions on a Normed...”
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 2007
Mục lục: “... of Generalized Satisfiability for Linear Temporal Logic -- Formalising the ?-Calculus Using Nominal Logic...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
16
Ảnh bìa
Bằng Ashlock, Daniel., Ashlock, Daniel.
Được phát hành 2006
Mục lục: “... Robotics -- Evolving Logic Functions -- ISAc List: Alternative Genetic Programming -- Graph-Based...”
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 2015
Mục lục: “... with P Systems Using Antimatter -- Tissue P systems can be Simulated Efficiently with Counting Oracles...”
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 2008
Mục lục: “... in Vehicles -- Finding Corrupted Computers Using Imperfect Intrusion Prevention System Event Data -- Security...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
19
Ảnh bìa
Bằng Pitt-Francis, Joe., Pitt-Francis, Joe., Whiteley, Jonathan.
Được phát hành 2012
Mục lục: “... Using MPI -- Designing Object–Oriented Numerical Libraries -- Linear Algebra -- Other Programming...”
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 Holt, Alan., Holt, Alan.
Được phát hành 2008
Mục lục: “...Fundamentals of the J Programming Language -- Programming in J -- Network Calculus -- Stochastic...”
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