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
programming semantics » programming mathematics, programming series, programming secrets
general computation » general computational, neural computation, genetic computation
semantics arrays » semantics essays, semantics across, semantics arrow
arrays a » arrays _
1
Ảnh bìa
Được phát hành 2013
Mục lục: “... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”
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 2005
Mục lục: “... Numbers of Arrangements in Practice -- A MAPLE Symbolic-Numeric Program for Solving the 2D-Eigenvalue...”
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 2006
Mục lục: “... Programming -- MetaModelica: A Unified Equation-Based Semantical and Mathematical Modeling Language -- A...”
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: “... Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type...”
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: “... Problems -- Semantic Building Blocks in Genetic Programming -- A Simple Powerful Constraint for Genetic...”
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: “...Memory-Constrained Communication Minimization for a Class of Array Computations -- Forward...”
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 2010
Mục lục: “... with Arrays -- A Semantic Framework for Declassification and Endorsement -- Amortised Resource Analysis...”
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: “... Workflow Nets for Grid Computing -- A Stochastic Semantics for BioAmbients -- A Categorical Observation...”
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: “... -- Implementation of Parallel Numerical Algorithms Using Hierarchically Tiled Arrays -- A Geometric Approach...”
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: “... Programming -- ETAPS Invited Talk -- Verification of Higher-Order Computation: A Game-Semantic Approach...”
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 2010
Mục lục: “... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...”
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: “... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...”
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: “... Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies -- Program...”
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 2008
Mục lục: “...Opening Lecture -- Randomness – A Computational Complexity Perspective -- Invited Papers -- Cracks...”
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 2008
Mục lục: “... Stochastic Games -- Beyond Rank 1: Algebraic Semantics and Finite Models for Coalgebraic Logics -- A Linear...”
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 2006
Mục lục: “... -- A Transformational Semantics of Static Embedded Implications of Normal Logic Programs -- Converting...”
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 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:
18
Ảnh bìa
Được phát hành 2007
Mục lục: “... for Scientific Computations -- OpenMP 3.0 – A Preview of the Upcoming Standard -- Manycores in the Future...”
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: “... -- Analysis of Approximation Algorithms for k-Set Cover Using Factor-Revealing Linear Programs -- A Novel...”
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 2005
Mục lục: “... Components -- Transactions -- A Trace Semantics for Long-Running Transactions -- Practical Application of CSP...”
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