1
منشور في 2006
جدول المحتويات: ... MLPG METHOD -- APPLICATION OF HIGH ORDER BASIS FUNCTIONS IN SOLID MECHANICS BY ELEMENT FREE GALERKIN...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
منشور في 2010
جدول المحتويات: ... Bandwidth Use for Matrix-Vector Multiplication in Iterative Methods -- Design of a Financial Application...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
جدول المحتويات: ... -- Limits and Continuity of Functions -- The Derivative of a Function -- Applications of the Derivative...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
بواسطة Ashlock, Daniel., Ashlock, Daniel.
منشور في 2006
جدول المحتويات: ... Robotics -- Evolving Logic Functions -- ISAc List: Alternative Genetic Programming -- Graph-Based...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2008
جدول المحتويات: ... Application -- Trustworthy Computing: Theories, Methods, Tools and Experience in China and South East Asia...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
منشور في 2007
جدول المحتويات: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
احصل على النص الكامل
الكتروني كتاب الكتروني
7
منشور في 2014
جدول المحتويات: ... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...
احصل على النص الكامل
الكتروني كتاب الكتروني
8
منشور في 2006
جدول المحتويات: ... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...
احصل على النص الكامل
الكتروني كتاب الكتروني
9
منشور في 2007
جدول المحتويات: ... Computational Discovery of Chemical Reaction Networks Using Genetic Programming -- Discovery of Genetic Networks...
احصل على النص الكامل
الكتروني كتاب الكتروني
10
منشور في 2010
جدول المحتويات: ... of Embedded Software – Impact of ISO DIS 26262 in the Automotive Domain -- Enforcing Applicability of Real...
احصل على النص الكامل
الكتروني كتاب الكتروني
11
بواسطة Barker, Philip., Barker, Philip.
منشور في 2007
جدول المحتويات: ... -- The Binomial Model -- Analytical Option Pricing Methods -- Sensitivity Measures (The ‘Greeks’) -- Interest Rate...
احصل على النص الكامل
الكتروني كتاب الكتروني
12
منشور في 2007
جدول المحتويات: ... Environments -- Application of the XTT Rule-Based Model for Formal Design and Verification of Internet Security...
احصل على النص الكامل
الكتروني كتاب الكتروني
13
بواسطة Koohi, Sina Zangbari
منشور في 2020
الموضوعات: ...Parallel programming (Computer science) - Research...
احصل على النص الكامل
أطروحة
14
منشور في 2012
جدول المحتويات: ... Difference Method Programs -- On a Relationship between Typical Behavior and Initial Conditions of Lagrange’s...
احصل على النص الكامل
الكتروني كتاب الكتروني
15
منشور في 2007
جدول المحتويات: ...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...
احصل على النص الكامل
الكتروني كتاب الكتروني
16
منشور في 2008
جدول المحتويات: ... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...
احصل على النص الكامل
الكتروني كتاب الكتروني
17
منشور في 2010
جدول المحتويات: ... Oscillation of Motion Predicting Function -- Security of Virtualized Applications: Microsoft App-V and VMware...
احصل على النص الكامل
الكتروني كتاب الكتروني
18
منشور في 2015
جدول المحتويات: ... via Primal-Dual Method -- What Percentage of Programs Halt? -- The Parity of Set Systems Under Random...
احصل على النص الكامل
الكتروني كتاب الكتروني
19
بواسطة Klawonn, Frank., Klawonn, Frank.
منشور في 2012
جدول المحتويات: ... Reality -- Useful Links -- Example Programs -- References to Java 2D Classes and Methods -- References...
احصل على النص الكامل
الكتروني كتاب الكتروني
20
منشور في 2014
جدول المحتويات: ...-Independent Assembly of PCR Fragments -- USER-Derived Cloning Methods and Their Primer Design -- Application...
احصل على النص الكامل
الكتروني كتاب الكتروني