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