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
program functionals » programs functional, program functionality, problem functionals
parallel steps » parallel systems, parallel stripes, parallel stream
function https » functions https, fiction https
steps program » step program, steppe program, step programs
1
Ảnh bìa
Được phát hành 2006
Mục lục: “...Contributions -- A Framework for Point-Free Program Transformation -- Encoding Strategies...”
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: “... in Distributed Environments by Simultaneous Fragmentation and Allocation -- Parallel Architectures -- Function...”
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: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
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: “...-Specific Recombination -- Application of In-Fusion™ Cloning for the Parallel Construction of Escherichia...”
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 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:
6
Ảnh bìa
Được phát hành 2006
Mục lục: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
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: “... -- Superconvergence of Some Linear and Quadratic Functionals for Higher-order Finite Elements -- Time Step...”
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: “... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”
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 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:
10
Ảnh bìa
Được phát hành 2008
Mục lục: “... Steiner Tree Computation in Polynomial-Space -- Fitting a Step Function to a Point Set -- Faster Swap Edge...”
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: “... Stochastic Programming Problems Using Differential Evolution -- Multi Sensor Fusion Using Fitness Adaptive...”
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 2008
Mục lục: “... of Trivium -- Accelerating the Whirlpool Hash Function Using Parallel Table Lookup and Fast Cyclical...”
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: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
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 2006
Mục lục: “... Linear Programming -- A Parallel, Asynchronous Method for Derivative-Free Nonlinear Programs...”
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: “... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...”
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 2007
Mục lục: “... Cores to Evolve Combinational Logic Circuits in Parallel -- An Intrinsic Evolvable Hardware Based...”
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 2008
Mục lục: “... Parallelism in the Phylogenetic Likelihood Function with MPI, Pthreads, and OpenMP: A Performance Study...”
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 2005
Mục lục: “... for Displaying in Small Device -- Automatic Text Summarization Using Two-Step Sentence Extraction -- Sentence...”
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 2010
Mục lục: “... Approximation of Points by a Step Function -- Approximating Multilinear Monomial Coefficients and Maximum...”
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 2013
Mục lục: “...Quantitating Lymphocyte Programmed Cell Death (PCD) In Vitro Using Simple Kill Assays...”
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