1
出版 2012
書本目錄: ...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...
獲取全文
電子 電子書
2
出版 2013
書本目錄: ... -- Dependently-typed Programming in Scientific Computing: Examples from economic modelling -- Engineering Proof...
獲取全文
電子 電子書
3
書本目錄: ... Lighting and Shading Models and Rendering Algorithms....
獲取全文
電子 電子書
4
書本目錄: ... -- Single-stage SLP Models -- Introduction -- Models involving Probability Functions -- Quantile Functions...
獲取全文
電子 電子書
5
書本目錄: ... and Recursive Definitions -- Proofs by Induction -- Games and Strategies -- Part II: Modelling Computing Systems...
獲取全文
電子 電子書
6
出版 2008
書本目錄: ... -- Automatic Invention of Fitness Functions with Application to Scene Generation -- Manipulating Artificial...
獲取全文
電子 電子書
7
出版 2010
書本目錄: ... -- Markov Chain Models for Genetic Algorithm Based Topology Control in MANETs -- Particle Swarm Optimization...
獲取全文
電子 電子書
8
書本目錄: ...IP Meta-Models for SoC Assembly and HW/SW Interfaces -- Functional Models -- Testbench Models...
獲取全文
電子 電子書
9
Lew, Art., Lew, Art., Mauch, Holger.
出版 2007
書本目錄: ...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...
獲取全文
電子 電子書
10
書本目錄: ...Getting Started -- Flow of Control -- File Input and Output -- Pointers -- Blocks, Functions...
獲取全文
電子 電子書
11
Albert, Jim., Albert, Jim.
出版 2007
書本目錄: ... -- to Bayesian Computation -- Markov Chain Monte Carlo Methods -- Hierarchical Modeling -- Model Comparison...
獲取全文
電子 電子書
12
書本目錄: ... for Autonomic Computing -- Autonomic Computing Architectures -- The Monitoring Function -- The Adaptation...
獲取全文
電子 電子書
13
書本目錄: ...Operators and Equations -- The Newton Kantorovich (NK) Method -- Applications of the Weaker Version...
獲取全文
電子 電子書
14
出版 2013
書本目錄: ... Surface: What Can We Gain from Computational Chemistry.- Modeling the Intermolecular Interactions...
獲取全文
電子 電子書
15
出版 2008
書本目錄: ... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...
獲取全文
電子 電子書
16
書本目錄: ... Functions -- Nonsmooth Mathematical Programming Problems -- Monotone Operators and Nonsmooth Variational...
獲取全文
電子 電子書
17
Hermes, Dan., Hermes, Dan.
出版 2015
主題: ...Computer programming....
獲取全文
電子 電子書
18
書本目錄: ... -- Limits and Continuity of Functions -- The Derivative of a Function -- Applications of the Derivative...
獲取全文
電子 電子書
19
Hay-Jahans, Christopher.
出版 2012
主題: ...R (Computer program language)....
圖書
20
Han, Maoan., Han, Maoan., Yu, Pei.
出版 2012
書本目錄: ...Hopf Bifurcation and Normal Form Computation -- Comparison of Methods for Computing Focus Values...
獲取全文
電子 電子書