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
Table des matières: ...Welcome to the Paradigm Shift -- Getting Started with iPad Development -- Exploring the iPhone...
Accéder au texte intégral
Électronique eBook
3
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
4
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
5
Publié 2007
Table des matières: ... Expression Data Using a Bayesian MCMC Approach -- Comparing Logic Regression Based Methods for Identifying...
Accéder au texte intégral
Électronique eBook
6
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
7
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
8
Table des matières: ... Within an Arbitrary Logical System -- Structured Specifications -- Parameterisation -- Formal Program...
Accéder au texte intégral
Électronique eBook
9
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
10
Publié 2005
Table des matières: ...Classification and Clustering -- Multi-Class Budget Exploratory Trees -- Methods to Compare...
Accéder au texte intégral
Électronique eBook
11
Publié 2005
Table des matières: ... Using Fuzzy Patterns Inside a CBR System -- CBR for State Value Function Approximation in Reinforcement...
Accéder au texte intégral
Électronique eBook
12
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
13
Publié 2010
Sujets: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Accéder au texte intégral
Électronique eBook
14
Publié 2013
Table des matières: ...Manufacturing Innovation and Horizon -- IT Support for Product and Process Development in Japan...
Accéder au texte intégral
Électronique eBook
15
Table des matières: ...Basic Theory of Electromagnetic Scattering -- Null-Field Method -- Simulation Results -- Spherical...
Accéder au texte intégral
Électronique eBook
16
Sujets: ...Statistical Theory and Methods. https://scigraph.springernature.com/ontologies/product-market-codes...
Accéder au texte intégral
Électronique eBook
17
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
18
Table des matières: ...1. Introduction -- 1.1 Functional Diversity Approach To Quantify the Biodiversity -- 1.2 Functional...
Accéder au texte intégral
Électronique eBook
19
Table des matières: ... Modeling Fundamentals -- The Choice of TLA+/TLC: Comparing Formal Methods -- Basic Formal Specification...
Accéder au texte intégral
Électronique eBook
20
par Rochkind, Marc., Rochkind, Marc.
Publié 2013
Sujets: ...Web Development. https://scigraph.springernature.com/ontologies/product-market-codes/I29050...
Accéder au texte intégral
Électronique eBook