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
מאת Saeed, Walid
יצא לאור 2005
נושאים: ...Programming language(Electronic computer)...
קבל טקסט מלא
Thesis
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
מאת Forst, Wilhelm., Forst, Wilhelm., Hoffmann, Dieter.
יצא לאור 2010
תוכן הענינים: ... 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...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני