1
di Liu, G.R., Liu, G.R., Gu, Y.T.
Pubblicazione 2005
Sommario: ...Fundamentals -- Overview of Meshfree Methods -- Meshfree Shape Function Construction -- Meshfree...
Testo
Elettronico eBook
2
Pubblicazione 2010
Sommario: ... and Maintenance of Mouse Epiblast Stem Cells -- Functional Assays for Hematopoietic Stem Cell Self-Renewal...
Testo
Elettronico eBook
3
Pubblicazione 2008
Sommario: ... -- Experiences with Functional Programming in an Introductory Curriculum -- Learning Programming with the PBL...
Testo
Elettronico eBook
4
di Hunt, John., Hunt, John.
Pubblicazione 2014
Sommario: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
Testo
Elettronico eBook
5
Pubblicazione 2007
Sommario: ... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...
Testo
Elettronico eBook
6
Pubblicazione 2010
Soggetti: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Testo
Elettronico eBook
7
Pubblicazione 2012
Sommario: ... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...
Testo
Elettronico eBook
8
di Rohde, Charles A., Rohde, Charles A.
Pubblicazione 2014
Soggetti: ...Statistical Theory and Methods. https://scigraph.springernature.com/ontologies/product-market-codes...
Testo
Elettronico eBook
9
Pubblicazione 2013
Sommario: ... Dataflow Sensitive Specifications -- Proof -- A Proof Slicing Framework for Program Verification...
Testo
Elettronico eBook
10
Sommario: ...1. Introduction -- 1.1 Functional Diversity Approach To Quantify the Biodiversity -- 1.2 Functional...
Testo
Elettronico eBook
11
Pubblicazione 2010
Sommario: ... of BPMN Models Using Event-B -- Developing Mode-Rich Satellite Software by Refinement in Event B...
Testo
Elettronico eBook
12
di Barker, Philip., Barker, Philip.
Pubblicazione 2007
Sommario: ... -- The Binomial Model -- Analytical Option Pricing Methods -- Sensitivity Measures (The ‘Greeks’) -- Interest Rate...
Testo
Elettronico eBook
13
Pubblicazione 2005
Sommario: ..., Segmentation, and Tracking -- Analysis of the Interdependencies Among Plaque Development, Vessel Curvature...
Testo
Elettronico eBook
14
di Li, Duan., Li, Duan., Sun, Xiaoling.
Pubblicazione 2006
Sommario: ... Integer Programming -- Nonlinear Integer Programming with a Quadratic Objective Function -- Nonseparable...
Testo
Elettronico eBook
15
Pubblicazione 2008
Sommario: ... – A European Project on Integrating Timing Technology -- Processes, Methods and Tools for Developing...
Testo
Elettronico eBook
16
di Biau, Gérard., Biau, Gérard., Devroye, Luc.
Pubblicazione 2015
Sommario: ... -- The Nearest Neighbor Regression Function Estimate -- The 1-nearest Neighbor Regression Function Estimate -- LP...
Testo
Elettronico eBook
17
di Kall, Peter., Kall, Peter., Mayer, János.
Pubblicazione 2005
Sommario: ...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...
Testo
Elettronico eBook
18
di Talagrand, Michel., Talagrand, Michel.
Pubblicazione 2014
Soggetti: ...Functional Analysis. https://scigraph.springernature.com/ontologies/product-market-codes/M12066...
Testo
Elettronico eBook
19
Sommario: ... Programs -- Stochastic Integer Programs -- Evaluating and Approximating Expectations -- Monte Carlo Methods...
Testo
Elettronico eBook
20
Pubblicazione 2015
Sommario: ... Algorithm -- RADPRE: a Computational Program for Identification of Differential mRNA Processing Including...
Testo
Elettronico eBook