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