1
von Parwadi Moengin
Veröffentlicht 2016
Schlagworte: ...LINEAR PROGRAMMING...
Volltext
Journal Contribution
2
von Zainal Azmi, Nurazlin
Veröffentlicht 2006
Schlagworte: ...Animation (Cinematography) - Simulation methods...
Volltext
Abschlussarbeit
3
von Hunt, John., Hunt, John.
Veröffentlicht 2014
Inhaltsangabe: ... -- Further Traits -- Arrays -- Tuples -- Functional Programming in Scala -- Higher Order Functions...
Volltext
Elektronisch E-Book
4
Veröffentlicht 2014
Inhaltsangabe: ...BioBrick Assembly Standards and Techniques and Associated Software Tools -- Plasmid Construction...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2015
Inhaltsangabe: ... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...
Volltext
Elektronisch E-Book
6
von Zainal Azmi, Nurazlin
Veröffentlicht 2006
... and interpolated to obtain evenly closer distributed points. Once this is done, the program is then required...
Volltext
Abschlussarbeit
7
von Liu, G.R., Liu, G.R., Gu, Y.T.
Veröffentlicht 2005
Inhaltsangabe: ...Fundamentals -- Overview of Meshfree Methods -- Meshfree Shape Function Construction -- Meshfree...
Volltext
Elektronisch E-Book
8
von Nisio, Makiko., Nisio, Makiko.
Veröffentlicht 2015
Schlagworte: ...Functional analysis....
Volltext
Elektronisch E-Book
9
Veröffentlicht 2008
Inhaltsangabe: ... Application -- Trustworthy Computing: Theories, Methods, Tools and Experience in China and South East Asia...
Volltext
Elektronisch E-Book
10
Veröffentlicht 2008
Inhaltsangabe: ...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2015
Inhaltsangabe: ... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...
Volltext
Elektronisch E-Book
12
Veröffentlicht 2015
Inhaltsangabe: ... Library Construction for Illumina Sequencing -- Poly(A) Tag Library Construction from 10 ng Total RNA...
Volltext
Elektronisch E-Book
13
Veröffentlicht 2010
Inhaltsangabe: ... -- Formal Languages and Methods for Designing and Verifying Complex Embedded Systems -- Thematic Track...
Volltext
Elektronisch E-Book
14
Veröffentlicht 2010
Schlagworte: ...Programming languages (Electronic computers)....
Volltext
Elektronisch E-Book
15
Veröffentlicht 2005
Inhaltsangabe: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Volltext
Elektronisch E-Book
16
Veröffentlicht 2005
Inhaltsangabe: ... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...
Volltext
Elektronisch E-Book
17
Veröffentlicht 2007
Inhaltsangabe: ... Codes -- Hash Functions in the Dedicated-Key Setting: Design Choices and MPP Transforms -- Unrestricted...
Volltext
Elektronisch E-Book
18
Veröffentlicht 2008
Inhaltsangabe: ... Specialisation of Horn Clauses -- ESOP Invited Talk -- Constructive Mathematics and Functional Programming...
Volltext
Elektronisch E-Book
19
Veröffentlicht 2008
Inhaltsangabe: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
Volltext
Elektronisch E-Book
20
Veröffentlicht 2008
Inhaltsangabe: ...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...
Volltext
Elektronisch E-Book