1
2
Izdano 2014
Kazalo: ...BioBrick Assembly Standards and Techniques and Associated Software Tools -- Plasmid Construction...
Polni tekst
Elektronski eKnjiga
3
Izdano 2015
Kazalo: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
Polni tekst
Elektronski eKnjiga
4
od Zainal Azmi, Nurazlin
Izdano 2006
Teme: ...Animation (Cinematography) - Simulation methods...
Polni tekst
Thesis
5
od Liu, G.R., Liu, G.R., Gu, Y.T.
Izdano 2005
Kazalo: ...Fundamentals -- Overview of Meshfree Methods -- Meshfree Shape Function Construction -- Meshfree...
Polni tekst
Elektronski eKnjiga
6
Izdano 2008
Kazalo: ...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...
Polni tekst
Elektronski eKnjiga
7
Izdano 2008
Kazalo: ... Application -- Trustworthy Computing: Theories, Methods, Tools and Experience in China and South East Asia...
Polni tekst
Elektronski eKnjiga
8
od Hunt, John., Hunt, John.
Izdano 2014
Kazalo: ... -- Further Traits -- Arrays -- Tuples -- Functional Programming in Scala -- Higher Order Functions...
Polni tekst
Elektronski eKnjiga
9
Izdano 2010
Teme: ...Programming languages (Electronic computers)....
Polni tekst
Elektronski eKnjiga
10
Izdano 2010
Kazalo: ... -- Formal Languages and Methods for Designing and Verifying Complex Embedded Systems -- Thematic Track...
Polni tekst
Elektronski eKnjiga
11
Izdano 2005
Kazalo: ... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...
Polni tekst
Elektronski eKnjiga
12
Izdano 2015
Kazalo: ... Library Construction for Illumina Sequencing -- Poly(A) Tag Library Construction from 10 ng Total RNA...
Polni tekst
Elektronski eKnjiga
13
Izdano 2006
Kazalo: ... MLPG METHOD -- APPLICATION OF HIGH ORDER BASIS FUNCTIONS IN SOLID MECHANICS BY ELEMENT FREE GALERKIN...
Polni tekst
Elektronski eKnjiga
14
Kazalo: ... -- The Binomial Model -- Analytical Option Pricing Methods -- Sensitivity Measures (The ‘Greeks’) -- Interest Rate...
Polni tekst
Elektronski eKnjiga
15
od Zainal Azmi, Nurazlin
Izdano 2006
... and interpolated to obtain evenly closer distributed points. Once this is done, the program is then required...
Polni tekst
Thesis
16
Izdano 2014
Kazalo: ...Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification...
Polni tekst
Elektronski eKnjiga
17
od Nisio, Makiko., Nisio, Makiko.
Izdano 2015
Teme: ...Functional analysis....
Polni tekst
Elektronski eKnjiga
18
19
Kazalo: ... -- Basic Concepts of Finite Element Methods -- An Overview of Meshless Methods -- Procedures of Meshless...
Polni tekst
Elektronski eKnjiga
20
Izdano 2014
Kazalo: ... Approach to Analyzing Utility Functions -- Towards the Typing of Resource Deployment -- Static Inference...
Polni tekst
Elektronski eKnjiga