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
ανά Chesi, Graziano., Chesi, Graziano.
Έκδοση 2011
Πίνακας περιεχομένων: ... -- 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
ανά Živný, Stanislav., Živný, Stanislav.
Έκδοση 2012
Πίνακας περιεχομένων: ... 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...
Λήψη πλήρους κειμένου
Ηλεκτρονική πηγή Ηλ. βιβλίο