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
detection computation » detection computational, deduction computation, detection mutation
programming invited » programming inside, programming finite, programming induced
invited array » nested array
1
Ảnh bìa
Được phát hành 2008
Mục lục: “... Cluster Detection over Massive Spatial Data -- An Abstraction Based Communication Efficient Distributed...”
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 2010
Mục lục: “... Graphs -- Maintaining XML Data Integrity in Programs -- Improving Classification Performance with Focus...”
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 2010
Mục lục: “... for Detecting Bugs in Concurrent Programs -- Automatically Proving Linearizability -- Model Checking...”
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 2007
Mục lục: “... and Accurate Static Data-Race Detection for Concurrent Programs -- Parametric and Sliced Causality -- Spade...”
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 2007
Mục lục: “...Invited Lectures -- Rewriting Systems with Data -- Spiking Neural P Systems: Some Characterizations...”
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 2008
Mục lục: “...Invited Papers -- Transforming Abstract Interpretations by Abstract Interpretation -- Reflections...”
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: “... Multiple Operation Array -- RAPANUI: Rapid Prototyping for Media Processor Architecture Exploration -- Data...”
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: “... in Scientific Numeric Computing -- Fast Parallel Suffix Array on the GPU -- Effective Barrier Synchronization...”
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: “... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”
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 2013
Mục lục: “...-Lite -- Verification of Golog Programs over Description Logic Actions -- Invited Talk 3...”
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 2005
Mục lục: “... -- On the Reconstruction of Crystals Through Discrete Tomography -- Binary Tomography by Iterating Linear Programs from...”
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 2006
Mục lục: “... Proteomic Data -- Learning Bayesian Classifiers from Gene-Expression MicroArray Data -- Special Session...”
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: “... Solution -- Principal Components for Automatic Term Hierarchy Building -- Strings -- Computing the Minimum...”
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: “... Streams -- Feature Clustering Method to Detect Monotonic Chain Structures in Symbolic Data -- Symbolic...”
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