Chủ đề được đề xuất trong tìm kiếm của bạn.
Tìm kiếm thay thế:
program functionals » programs functional, program functionality, problem functionals
integer processing » integrated processing, water processing, filter processing
processing program » processing programs, processing programmed, proceedings program
functionals from » functions from, function from, functionals non
from https » from hts
1
Ảnh bìa
Được phát hành 2007
Mục lục: “...Session 1 -- Inequalities from Two Rows of a Simplex Tableau -- Cuts for Conic Mixed-Integer...”
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: “... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”
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: “...Formal Semantics in the Real World -- Speech Processing for Audio Indexing -- Sorting Out...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
4
Ảnh bìa
Bằng Birge, John R., Birge, John R., Louveaux, François.
Được phát hành 2011
Mục lục: “... Programs -- Stochastic Integer Programs -- Evaluating and Approximating Expectations -- Monte Carlo Methods...”
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: “... Pseudorandom Functions in Minicrypt -- On Black-Box Ring Extraction and Integer Factorization -- Extractable...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
6
Ảnh bìa
Bằng Cull, Paul., Cull, Paul., Flahive, Mary., Robson, Robby.
Được phát hành 2005
Mục lục: “... -- Generating Functions -- Nonnegative Difference Equations -- Leslie’s Population Matrix Model -- Matrix...”
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 2007
Mục lục: “... Fuzzy Image Processing -- Integer Programming Methods in Image Processing and Bayes Estimation -- Colour...”
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 2008
Mục lục: “... Feedback Controllers -- Integer Programming Approaches to Access and Backbone IP Network Planning...”
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 2006
Mục lục: “... Function for Facial Expression Recognition -- 3D Motion from Image Derivatives Using the Least Trimmed...”
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 2014
Mục lục: “... -- Diversity Maintenance Perspective: An Analysis of Exploratory Power and Function Optimization in Context...”
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 2007
Mục lục: “... Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations...”
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: “... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
13
Ảnh bìa
Bằng Bennett, Gary., Bennett, Gary., Lees, Brad.
Được phát hành 2015
Những chủ đề: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
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: “... of Procedure Summaries for Integer Programs -- Runtime Verification Based on Register Automata -- Unbounded...”
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: “... Algorithms -- From Logic to Games -- Proving Lower Bounds Via Pseudo-random Generators -- Erd?s Magic...”
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 2014
Mục lục: “... and Presburger Arithmetic -- Synthesising Succinct Strategies in Safety and Reachability Games -- Integer Vector...”
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 2015
Mục lục: “... and Self Reinforced Processes: M. Benaim -- 9 Wave Interaction with Floating Bodies in a Stratified...”
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: “... -- 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:
19
Ảnh bìa
Được phát hành 2011
Mục lục: “...-First Search (Ariadne & Co.) -- 8 Pledge's Algorithm – How to Escape from a Dark Maze -- 9 Cycles...”
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 2008
Mục lục: “... -- Approximating Multi-criteria Max-TSP -- An Integer Programming Algorithm for Routing Optimization in IP Networks...”
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