Podobne hasła w twoim wyszukiwaniu.
Podobne hasła w twoim wyszukiwaniu.
Inne możliwości wyszukiwania:
programming modelling » programming modeling, programming model, programming models
function computation » function computing, function decomposition, section computational
structure functions » structure function
modelling methods » modeling methods, modern methods, models methods
methods papers » method papers, methods pattern, methods part
programming modelling » programming modeling, programming model, programming models
function computation » function computing, function decomposition, section computational
structure functions » structure function
modelling methods » modeling methods, modern methods, models methods
methods papers » method papers, methods pattern, methods part
1
Wydane 2014
Spis treści:
“...Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification...”Dokumenty pełnotekstowe
Elektroniczne
E-book
2
Wydane 2008
Spis treści:
“... Abstract Stochastic Process Algebra Models -- An Exact Brownian Dynamics Method for Cell Simulation...”Dokumenty pełnotekstowe
Elektroniczne
E-book
3
Wydane 2010
Spis treści:
“... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”Dokumenty pełnotekstowe
Elektroniczne
E-book
4
Wydane 2013
Spis treści:
“... -- On Bistability Causing Structures in Escherichia Coli’s Metabolism -- Mathematical Modelling of the Function...”Dokumenty pełnotekstowe
Elektroniczne
E-book
5
Wydane 2010
Hasła przedmiotowe:
“...Programming languages (Electronic computers)....”Dokumenty pełnotekstowe
Elektroniczne
E-book
6
Wydane 2008
Spis treści:
“... Event-Based Fairness Enhanced Systems -- Modelling and Proof of a Tree-Structured File System in Event-B...”Dokumenty pełnotekstowe
Elektroniczne
E-book
7
Wydane 2008
Spis treści:
“... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...”Dokumenty pełnotekstowe
Elektroniczne
E-book
8
Wydane 2008
Spis treści:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Dokumenty pełnotekstowe
Elektroniczne
E-book
9
Wydane 2008
Spis treści:
“... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”Dokumenty pełnotekstowe
Elektroniczne
E-book
10
Wydane 2012
Spis treści:
“... and Stochastic Methods for Modeling Highly Heterogeneous Media Robust Solvers for Symmetric Positive Definite...”Dokumenty pełnotekstowe
Elektroniczne
E-book
11
Wydane 2010
Spis treści:
“... Edge-Disjoint Paths in Eulerian Networks -- R-Programs: A Framework for Distributing XML Structural...”Dokumenty pełnotekstowe
Elektroniczne
E-book
12
Wydane 2014
Spis treści:
“...-at-once multigrid methods for Poisson and Stokes control problems -- Continuous-time local model network...”Dokumenty pełnotekstowe
Elektroniczne
E-book
13
Wydane 2010
Spis treści:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Dokumenty pełnotekstowe
Elektroniczne
E-book
14
Wydane 2015
Spis treści:
“... via Primal-Dual Method -- What Percentage of Programs Halt? -- The Parity of Set Systems Under Random...”Dokumenty pełnotekstowe
Elektroniczne
E-book
15
Wydane 2008
Spis treści:
“... Performance Computing for Eigenvalue Solver in Density-Matrix Renormalization Group Method: Parallelization...”Dokumenty pełnotekstowe
Elektroniczne
E-book
16
Wydane 2008
Spis treści:
“... Perception and Action on Functionally Grounded Representations -- A Sparse Regression Mixture Model...”Dokumenty pełnotekstowe
Elektroniczne
E-book
17
Wydane 2007
Spis treści:
“... Oriented System for on Demand Dynamic Structural Analysis over Computational Grids -- Scalable Desktop Grid...”Dokumenty pełnotekstowe
Elektroniczne
E-book
18
Wydane 2005
Spis treści:
“... for Improved Sequence Alignment and Searching of Proteins -- Tabu Search Method for Determining Sequences...”Dokumenty pełnotekstowe
Elektroniczne
E-book
19
Wydane 2013
Spis treści:
“... Based on a Kind of Improved Functional-Structural Model and Component Technology -- Edge Geometric...”Dokumenty pełnotekstowe
Elektroniczne
E-book
20
Wydane 2014
Spis treści:
“... and the Computational Complexity of MAP Approximations -- Bayesian Networks with Function Nodes -- A New Method...”Dokumenty pełnotekstowe
Elektroniczne
E-book