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