1
Опубликовано 2006
Оглавление: ... COLLOCATION METHOD TOGETHER WITH RPIM SHAPE FUNCTIONS AND FIC BOUNDARY CONDITIONS -- SYMPLECTIC ANALYSIS...
Полный текст
Электронный ресурс eКнига
2
Опубликовано 2007
Оглавление: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Полный текст
Электронный ресурс eКнига
3
по Nisio, Makiko., Nisio, Makiko.
Опубликовано 2015
Предметы: ...Functional analysis....
Полный текст
Электронный ресурс eКнига
4
по Saeed, Walid
Опубликовано 2005
Предметы: ...Programming language(Electronic computer)...
Полный текст
Thesis
5
Опубликовано 2007
Оглавление: ... Summarization Based on Cluster Using Non-negative Matrix Factorization -- A Program Slicing Based Method...
Полный текст
Электронный ресурс eКнига
6
Опубликовано 2010
Оглавление: ... Algorithm for Some Special Non-rational Matrix Functions -- Structured Primal-dual Interior-point Methods...
Полный текст
Электронный ресурс eКнига
7
по Chesi, Graziano., Chesi, Graziano.
Опубликовано 2011
Оглавление: ... -- Domain of Attraction in Non-polynomial Systems -- Domain of Attraction via Multiple Lyapunov Function...
Полный текст
Электронный ресурс eКнига
8
Опубликовано 2010
Оглавление: ... Imprecise Previsions -- Infinite Exchangeability for Sets of Desirable Gambles -- Ergodicity Conditions...
Полный текст
Электронный ресурс eКнига
9
Опубликовано 2008
Оглавление: ... -- Verified Methods in Stochastic Traffic Modelling -- Interval Arithmetic Using SSE-2 -- Worst Cases...
Полный текст
Электронный ресурс eКнига
10
по Forst, Wilhelm., Forst, Wilhelm., Hoffmann, Dieter.
Опубликовано 2010
Оглавление: ... Methods -- 7. Semidefinite Optimization: Selected Special Cases, The S-Procedure, The Function log°det...
Полный текст
Электронный ресурс eКнига
11
Опубликовано 2008
Оглавление: ... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...
Полный текст
Электронный ресурс eКнига
12
Опубликовано 2015
Оглавление: ... of the Conditional Tail Expectation of Heavy-tailed Distributions -- Erich Haeusler and Stefan Horni: On Sequential...
Полный текст
Электронный ресурс eКнига
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
по Živný, Stanislav., Živný, Stanislav.
Опубликовано 2012
Оглавление: ... Languages -- Chap. 9 The Power of Linear Programming -- Chap. 10 Hybrid Tractability -- Chap. 11 Summary...
Полный текст
Электронный ресурс eКнига
15
Опубликовано 2006
Оглавление: ... Semantic Context-Aware Access Control Framework for Secure Collaborations in Pervasive Computing...
Полный текст
Электронный ресурс eКнига
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...
Полный текст
Электронный ресурс eКнига
19
по Srinivasan, R., Srinivasan, R.
Опубликовано 2014
Оглавление: ... Programming -- Chapter 3. The Simplex Method -- Chapter 4. Transportation Models and its Variants -- Chapter 5...
Полный текст
Электронный ресурс eКнига
20
Опубликовано 2007
Оглавление: ... of Conditional Possibilistic Preference Functionals -- Conflict Analysis and Merging Operators Selection...
Полный текст
Электронный ресурс eКнига