1
gan Saeed, Walid
Cyhoeddwyd 2005
Pynciau: ...Programming language(Electronic computer)...
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...
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
gan Klawonn, Frank., Klawonn, Frank.
Cyhoeddwyd 2012
Tabl Cynhwysion: ..., Text and Colours -- Basic Principles of Three-Dimensional Graphics -- Modelling Three-Dimensional...
Cael y testun llawn
Electronig eLyfr
9
Tabl Cynhwysion: ...Numbers -- Real-Valued Functions -- Trigonometry -- Complex Numbers -- Sequences and Series...
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
Electronig eLyfr
11
Tabl Cynhwysion: ...Basic Description of Discrete-event Dynamic Systems -- Graphs in Modeling DEDS -- Formal Languages...
Cael y testun llawn
Electronig eLyfr
12
gan Lopez, Cesar., Lopez, Cesar.
Cyhoeddwyd 2014
Pynciau: ...Programming languages (Electronic computers)....
Cael y testun llawn
Electronig eLyfr
13
gan Rasmussen, Svend., Rasmussen, Svend.
Cyhoeddwyd 2013
Tabl Cynhwysion: ... Programming in Practical Production Planning -- 21 Modelling Supply Functions Using Linear Programming...
Cael y testun llawn
Electronig eLyfr
14
gan Rasmussen, Svend., Rasmussen, Svend.
Cyhoeddwyd 2011
Tabl Cynhwysion: ... and the Value of Land -- 17 Production of Multiple Products -- 18 The Linear Programming Model -- 19 Production...
Cael y testun llawn
Electronig eLyfr
15
gan Resig, John., Resig, John.
Cyhoeddwyd 2007
Tabl Cynhwysion: ...Introducing Modern JavaScript -- Modern JavaScript Programming -- Professional JavaScript...
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
Tabl Cynhwysion: ...I: Core Maude -- Using Maude -- Syntax and Basic Parsing -- Functional Modules -- A Hierarchy...
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