Chủ đề được đề xuất trong tìm kiếm của bạn.
Tìm kiếm thay thế:
proceedings programme » breeding programme
proceedings program » proceedings from
interval computing » intervals comparing, internet computing, interval counting
contract https » control https, conflict https, contract nets
1
Ảnh bìa
Được phát hành 2006
Mục lục: “... -- Algorithmic Graph Minor Theory: Improved Grid Minor Bounds and Wagner’s Contraction -- Best Student Paper 2006...”
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: “... Bounds on the Approximation of the Exemplar Conserved Interval Distance Problem of Genomes -- Computing...”
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 2008
Mục lục: “... -- Simulation, Orchestration and Logical Clocks -- Session 2. Programming Language Analysis -- CoVaC: Compiler...”
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 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:
5
Ảnh bìa
Được phát hành 2010
Mục lục: “...Comparison of Two Algorithms for Computing Page Importance -- The Invisible Hand for Risk Averse...”
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 2010
Mục lục: “... -- Reasoning about Safety and Progress Using Contracts -- Program Analysis -- Abstract Program Slicing: From...”
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 2015
Mục lục: “... Evolutionary Algorithm Based on Decomposition and Contraction for Many-objective Optimization Problems -- Cell...”
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 2010
Mục lục: “... Recovery -- Formally Efficient Program Instrumentation -- Interval Analysis for Concurrent Trace Programs...”
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 2005
Mục lục: “... Time -- Computing Common Intervals of K Permutations, with Applications to Modular Decomposition...”
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: “... -- Measuring Instability in Normal Residuated Logic Programs: Discarding Information -- Implementing...”
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: “... for Model Checking Trusted Computing Platforms -- The VerCors Tool for Verification of Concurrent Programs...”
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 2014
Mục lục: “... Forgetting -- Computing Repairs for Inconsistent DL-programs over EL Ontologies -- A Prioritized Assertional...”
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 2015
Mục lục: “.... Modularity -- Analyzing Mutable Checkpointing -- High Performance Computing Applications using Parallel Data...”
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 2013
Mục lục: “... Nets and Contracts -- On Efficiency Preorders -- Compiling Cooperative Task Management to Continuations...”
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 2013
Mục lục: “...: Combining Multivariate Time Series and Labelled Interval Sequences for Classification -- Knowledge Discovery...”
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