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