1
Được phát hành 2006
Mục lục: ... COLLOCATION METHOD TOGETHER WITH RPIM SHAPE FUNCTIONS AND FIC BOUNDARY CONDITIONS -- SYMPLECTIC ANALYSIS...
lấy văn bản
Điện tử eBook
2
Bằng Nisio, Makiko., Nisio, Makiko.
Được phát hành 2015
Những chủ đề: ...Functional analysis....
lấy văn bản
Điện tử eBook
3
Được phát hành 2007
Mục lục: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
lấy văn bản
Điện tử eBook
4
Bằng Saeed, Walid
Được phát hành 2005
Những chủ đề: ...Programming language(Electronic computer)...
lấy văn bản
Luận văn
5
Bằng Chesi, Graziano., Chesi, Graziano.
Được phát hành 2011
Mục lục: ... -- Domain of Attraction in Non-polynomial Systems -- Domain of Attraction via Multiple Lyapunov Function...
lấy văn bản
Điện tử eBook
6
Bằng Saeed, Walid
Được phát hành 2005
...) into an Integer Programming (IP) model, resolved by using the branch and bound search method in order to generate...
lấy văn bản
Luận văn
7
Được phát hành 2007
Mục lục: ... Summarization Based on Cluster Using Non-negative Matrix Factorization -- A Program Slicing Based Method...
lấy văn bản
Điện tử eBook
8
Được phát hành 2010
Mục lục: ... of Speakers by Name Using Belief Functions -- Constructing Multiple Frames of Discernment for Multiple...
lấy văn bản
Điện tử eBook
9
Bằng Forst, Wilhelm., Forst, Wilhelm., Hoffmann, Dieter.
Được phát hành 2010
Mục lục: ... Methods -- 7. Semidefinite Optimization: Selected Special Cases, The S-Procedure, The Function log°det...
lấy văn bản
Điện tử eBook
10
Được phát hành 2008
Mục lục: ... -- Verified Methods in Stochastic Traffic Modelling -- Interval Arithmetic Using SSE-2 -- Worst Cases...
lấy văn bản
Điện tử eBook
11
Được phát hành 2008
Mục lục: ... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...
lấy văn bản
Điện tử eBook
12
Bằng Baharum, Nur Auni
Được phát hành 2023
... method paired with the appropriate numerical integration method. All the computational procedures were...
lấy văn bản
Luận văn
13
Bằng Baharum, Nur Auni
Được phát hành 2023
... with the appropriate numerical integration method. All the computational procedures were undertaken using the C...
lấy văn bản
Luận văn
14
Bằng Živný, Stanislav., Živný, Stanislav.
Được phát hành 2012
Mục lục: ... Languages -- Chap. 9 The Power of Linear Programming -- Chap. 10 Hybrid Tractability -- Chap. 11 Summary...
lấy văn bản
Điện tử eBook
15
Được phát hành 2006
Mục lục: ... -- Provenance Explorer – Customized Provenance Views Using Semantic Inferencing -- On How to Perform a Gold...
lấy văn bản
Điện tử eBook
16
Bằng Srinivasan, R., Srinivasan, R.
Được phát hành 2014
Mục lục: ... Programming -- Chapter 3. The Simplex Method -- Chapter 4. Transportation Models and its Variants -- Chapter 5...
lấy văn bản
Điện tử eBook
17
Được phát hành 2010
Mục lục: ... Definitions of DDL to Support Occlusions and Conditional Post-conditions -- Preservative Translations between...
lấy văn bản
Điện tử eBook
18
Được phát hành 2007
Mục lục: ...Invited Talks -- Pattern Recognition and Information Fusion Using Belief Functions: Some Recent...
lấy văn bản
Điện tử eBook
19
Được phát hành 2010
Mục lục: ... of Linear Semi-Infinite Programs -- On Equilibrium Problems -- Scalarly Compactness, (S)+-Type Conditions...
lấy văn bản
Điện tử eBook
20
Được phát hành 2005
Mục lục: ... Methods for Shape-Preserving Interpolation, Option Price and Semi-Infinite Programs -- Hölder Regularity...
lấy văn bản
Điện tử eBook