1
Julkaistu 2006
Sisällysluettelo: ...–GALERKIN METHOD FOR ELASTO-PLASTIC PROBLEMS -- PARTICLE-PARTITION OF UNITY METHODS IN ELASTICITY -- A...
Hae kokoteksti
Elektroninen E-kirja
2
Tekijä Sirca, Simon., Sirca, Simon., Horvat, Martin.
Julkaistu 2012
Sisällysluettelo: ... for ordinary differential equations -- Difference methods for one-dimensional partial differential equations...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2010
Sisällysluettelo: ... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...
Hae kokoteksti
Elektroninen E-kirja
4
Julkaistu 2006
Sisällysluettelo: ... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...
Hae kokoteksti
Elektroninen E-kirja
5
Julkaistu 2007
Sisällysluettelo: ... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...
Hae kokoteksti
Elektroninen E-kirja
6
Tekijä Cheah, Eng Khoon
Julkaistu 2004
... program on preschoolers computing abilities and the factors that affect the acquisition of these skills...
Hae kokoteksti
Opinnäyte
7
Tekijä Cheah, Eng Khoon
Julkaistu 2004
... program on preschoolers computing abilities and the factors that affect the acquisition of these skills...
Hae kokoteksti
Opinnäyte
8
Julkaistu 2008
Sisällysluettelo: ... Abstract Stochastic Process Algebra Models -- An Exact Brownian Dynamics Method for Cell Simulation...
Hae kokoteksti
Elektroninen E-kirja
9
... outcomes, particularly focusing on addressing these challenges in computer science higher education...
Hae kokoteksti
Artikkeli
10
Julkaistu 2013
Sisällysluettelo: ... Based on a Kind of Improved Functional-Structural Model and Component Technology -- Edge Geometric...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2015
Sisällysluettelo: ... Hierarchy of Fast Reversible Turing Machines -- Real-time methods in reversible computation -- Reversible...
Hae kokoteksti
Elektroninen E-kirja
12
Julkaistu 2010
Sisällysluettelo: ...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...
Hae kokoteksti
Elektroninen E-kirja
13
Julkaistu 2007
Sisällysluettelo: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Hae kokoteksti
Elektroninen E-kirja
14
Julkaistu 2008
Sisällysluettelo: ... Performance Computing for Eigenvalue Solver in Density-Matrix Renormalization Group Method: Parallelization...
Hae kokoteksti
Elektroninen E-kirja
15
Julkaistu 2014
Sisällysluettelo: ... with multiplicity structures -- Signature-based Method of Deciding Program Termination -- High-precision eigenvalue...
Hae kokoteksti
Elektroninen E-kirja
16
Julkaistu 2007
Sisällysluettelo: ... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...
Hae kokoteksti
Elektroninen E-kirja
17
Julkaistu 2008
Sisällysluettelo: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
Hae kokoteksti
Elektroninen E-kirja
18
Julkaistu 2005
Sisällysluettelo: ... for Improved Sequence Alignment and Searching of Proteins -- Tabu Search Method for Determining Sequences...
Hae kokoteksti
Elektroninen E-kirja
19
Julkaistu 2008
Sisällysluettelo: ... Optimisation -- A Hybrid Particle Swarm Optimization Algorithm for Function Optimization -- EvoSTOC...
Hae kokoteksti
Elektroninen E-kirja
20
Julkaistu 2005
Sisällysluettelo: ... and Logical Predicates for Computational Metalanguage -- Type Theory and Lambda Calculus -- Order Structures...
Hae kokoteksti
Elektroninen E-kirja