Chủ đề được đề xuất trong tìm kiếm của bạn.
Tìm kiếm thay thế:
computing programming » computer programming, computers programming
detection computing » detection comparing, detection computer, detection combining
theory arrays » theory essays, theory ray, theory harry
arrays via » arrays a
1
Ả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:
2
Ảnh bìa
Được phát hành 2010
Mục lục: “...: Theory and Practice by Example -- Session 1. Software Model Checking -- Invariant Synthesis for Programs...”
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: “... -- Solving First Order Formulae of Pseudo-Regular Theory -- Splicing Array Grammar Systems -- Computer...”
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: “... Factor Unit for FFT Computation -- Trade-Offs Between Voltage Scaling and Processor Shutdown for Low...”
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: “... for Saliency Detection in Images -- Face Image Relighting using Locally Constrained Global Optimization...”
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 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:
7
Ảnh bìa
Được phát hành 2014
Mục lục: “... Theories via Implicit Predicate Abstraction -- SMT-Based Verification of Software Countermeasures against...”
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: “... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”
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 2010
Mục lục: “...EternalS: Mission and Roadmap -- to the EternalS Track: Trustworthy Eternal Systems via Evolving...”
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: “... -- Definability of Accelerated Relations in a Theory of Arrays and Its Applications -- Verification of Composed...”
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: “... of the Anticipatory Reflexes of a Computational Model of the Cerebellum -- Evolving Optimal Swimming in Different...”
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 2005
Mục lục: “... -- Intrusion Detection via Analysis and Modelling of User Commands -- Dynamic Schema Navigation Using Formal...”
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 2005
Mục lục: “... -- Intensional Encapsulations of Database Subsets via Genetic Programming -- Preferred Skyline: A Hybrid Approach...”
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 2014
Mục lục: “...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...”
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: “... 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