Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
functions computational » functions computation, function computation, directions computational
using method » using methyl, casting method, drying method
method tools » methods tools, method two
functions computational » functions computation, function computation, directions computational
using method » using methyl, casting method, drying method
method tools » methods tools, method two
1
Publicat 2006
Taula de continguts:
“... OF A DEEP BEAM USING AN EFFICIENT FINITE-DIFFERENCE SCHEME -- COMPUTATIONAL METHOD OF SEA LOADS...”Obtenir text complet
Electrònic
eBook
2
Publicat 2012
Taula de continguts:
“... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”Obtenir text complet
Electrònic
eBook
3
Publicat 2008
Taula de continguts:
“...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...”Obtenir text complet
Electrònic
eBook
4
Taula de continguts:
“...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
5
Publicat 2010
Taula de continguts:
“...) -- From a Verified Kernel towards Verified Systems -- Reasoning about Computations Using Two-Levels...”Obtenir text complet
Electrònic
eBook
6
Publicat 2015
Taula de continguts:
“... via Primal-Dual Method -- What Percentage of Programs Halt? -- The Parity of Set Systems Under Random...”Obtenir text complet
Electrònic
eBook
7
Taula de continguts:
“... -- The Binomial Model -- Analytical Option Pricing Methods -- Sensitivity Measures (The ‘Greeks’) -- Interest Rate...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
8
Publicat 2007
Taula de continguts:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Obtenir text complet
Electrònic
eBook
9
Publicat 2014
Taula de continguts:
“... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”Obtenir text complet
Electrònic
eBook
10
Publicat 2010
Taula de continguts:
“... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”Obtenir text complet
Electrònic
eBook
11
per Koohi, Sina Zangbari
Publicat 2020
Matèries:
“...Parallel programming (Computer science) - Research...”Publicat 2020
Obtenir text complet
Thesis
12
Publicat 2007
Taula de continguts:
“.../Dynamic Fault Trees and Event Trees Using Bayesian Networks -- Component Fault Tree Analysis Resolves...”Obtenir text complet
Electrònic
eBook
13
Publicat 2014
Taula de continguts:
“... with Statistical Machine Learning -- Automatic Assessment of Image Quality -- Evaluation of Image Annotation Using...”Obtenir text complet
Electrònic
eBook
14
Publicat 2007
Taula de continguts:
“... -- Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures -- Revamping TVLA...”Obtenir text complet
Electrònic
eBook
15
Publicat 2014
Taula de continguts:
“... – An efficient Scoring Program for Evaluating the Energy Scores of Protein Structures for Structure Prediction...”Obtenir text complet
Electrònic
eBook
16
Publicat 2008
Taula de continguts:
“... -- Adaptation of Agile -- Method Configuration: The eXtreme Programming Case -- Adopting Agile in a Large...”Obtenir text complet
Electrònic
eBook
17
Publicat 2010
Taula de continguts:
“...Social Network Mining Tools -- An Overview of Methods for Virtual Social Networks Analysis...”Obtenir text complet
Electrònic
eBook
18
Publicat 2005
Taula de continguts:
“... Cluster of SMP Nodes -- Computing Frequent Itemsets in Parallel Using Partial Support Trees -- A Grid...”Obtenir text complet
Electrònic
eBook
19
Publicat 2008
Taula de continguts:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”Obtenir text complet
Electrònic
eBook
20
Publicat 2010
Taula de continguts:
“... Clustering Approach using WordNet Lexical Categories -- The Study on the Penalty Function of the Insurance...”Obtenir text complet
Electrònic
eBook