Pynciau a Argymhellir O fewn eich chwiliad
Pynciau a Argymhellir O fewn eich chwiliad
Chwilio eraill:
computation programming » communication programming, computation programmatic, computing programming
functions computation » function computation, functions composition, function composition
programming modeling » programming model, programming models, programming building
modeling basic » modeling based, modelling based, models basic
computation programming » communication programming, computation programmatic, computing programming
functions computation » function computation, functions composition, function composition
programming modeling » programming model, programming models, programming building
modeling basic » modeling based, modelling based, models basic
1
gan Saeed, Walid
Cyhoeddwyd 2005
Pynciau:
“...Programming language(Electronic computer)...”Cyhoeddwyd 2005
Cael y testun llawn
Thesis
2
Cyhoeddwyd 2013
Tabl Cynhwysion:
“... technology and disease research: issues to be resolved -- ES and iPS cells as tools for modeling human aging...”Cael y testun llawn
Electronig
eLyfr
3
gan Saeed, Walid
Cyhoeddwyd 2005
“...) into an Integer Programming (IP) model, resolved by using the branch and bound search method in order to generate...”Cyhoeddwyd 2005
Cael y testun llawn
Thesis
4
Cyhoeddwyd 2006
Tabl Cynhwysion:
“... Calculus -- Pure Pattern Calculus -- A Verification Methodology for Model Fields -- ILC: A Foundation...”Cael y testun llawn
Electronig
eLyfr
5
Cyhoeddwyd 2006
Tabl Cynhwysion:
“... AND GA -- A DATA COLLECTION MODEL FOR INTRUSION DETECTION SYSTEM BASED ON SIMPLE RANDOM SAMPLING...”Cael y testun llawn
Electronig
eLyfr
6
Cyhoeddwyd 2005
Tabl Cynhwysion:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”Cael y testun llawn
Electronig
eLyfr
7
Cyhoeddwyd 2013
Tabl Cynhwysion:
“... on Some Basic Classes of Digraphs -- A Probabilistic Logic for pTiMo -- An Interface Model of Software...”Cael y testun llawn
Electronig
eLyfr
8
Tabl Cynhwysion:
“..., Text and Colours -- Basic Principles of Three-Dimensional Graphics -- Modelling Three-Dimensional...”
Cael y testun llawn
Cael y testun llawn
Electronig
eLyfr
9
Tabl Cynhwysion:
“...Numbers -- Real-Valued Functions -- Trigonometry -- Complex Numbers -- Sequences and Series...”
Cael y testun llawn
Cael y testun llawn
Electronig
eLyfr
10
Tabl Cynhwysion:
“... -- Transformations of functions and signals -- Statistical description and modeling of data -- Modeling and analysis...”
Cael y testun llawn
Cael y testun llawn
Electronig
eLyfr
11
Tabl Cynhwysion:
“...Basic Description of Discrete-event Dynamic Systems -- Graphs in Modeling DEDS -- Formal Languages...”
Cael y testun llawn
Cael y testun llawn
Electronig
eLyfr
12
13
Tabl Cynhwysion:
“... Programming in Practical Production Planning -- 21 Modelling Supply Functions Using Linear Programming...”
Cael y testun llawn
Cael y testun llawn
Electronig
eLyfr
14
Tabl Cynhwysion:
“... and the Value of Land -- 17 Production of Multiple Products -- 18 The Linear Programming Model -- 19 Production...”
Cael y testun llawn
Cael y testun llawn
Electronig
eLyfr
15
Tabl Cynhwysion:
“...Introducing Modern JavaScript -- Modern JavaScript Programming -- Professional JavaScript...”
Cael y testun llawn
Cael y testun llawn
Electronig
eLyfr
16
Cyhoeddwyd 2005
Tabl Cynhwysion:
“... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...”Cael y testun llawn
Electronig
eLyfr
17
gan Clavel, Manuel., Clavel, Manuel., Durán, Francisco., Eker, Steven., Lincoln, Patrick., Martí-Oliet, Narciso., Meseguer, José., Talcott, Carolyn.
Cyhoeddwyd 2007
Tabl Cynhwysion:
“...I: Core Maude -- Using Maude -- Syntax and Basic Parsing -- Functional Modules -- A Hierarchy...”Cyhoeddwyd 2007
Cael y testun llawn
Electronig
eLyfr
18
Cyhoeddwyd 2008
Tabl Cynhwysion:
“...Goals, Approach, Functionality of Resulting Tools, and Project Structure -- A Model-Driven Approach...”Cael y testun llawn
Electronig
eLyfr
19
Cyhoeddwyd 2007
Tabl Cynhwysion:
“... -- The Empirical Paradigm Discussion and Summary -- Session 2 Measurement and Model Building -- Measurement...”Cael y testun llawn
Electronig
eLyfr
20
Cyhoeddwyd 2010
Tabl Cynhwysion:
“... Provers for Basic Hybrid Logic -- Induction -- Automated Synthesis of Induction Axioms for Programs...”Cael y testun llawn
Electronig
eLyfr



