Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
function computation » function computing, function decomposition, section computational
programming modeling » programming model, programming models, programming building
modeling methods » modern methods, models methods, counseling methods
methods based » method based, methods case, methods used
function computation » function computing, function decomposition, section computational
programming modeling » programming model, programming models, programming building
modeling methods » modern methods, models methods, counseling methods
methods based » method based, methods case, methods used
1
Argitaratua 2008
Aurkibidea:
“... Abstract Stochastic Process Algebra Models -- An Exact Brownian Dynamics Method for Cell Simulation...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2013
Aurkibidea:
“... -- On Bistability Causing Structures in Escherichia Coli’s Metabolism -- Mathematical Modelling of the Function...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2008
Aurkibidea:
“... of Region-Based Memory Management for Object-Oriented Paradigm -- Program Models for Compositional...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2006
Aurkibidea:
“... Signers -- Secure Computations in a Minimal Model Using Multiple-Valued ESOP Expressions -- Formal Method...”Testu osoa
Baliabide elektronikoa
eBook
5
Argitaratua 2008
Aurkibidea:
“... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...”Testu osoa
Baliabide elektronikoa
eBook
6
Argitaratua 2012
Aurkibidea:
“... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2010
Aurkibidea:
“... -- Prediction of Business Process Model Quality Based on Structural Metrics -- Modelling Functional Requirements...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2010
Aurkibidea:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2007
Aurkibidea:
“... Manipulations for 2D Structures of Mathematical Expressions -- On the Virtues of Generic Programming...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2007
Aurkibidea:
“...A Composite Finite Element-Finite Difference Model Applied to Turbulence Modelling -- Vortex...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2007
Aurkibidea:
“... Service Systems -- A Knowledge-Based Model Representation and On-Line Solution Method for Dynamic Vehicle...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2005
Aurkibidea:
“... -- Extra-Music(ologic)al Models for Algorithmic Composition -- EvoSTOC Contributions -- The Memory Indexing...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2007
Aurkibidea:
“... C Programs: A Deductive Approach -- A Taxonomy for Modelling Safety Related Architectures...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2014
Aurkibidea:
“... Polynomial Algorithm for a Class of 0-1 Fractional Programming Problems Involving Composite Functions...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2007
Aurkibidea:
“... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2005
Aurkibidea:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2008
Aurkibidea:
“... Pattern Mining in Data Stream -- Methods of Computing Optimization -- A General k-Level Uncapacitated...”Testu osoa
Baliabide elektronikoa
eBook
18
Argitaratua 2012
Aurkibidea:
“... Composition Based on Economic Models -- Cloud Service Selection Based on Variability Modeling -- Service...”Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2007
Aurkibidea:
“... -- FORM : A Federated Rights Expression Model for Open DRM Frameworks -- A Method of Safety Analysis...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2007
Aurkibidea:
“...Keynotes -- Modeling Workflow Patterns from First Principles -- Heart Modeling, Computational...”Testu osoa
Baliabide elektronikoa
eBook
- 1
- 2
- 3
- 4
- Hurrengoa »
- [4]