1
יצא לאור 2008
תוכן הענינים: ...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
מאת Barker, Philip., Barker, Philip.
יצא לאור 2007
תוכן הענינים: ... -- The Binomial Model -- Analytical Option Pricing Methods -- Sensitivity Measures (The ‘Greeks’) -- Interest Rate...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
יצא לאור 2007
תוכן הענינים: ... -- Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures -- Revamping TVLA...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
4
מאת Anthony, Greg., Anthony, Greg.
יצא לאור 2005
תוכן הענינים: ... and Structures -- Part Two Bi-design; Function-oriented Designing Strategies -- Part Three Untangled Web; One...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
5
יצא לאור 2006
תוכן הענינים: ... Methods for Building Initial Partitions -- TMG: A MATLAB Toolbox for Generating Term-Document Matrices...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
6
יצא לאור 2010
תוכן הענינים: ... -- Prediction of Business Process Model Quality Based on Structural Metrics -- Modelling Functional Requirements...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
7
יצא לאור 2010
תוכן הענינים: ... of Social Choice Functions -- Signatures for Assessment, Diagnosis and Decision-Making in Ageing -- A...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
8
מאת Forst, Wilhelm., Forst, Wilhelm., Hoffmann, Dieter.
יצא לאור 2010
תוכן הענינים: ... Methods -- 7. Semidefinite Optimization: Selected Special Cases, The S-Procedure, The Function log°det...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
9
יצא לאור 2015
תוכן הענינים: ...Part I -- Chapter 1 - A Research Agenda for the Study of Entropic Social Structural Evolution...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
10
תוכן הענינים: ... and testing -- Re-estimation: introduction to more advanced estimation methods -- Examples of models...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
11
יצא לאור 2014
תוכן הענינים: ... Assistant Program -- Computational Tools for Designing Smart Libraries -- Computational Tools for Directed...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
12
יצא לאור 2010
תוכן הענינים: ... for Computing Optimal Coalition Structures in Non-linear Logistics Domains -- Collaborative Systems -- Moral...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
13
יצא לאור 2014
תוכן הענינים: ... Window Functions for Speech Enhancement -- Methods for Estimation of Structural State of Alkali Feldspars...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
14
יצא לאור 2007
תוכן הענינים: ...Formal Methods in Usability Engineering -- User-Centered Methods Are Insufficient for Safety...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
15
נושאים: ...Computers....
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
16
יצא לאור 2006
תוכן הענינים: ...-Way Contingency Tables, Especially Those Computed forMultiresponces -- Visualizing Latent Structures...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
17
יצא לאור 2008
תוכן הענינים: ... Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
18
יצא לאור 2007
תוכן הענינים: ... Of The Information And Knowledge In Det -- Business Intelligence System For Strategic Decision Making In Machine-Tool...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
19
יצא לאור 2006
תוכן הענינים: ... Equations Coupled by a Vanishing Mutual Repulsion -- Inverse Linear Programming -- Second-Order Conditions...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
20
יצא לאור 2011
תוכן הענינים: ... Geometric Algebra -- Part III: Image Processing -- Quaternion Atomic Function for Image Processing -- Color...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני