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