1
Published 2006
Table of Contents: ... OF A DEEP BEAM USING AN EFFICIENT FINITE-DIFFERENCE SCHEME -- COMPUTATIONAL METHOD OF SEA LOADS...
View full text
Electronic eBook
2
by Han, Maoan., Han, Maoan., Yu, Pei.
Published 2012
Table of Contents: ...Hopf Bifurcation and Normal Form Computation -- Comparison of Methods for Computing Focus Values...
View full text
Electronic eBook
3
Published 2008
Table of Contents: ... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...
View full text
Electronic eBook
4
Published 2012
Table of Contents: ... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...
View full text
Electronic eBook
5
Published 2010
Subjects: ...Programming languages (Electronic computers)....
View full text
Electronic eBook
6
Published 2010
Table of Contents: ...) -- From a Verified Kernel towards Verified Systems -- Reasoning about Computations Using Two-Levels...
View full text
Electronic eBook
7
Published 2015
Table of Contents: ... via Primal-Dual Method -- What Percentage of Programs Halt? -- The Parity of Set Systems Under Random...
View full text
Electronic eBook
8
by Kateri, Maria., Kateri, Maria.
Published 2014
Table of Contents: ...Preface -- Introduction -- Analysis of Two-Way Tables -- Analysis of Multi-Way Tables -- Log-Linear...
View full text
Electronic eBook
9
Table of Contents: ... Problems -- Finite Element Program -- Finite Element Solution -- Finite Element Processor -- Finite Element...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ... System Solver Using Optimized Libraries and Parallel Computation -- Parallelisation of the CFD Code of a...
View full text
Electronic eBook
11
Published 2010
Table of Contents: ... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ... Oriented System for on Demand Dynamic Structural Analysis over Computational Grids -- Scalable Desktop Grid...
View full text
Electronic eBook
13
Published 2012
Table of Contents: ... of Two Numerical Methods for Computation of American Type of the Floating Strike Asian Option.-A Kernel...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...
View full text
Electronic eBook
15
Table of Contents: ... with a Real-Time C++ Program on a Board -- 3 An Easy Jump-Start in Real-Time C++ -- 4 Object-Oriented...
View full text
Electronic eBook
16
by Shoaei, Mohammad Dalili
Published 2014
Subjects: ...Soil-structure interaction...
View full text
Thesis
17
Published 2010
Table of Contents: ... on Electrostatic Rigidity -- Longer MEMS Switch Lifetime Using Novel Dual-Pulse Voltage Driver -- Optimal Control...
View full text
Electronic eBook
18
Published 2013
Table of Contents: ... Based on a Kind of Improved Functional-Structural Model and Component Technology -- Edge Geometric...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ... a Rule Generation Method Based on Secondary Differences of Two Criteria -- Lower and Upper...
View full text
Electronic eBook
20