Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
functions computation » function computation, functions composition, function composition
functions conditional » functions functional, functional conditioning, functions computational
programming testing » programming designing, programming reasoning, programming extending
testing methods » tests methods, test methods, learning methods
functions computation » function computation, functions composition, function composition
functions conditional » functions functional, functional conditioning, functions computational
programming testing » programming designing, programming reasoning, programming extending
testing methods » tests methods, test methods, learning methods
1
Argitaratua 2006
Aurkibidea:
“... COLLOCATION METHOD TOGETHER WITH RPIM SHAPE FUNCTIONS AND FIC BOUNDARY CONDITIONS -- SYMPLECTIC ANALYSIS...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2010
Aurkibidea:
“... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...”Testu osoa
Baliabide elektronikoa
eBook
3
Argitaratua 2014
Aurkibidea:
“... with Conditional Predicates -- Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements...”Testu osoa
Baliabide elektronikoa
eBook
4
Argitaratua 2007
Aurkibidea:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”Testu osoa
Baliabide elektronikoa
eBook
5
nork Saeed, Walid
Argitaratua 2005
Gaiak:
“...Programming language(Electronic computer)...”Argitaratua 2005
Testu osoa
Thesis
6
Argitaratua 2006
Aurkibidea:
“...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...”Testu osoa
Baliabide elektronikoa
eBook
7
Argitaratua 2007
Aurkibidea:
“... Likelihood Ratio Test Detector Using a Jointly Gaussian Probability Distribution Function -- Performance...”Testu osoa
Baliabide elektronikoa
eBook
8
Argitaratua 2010
Aurkibidea:
“... -- Research Issues in the Automated Testing of Ajax Applications -- Essential Performance Drivers in Native...”Testu osoa
Baliabide elektronikoa
eBook
9
Argitaratua 2015
Aurkibidea:
“... -- Drill & Join: A method for inductive program synthesis -- Program Derivation -- Functional Kleene...”Testu osoa
Baliabide elektronikoa
eBook
10
Argitaratua 2010
Aurkibidea:
“... -- An Adaptive Multibiometric System for Uncertain Audio Condition -- Analysis of Performance Impact due...”Testu osoa
Baliabide elektronikoa
eBook
11
Argitaratua 2013
Aurkibidea:
“... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...”Testu osoa
Baliabide elektronikoa
eBook
12
Argitaratua 2007
Aurkibidea:
“... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”Testu osoa
Baliabide elektronikoa
eBook
13
Argitaratua 2007
Aurkibidea:
“... in Computerized Testing -- Resource Load Balancing Based on Multi-agent in ServiceBSP Model -- Group-Based Key...”Testu osoa
Baliabide elektronikoa
eBook
14
Argitaratua 2015
Aurkibidea:
“... the Power-Conditional-Expected-Posterior Prior -- A new strategy for testing cosmology with simulations...”Testu osoa
Baliabide elektronikoa
eBook
15
Argitaratua 2010
Aurkibidea:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”Testu osoa
Baliabide elektronikoa
eBook
16
Argitaratua 2010
Aurkibidea:
“... -- An Approximate Reduction Algorithm Based on Conditional Entropy -- B-Spline Method for Solving Boundary Value...”Testu osoa
Baliabide elektronikoa
eBook
17
Argitaratua 2010
Aurkibidea:
“...Workshop on Numerical Methods and Modeling/Simulations in Computational Science and Engineering...”Testu osoa
Baliabide elektronikoa
eBook
18
Aurkibidea:
“... and Eigenvectors -- 4 Matrices, Norms and Conditioning -- 5 Iterative Methods -- 6 Polynomial Interpolation -- 7...”
Testu osoa
Testu osoa
Baliabide elektronikoa
eBook
19
Argitaratua 2013
Aurkibidea:
“.... Gesticulation: A Test Protocol -- Functional Gestures for Human-Environment Interaction -- A Dynamic Fitting...”Testu osoa
Baliabide elektronikoa
eBook
20
Argitaratua 2007
Aurkibidea:
“... Summarization Based on Cluster Using Non-negative Matrix Factorization -- A Program Slicing Based Method...”Testu osoa
Baliabide elektronikoa
eBook
- 1
- 2
- 3
- Hurrengoa »
- [3]