1
منشور في 2008
جدول المحتويات: ...Graph Parser Combinators -- Testing Erlang Refactorings with QuickCheck -- Optimal Lambda Lifting...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
بواسطة Chuei, Yee Chen, Ghazali, Abdul Hakim, Wah, June Leong
منشور في 2021
... on some Weierstrass-like parallel iterative methods such that the procedures are less dependent...
مقال
3
بواسطة Chen, Chuei Yee, Ghazali, Abdul Hakim, Leong, Wah June
منشور في 2021
... on some Weierstrass-like parallel iterative methods such that the procedures are less dependent...
مقال
4
منشور في 2011
جدول المحتويات: ... parallel simulation with look up tables applied to the brushless DC motor optimization -- Fast algorithms...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2015
جدول المحتويات: ... Genetic Programming -- Automatic Derivation of Search Objectives for Test-Based Genetic Programming...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
منشور في 2015
جدول المحتويات: ... for Probability Density Functions -- Segment Abstraction for Worst-Case Execution Time Analysis -- Automatic...
احصل على النص الكامل
الكتروني كتاب الكتروني
7
منشور في 2008
جدول المحتويات: ... -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions...
احصل على النص الكامل
الكتروني كتاب الكتروني
8
منشور في 2008
جدول المحتويات: ... Procedures -- Testing Effects in ANOVA Experiments: Direct Combination of All Pair-Wise Comparisons Using...
احصل على النص الكامل
الكتروني كتاب الكتروني
9
منشور في 2006
جدول المحتويات: ... of Assessment Tests -- Semantics -- Compositional Semantics for the Procedural Interpretation of Logic...
احصل على النص الكامل
الكتروني كتاب الكتروني
10
منشور في 2014
جدول المحتويات: ...) -- A Technique for Risk-Based Test Procedure Identification, Prioritization and Selection -- A Risk...
احصل على النص الكامل
الكتروني كتاب الكتروني
11
منشور في 2014
جدول المحتويات: ... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...
احصل على النص الكامل
الكتروني كتاب الكتروني
12
منشور في 2005
جدول المحتويات: ...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...
احصل على النص الكامل
الكتروني كتاب الكتروني
13
منشور في 2007
جدول المحتويات: ...-objective and SQP Based Procedure for Constrained Optimization -- Study on Application of Multi-Objective...
احصل على النص الكامل
الكتروني كتاب الكتروني
14
منشور في 2005
جدول المحتويات: ... Minimization -- On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels...
احصل على النص الكامل
الكتروني كتاب الكتروني
15
منشور في 2008
جدول المحتويات: ...Invited Talks -- Tests, Proofs and Refinements -- Formal Verification and Biology -- Trust...
احصل على النص الكامل
الكتروني كتاب الكتروني
16
منشور في 2005
جدول المحتويات: ...-optimizer: A Procedure for Single and Multi-objective Optimization -- An EMO Algorithm Using the Hypervolume...
احصل على النص الكامل
الكتروني كتاب الكتروني
17
بواسطة Oller, Sergio., Oller, Sergio.
منشور في 2014
جدول المحتويات: ... function and plastic potential for isotropic materials -- General explicit definition of the isotropic...
احصل على النص الكامل
الكتروني كتاب الكتروني