1
出版 2006
書本目錄: ... COLLOCATION METHOD TOGETHER WITH RPIM SHAPE FUNCTIONS AND FIC BOUNDARY CONDITIONS -- SYMPLECTIC ANALYSIS...
獲取全文
電子 電子書
2
出版 2007
書本目錄: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
獲取全文
電子 電子書
3
Nisio, Makiko., Nisio, Makiko.
出版 2015
主題: ...Functional analysis....
獲取全文
電子 電子書
4
5
出版 2007
書本目錄: ... Summarization Based on Cluster Using Non-negative Matrix Factorization -- A Program Slicing Based Method...
獲取全文
電子 電子書
6
出版 2010
書本目錄: ... Algorithm for Some Special Non-rational Matrix Functions -- Structured Primal-dual Interior-point Methods...
獲取全文
電子 電子書
7
書本目錄: ... -- Domain of Attraction in Non-polynomial Systems -- Domain of Attraction via Multiple Lyapunov Function...
獲取全文
電子 電子書
8
出版 2010
書本目錄: ... Imprecise Previsions -- Infinite Exchangeability for Sets of Desirable Gambles -- Ergodicity Conditions...
獲取全文
電子 電子書
9
出版 2008
書本目錄: ... -- Verified Methods in Stochastic Traffic Modelling -- Interval Arithmetic Using SSE-2 -- Worst Cases...
獲取全文
電子 電子書
10
書本目錄: ... Methods -- 7. Semidefinite Optimization: Selected Special Cases, The S-Procedure, The Function log°det...
獲取全文
電子 電子書
11
出版 2008
書本目錄: ... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...
獲取全文
電子 電子書
12
出版 2015
書本目錄: ... of the Conditional Tail Expectation of Heavy-tailed Distributions -- Erich Haeusler and Stefan Horni: On Sequential...
獲取全文
電子 電子書
13
Saeed, Walid
出版 2005
...) into an Integer Programming (IP) model, resolved by using the branch and bound search method in order to generate...
獲取全文
Thesis
14
書本目錄: ... Languages -- Chap. 9 The Power of Linear Programming -- Chap. 10 Hybrid Tractability -- Chap. 11 Summary...
獲取全文
電子 電子書
15
出版 2006
書本目錄: ... Semantic Context-Aware Access Control Framework for Secure Collaborations in Pervasive Computing...
獲取全文
電子 電子書
16
Baharum, Nur Auni
出版 2023
... method paired with the appropriate numerical integration method. All the computational procedures were...
獲取全文
Thesis
17
Baharum, Nur Auni
出版 2023
... with the appropriate numerical integration method. All the computational procedures were undertaken using the C...
獲取全文
Thesis
18
出版 2010
書本目錄: ... Definitions of DDL to Support Occlusions and Conditional Post-conditions -- Preservative Translations between...
獲取全文
電子 電子書
19
Srinivasan, R., Srinivasan, R.
出版 2014
書本目錄: ... Programming -- Chapter 3. The Simplex Method -- Chapter 4. Transportation Models and its Variants -- Chapter 5...
獲取全文
電子 電子書
20
出版 2007
書本目錄: ... of Conditional Possibilistic Preference Functionals -- Conflict Analysis and Merging Operators Selection...
獲取全文
電子 電子書