בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
functions computation » function computation, functions composition, function composition
using method » using methyl, casting method, drying method
method tools » methods tools, method two
functions computation » function computation, functions composition, function composition
using method » using methyl, casting method, drying method
method tools » methods tools, method two
1
יצא לאור 2006
תוכן הענינים:
“... OF A DEEP BEAM USING AN EFFICIENT FINITE-DIFFERENCE SCHEME -- COMPUTATIONAL METHOD OF SEA LOADS...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2012
תוכן הענינים:
“... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2008
תוכן הענינים:
“...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
תוכן הענינים:
“...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2010
תוכן הענינים:
“...) -- From a Verified Kernel towards Verified Systems -- Reasoning about Computations Using Two-Levels...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2015
תוכן הענינים:
“... via Primal-Dual Method -- What Percentage of Programs Halt? -- The Parity of Set Systems Under Random...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
תוכן הענינים:
“... -- The Binomial Model -- Analytical Option Pricing Methods -- Sensitivity Measures (The ‘Greeks’) -- Interest Rate...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2007
תוכן הענינים:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2014
תוכן הענינים:
“... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
יצא לאור 2010
תוכן הענינים:
“... Facing Government Use of Cloud Computing -- Open Source Software (OSS) Adoption Framework for Local...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
תוכן הענינים:
“... Robotics -- Evolving Logic Functions -- ISAc List: Alternative Genetic Programming -- Graph-Based...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
מאת Koohi, Sina Zangbari
יצא לאור 2020
נושאים:
“...Parallel programming (Computer science) - Research...”יצא לאור 2020
קבל טקסט מלא
Thesis
13
יצא לאור 2007
תוכן הענינים:
“.../Dynamic Fault Trees and Event Trees Using Bayesian Networks -- Component Fault Tree Analysis Resolves...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2014
תוכן הענינים:
“... with Statistical Machine Learning -- Automatic Assessment of Image Quality -- Evaluation of Image Annotation Using...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2007
תוכן הענינים:
“... -- Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures -- Revamping TVLA...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2014
תוכן הענינים:
“... – An efficient Scoring Program for Evaluating the Energy Scores of Protein Structures for Structure Prediction...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
יצא לאור 2008
תוכן הענינים:
“... -- Adaptation of Agile -- Method Configuration: The eXtreme Programming Case -- Adopting Agile in a Large...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2010
תוכן הענינים:
“...Social Network Mining Tools -- An Overview of Methods for Virtual Social Networks Analysis...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2005
תוכן הענינים:
“... Cluster of SMP Nodes -- Computing Frequent Itemsets in Parallel Using Partial Support Trees -- A Grid...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2008
תוכן הענינים:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני