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
Đượ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
3
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
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
Đượ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
6
Được phát hành 2010
Mục lục: ... Algorithm for Some Special Non-rational Matrix Functions -- Structured Primal-dual Interior-point Methods...
lấy văn bản
Điện tử eBook
7
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
8
Được phát hành 2010
Mục lục: ... Imprecise Previsions -- Infinite Exchangeability for Sets of Desirable Gambles -- Ergodicity Conditions...
lấy văn bản
Điện tử eBook
9
Đượ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
10
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
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
Được phát hành 2015
Mục lục: ... of the Conditional Tail Expectation of Heavy-tailed Distributions -- Erich Haeusler and Stefan Horni: On Sequential...
lấy văn bản
Điện tử eBook
13
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
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: ... Semantic Context-Aware Access Control Framework for Secure Collaborations in Pervasive Computing...
lấy văn bản
Điện tử eBook
16
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
17
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
18
Đượ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
19
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
20
Được phát hành 2007
Mục lục: ... of Conditional Possibilistic Preference Functionals -- Conflict Analysis and Merging Operators Selection...
lấy văn bản
Điện tử eBook