1
Publicado 2012
Tabla de Contenidos: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
Enlace del recurso
Electrónico eBook
2
Publicado 2013
Tabla de Contenidos: ... -- Dependently-typed Programming in Scientific Computing: Examples from economic modelling -- Engineering Proof...
Enlace del recurso
Electrónico eBook
3
Tabla de Contenidos: ... -- Single-stage SLP Models -- Introduction -- Models involving Probability Functions -- Quantile Functions...
Enlace del recurso
Electrónico eBook
4
Publicado 2015
Tabla de Contenidos: ...Recursion theory and mathematical logic -- Computational complexity and Boolean functions -- Graph...
Enlace del recurso
Electrónico eBook
5
por Comninos, Peter., Comninos, Peter.
Publicado 2006
Tabla de Contenidos: ... Lighting and Shading Models and Rendering Algorithms....
Enlace del recurso
Electrónico eBook
6
Tabla de Contenidos: ... and Recursive Definitions -- Proofs by Induction -- Games and Strategies -- Part II: Modelling Computing Systems...
Enlace del recurso
Electrónico eBook
7
Publicado 2008
Tabla de Contenidos: ... -- Automatic Invention of Fitness Functions with Application to Scene Generation -- Manipulating Artificial...
Enlace del recurso
Electrónico eBook
8
Publicado 2010
Tabla de Contenidos: ... -- Markov Chain Models for Genetic Algorithm Based Topology Control in MANETs -- Particle Swarm Optimization...
Enlace del recurso
Electrónico eBook
9
por Albert, Jim., Albert, Jim.
Publicado 2007
Tabla de Contenidos: ... -- to Bayesian Computation -- Markov Chain Monte Carlo Methods -- Hierarchical Modeling -- Model Comparison...
Enlace del recurso
Electrónico eBook
10
Tabla de Contenidos: ...IP Meta-Models for SoC Assembly and HW/SW Interfaces -- Functional Models -- Testbench Models...
Enlace del recurso
Electrónico eBook
11
Publicado 2013
Tabla de Contenidos: ... Based on a Kind of Improved Functional-Structural Model and Component Technology -- Edge Geometric...
Enlace del recurso
Electrónico eBook
12
Tabla de Contenidos: ...Getting Started -- Flow of Control -- File Input and Output -- Pointers -- Blocks, Functions...
Enlace del recurso
Electrónico eBook
13
Tabla de Contenidos: .... Low Level Design Flow. Debugging Reconfigurable Computing Applications. Summary -- Signal Processing...
Enlace del recurso
Electrónico eBook
14
Tabla de Contenidos: ... for Autonomic Computing -- Autonomic Computing Architectures -- The Monitoring Function -- The Adaptation...
Enlace del recurso
Electrónico eBook
15
Publicado 2013
Tabla de Contenidos: ... Surface: What Can We Gain from Computational Chemistry.- Modeling the Intermolecular Interactions...
Enlace del recurso
Electrónico eBook
16
Tabla de Contenidos: ...Operators and Equations -- The Newton Kantorovich (NK) Method -- Applications of the Weaker Version...
Enlace del recurso
Electrónico eBook
17
Publicado 2008
Tabla de Contenidos: ... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...
Enlace del recurso
Electrónico eBook
18
por Lew, Art., Lew, Art., Mauch, Holger.
Publicado 2007
Tabla de Contenidos: ...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...
Enlace del recurso
Electrónico eBook
19
por Hermes, Dan., Hermes, Dan.
Publicado 2015
Materias: ...Computer programming....
Enlace del recurso
Electrónico eBook
20
Publicado 2007
Tabla de Contenidos: ... Computational Discovery of Chemical Reaction Networks Using Genetic Programming -- Discovery of Genetic Networks...
Enlace del recurso
Electrónico eBook