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