1
Autor Liu, G.R., Liu, G.R., Gu, Y.T.
Vydáno 2005
Obsah: ...Fundamentals -- Overview of Meshfree Methods -- Meshfree Shape Function Construction -- Meshfree...
Získat plný text
Elektronický zdroj E-kniha
2
Vydáno 2008
Obsah: ... -- Experiences with Functional Programming in an Introductory Curriculum -- Learning Programming with the PBL...
Získat plný text
Elektronický zdroj E-kniha
3
Autor Hunt, John., Hunt, John.
Vydáno 2014
Obsah: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
Získat plný text
Elektronický zdroj E-kniha
4
Vydáno 2007
Obsah: ... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...
Získat plný text
Elektronický zdroj E-kniha
5
Vydáno 2010
Obsah: ... and Maintenance of Mouse Epiblast Stem Cells -- Functional Assays for Hematopoietic Stem Cell Self-Renewal...
Získat plný text
Elektronický zdroj E-kniha
6
Obsah: ...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...
Získat plný text
Elektronický zdroj E-kniha
7
Vydáno 2010
Témata: ...Programming languages (Electronic computers)....
Získat plný text
Elektronický zdroj E-kniha
8
Vydáno 2012
Obsah: ... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...
Získat plný text
Elektronický zdroj E-kniha
9
Obsah: ... for variance estimation in ?PS sampling -- Fast Bayesian functional data analysis of basal body temperature...
Získat plný text
Elektronický zdroj E-kniha
10
Vydáno 2010
Obsah: ... of BPMN Models Using Event-B -- Developing Mode-Rich Satellite Software by Refinement in Event B...
Získat plný text
Elektronický zdroj E-kniha
11
Vydáno 2013
Obsah: ... Dataflow Sensitive Specifications -- Proof -- A Proof Slicing Framework for Program Verification...
Získat plný text
Elektronický zdroj E-kniha
12
Vydáno 2013
Obsah: ... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...
Získat plný text
Elektronický zdroj E-kniha
13
Vydáno 2007
Obsah: ... Reconstruction of 3D Curves for Quality Control -- 3D Computation of Gray Level Co-occurrence in Hyperspectral...
Získat plný text
Elektronický zdroj E-kniha
14
Autor Lee, Kent D., Lee, Kent D.
Vydáno 2014
Obsah: ...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...
Získat plný text
Elektronický zdroj E-kniha
15
Vydáno 2005
Obsah: ... Resynchronization Therapy -- Methods for Identifying and Tracking Phase Singularities in Computational Models of Re...
Získat plný text
Elektronický zdroj E-kniha
16
Vydáno 2008
Obsah: ... Application -- Trustworthy Computing: Theories, Methods, Tools and Experience in China and South East Asia...
Získat plný text
Elektronický zdroj E-kniha
17
Vydáno 2013
Obsah: ... of Unsplittable Flow on a Path -- Content Placement via the Exponential Potential Function Method -- Blocking...
Získat plný text
Elektronický zdroj E-kniha
18
Vydáno 2008
Obsah: ...Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables...
Získat plný text
Elektronický zdroj E-kniha
19
Autor Barker, Philip., Barker, Philip.
Vydáno 2007
Obsah: ... -- The Binomial Model -- Analytical Option Pricing Methods -- Sensitivity Measures (The ‘Greeks’) -- Interest Rate...
Získat plný text
Elektronický zdroj E-kniha
20
Vydáno 2010
Obsah: ... on Functional System-Level Design and Modeling -- Design Automation Model for Application-Specific Processors...
Získat plný text
Elektronický zdroj E-kniha
Vyhledávací nástroje: RSS Poslat emailem Uložit hledání