Chủ đề được đề xuất trong tìm kiếm của bạn.
Tìm kiếm thay thế:
functionals function » function function, functions functional, function dysfunction
binary functionals » binary functional, linear functionals, energy functionals
parallel programs » parallel programming
programs binary » program bina, programs final, programs board
function https » functions https, fiction https
1
Ảnh bìa
Được phát hành 2010
Mục lục: “... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...”
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 2014
Mục lục: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
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 2005
Mục lục: “... Implementation of the Astrée Static Analyzer -- Using Datalog with Binary Decision Diagrams for Program 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 2014
Mục lục: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
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 2008
Mục lục: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
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 2006
Mục lục: “... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”
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 2005
Mục lục: “...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”
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 2015
Mục lục: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
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 2007
Mục lục: “... Models -- Discovering Non-linear Ranking Functions by Solving Semi-algebraic Systems -- Mobile Ambients...”
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: “... Processor with Variable Length Instructions -- Experiences with Parallelizing a Bio-informatics Program...”
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 2008
Mục lục: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
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 2010
Mục lục: “... Stabbing -- Dispatching Equal-Length Jobs to Parallel Machines to Maximize Throughput -- Online Function...”
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 2010
Mục lục: “... -- Compact Rich-Functional Binary Relation Representations -- Radix Cross-Sections for Length Morphisms...”
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 2005
Mục lục: “... -- Practical Evaluation of Efficient Fitness Functions for Binary Images -- Selective SVMs Ensemble Driven...”
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: “... Loopless Gray Code for Minimal Signed-Binary Representations -- Efficient Approximation Schemes...”
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 2014
Mục lục: “...Zero-Suppressed Binary Decision Diagrams Resilient to Index Faults -- On Partial Vertex Cover...”
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 2014
Mục lục: “... in Mathematical Knowledge Management -- Discourse-Level Parallel Markup and Meaning Adoption in Flexiformal Theory...”
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 2010
Mục lục: “...Green Computing and Health Care Informatics -- Lot-Size Planning with Non-linear Cost Functions...”
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 2007
Mục lục: “... Execution of Parallel Processes: Penetrating NATs over the Grid -- Parallelization of C# Programs Through...”
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 2006
Mục lục: “... for Axis-Parallel Rectangles -- Single Machine Precedence Constrained Scheduling Is a Vertex Cover Problem...”
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