Chủ đề được đề xuất trong tìm kiếm của bạn.
Tìm kiếm thay thế:
https program » steps program, status program, atas program
path programs » batch programs, death programs, health programs
program https » program has, program help
program path » program paths, program part, program pacd
1
Ảnh bìa
Bằng Shankar, A. Udaya., Shankar, A. Udaya.
Được phát hành 2013
Mục lục: “... Unreliable Channels -- Programs, Semantics and Effective Atomicity -- Implements and Compositionality -- SESF...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
2
Ảnh bìa
Bằng Vanderbei, Robert J., Vanderbei, Robert J.
Được phát hành 2014
Mục lục: “... Applications -- Network-Type Problems -- Applications -- Structural Optimization -- The Central Path -- A Path...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
3
Ảnh bìa
Bằng Vanderbei, Robert J., Vanderbei, Robert J.
Được phát hành 2008
Mục lục: “... -- Structural Optimization -- Interior-Point Methods -- The Central Path -- A Path-Following Method -- The KKT...”
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 Addis, Tom., Addis, Tom., Addis, Jan.
Được phát hành 2010
Mục lục: “...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
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 2015
Mục lục: “...-Once Branching Programs (Extended Abstract) -- Fast Algorithms for Diameter-Optimally Augmenting Paths...”
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: “... Analysis in k-Bits -- Path Optimization in Programs and Its Application to Debugging -- Inference of User...”
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: “...Track B: Logic, Semantics, Automata, and Theory of Programming -- Symmetric Groups and Quotient...”
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 2005
Mục lục: “...Invited Talk -- Type Systems for XML -- The Essence of Dataflow Programming -- Data Refinement...”
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: “...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”
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: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
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 2006
Mục lục: “... Degree Bounded MSTs -- Edge Disjoint Paths in Moderately Connected Graphs -- Approximation Algorithms II...”
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: “... Cover on k-Partite k-Uniform Hypergraphs -- Dynamic Programming for Graphs on Surfaces -- Interval...”
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 2014
Mục lục: “...-Optimal Planar Graph Drawings -- Shortest Two Disjoint Paths in Polynomial Time -- Listing Triangles...”
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: “... Incrementalization -- Automatic Program Generation from Formal Specifications using APTS -- Universal Regular Path...”
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 2014
Mục lục: “... and Call-by-Value λ-Calculi -- Grounding Synchronous Deterministic Concurrency in Sequential Programming...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
16
Ảnh bìa
Bằng Denardo, Eric V., Denardo, Eric V.
Được phát hành 2011
Mục lục: “...Chapter 1. Introduction to Linear Programs -- Chapter 2. Spreadsheet Computation -- Chapter 3...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
17
Ảnh bìa
Bằng Beckner, Mark., Beckner, Mark.
Được phát hành 2014
Những chủ đề: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
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 2010
Mục lục: “... -- Secretary Problems via Linear Programming -- Branched Polyhedral Systems -- Hitting Diamonds and Growing...”
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 2013
Mục lục: “... -- Accurate Computation of Sensitizable Paths using Answer Set Programming -- HEX Semantics via Approximation...”
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: “... of Unsplittable Flow on a Path -- Content Placement via the Exponential Potential Function Method -- Blocking...”
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