1
par Liu, G.R., Liu, G.R., Gu, Y.T.
Publié 2005
Table des matières: ...Fundamentals -- Overview of Meshfree Methods -- Meshfree Shape Function Construction -- Meshfree...
Accéder au texte intégral
Électronique eBook
2
Publié 2008
Table des matières: ... -- Experiences with Functional Programming in an Introductory Curriculum -- Learning Programming with the PBL...
Accéder au texte intégral
Électronique eBook
3
par Hunt, John., Hunt, John.
Publié 2014
Table des matières: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
Accéder au texte intégral
Électronique eBook
4
Publié 2007
Table des matières: ... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...
Accéder au texte intégral
Électronique eBook
5
Table des matières: ... for variance estimation in ?PS sampling -- Fast Bayesian functional data analysis of basal body temperature...
Accéder au texte intégral
Électronique eBook
6
Table des matières: ...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...
Accéder au texte intégral
Électronique eBook
7
Publié 2010
Table des matières: ... and Maintenance of Mouse Epiblast Stem Cells -- Functional Assays for Hematopoietic Stem Cell Self-Renewal...
Accéder au texte intégral
Électronique eBook
8
Publié 2010
Sujets: ...Programming languages (Electronic computers)....
Accéder au texte intégral
Électronique eBook
9
Publié 2012
Table des matières: ... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...
Accéder au texte intégral
Électronique eBook
10
Publié 2013
Table des matières: ... Dataflow Sensitive Specifications -- Proof -- A Proof Slicing Framework for Program Verification...
Accéder au texte intégral
Électronique eBook
11
Publié 2010
Table des matières: ... of BPMN Models Using Event-B -- Developing Mode-Rich Satellite Software by Refinement in Event B...
Accéder au texte intégral
Électronique eBook
12
Publié 2013
Table des matières: ... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...
Accéder au texte intégral
Électronique eBook
13
Publié 2007
Table des matières: ... Reconstruction of 3D Curves for Quality Control -- 3D Computation of Gray Level Co-occurrence in Hyperspectral...
Accéder au texte intégral
Électronique eBook
14
par Lee, Kent D., Lee, Kent D.
Publié 2014
Table des matières: ...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...
Accéder au texte intégral
Électronique eBook
15
Publié 2013
Table des matières: ... of Unsplittable Flow on a Path -- Content Placement via the Exponential Potential Function Method -- Blocking...
Accéder au texte intégral
Électronique eBook
16
Publié 2008
Table des matières: ...Session 1 -- Perspective Relaxation of Mixed Integer Nonlinear Programs with Indicator Variables...
Accéder au texte intégral
Électronique eBook
17
Publié 2005
Table des matières: ... Resynchronization Therapy -- Methods for Identifying and Tracking Phase Singularities in Computational Models of Re...
Accéder au texte intégral
Électronique eBook
18
Publié 2008
Table des matières: ... Application -- Trustworthy Computing: Theories, Methods, Tools and Experience in China and South East Asia...
Accéder au texte intégral
Électronique eBook
19
par STEMKOSKI, LEE., STEMKOSKI, LEE.
Publié 2015
Table des matières: .... Integrating Third-Party Software -- 8. Introduction to 3D Programming -- 9. Taking Your Games Further...
Accéder au texte intégral
Électronique eBook
20
Table des matières: ... -- The Nearest Neighbor Regression Function Estimate -- The 1-nearest Neighbor Regression Function Estimate -- LP...
Accéder au texte intégral
Électronique eBook