בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
programming computing » programming comparing, programming composing, programming computer
function computation » function decomposition, section computational
function computing » education computing, generation computing
computing methods » computer methods, computed methods, computational methods
programming computing » programming comparing, programming composing, programming computer
function computation » function decomposition, section computational
function computing » education computing, generation computing
computing methods » computer methods, computed methods, computational methods
1
יצא לאור 2006
תוכן הענינים:
“... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
תוכן הענינים:
“...Basics of numerical analysis -- Solution of nonlinear equations -- Matrix methods...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2010
תוכן הענינים:
“... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2007
תוכן הענינים:
“... -- Computations in Modules over Commutative Domains -- Advances on the Continued Fractions Method Using Better...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2006
תוכן הענינים:
“... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2013
תוכן הענינים:
“... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2015
תוכן הענינים:
“... Hierarchy of Fast Reversible Turing Machines -- Real-time methods in reversible computation -- Reversible...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2014
תוכן הענינים:
“... 1.39-Approximation in Practice -- On Monitoring C/C++ Transactional Memory Programs.- Bent Functions...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2013
תוכן הענינים:
“... -- Determinacy in Stochastic Games with Unbounded Payoff Functions -- Strategy Complexity of Finite-Horizon...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
תוכן הענינים:
“... -- to Bayesian Computation -- Markov Chain Monte Carlo Methods -- Hierarchical Modeling -- Model Comparison...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2008
תוכן הענינים:
“... Performance Computing for Eigenvalue Solver in Density-Matrix Renormalization Group Method: Parallelization...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2007
תוכן הענינים:
“... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2008
תוכן הענינים:
“... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2005
תוכן הענינים:
“... for Improved Sequence Alignment and Searching of Proteins -- Tabu Search Method for Determining Sequences...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2008
תוכן הענינים:
“... of Computer Networks -- A Comparative Study of Fuzzy Inference Systems, Neural Networks and Adaptive Neuro...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2010
תוכן הענינים:
“...On Yuri Gurevich -- Yuri, Logic, and Computer Science -- Database Theory, Yuri, and Me -- Technical...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
יצא לאור 2007
תוכן הענינים:
“... Architecture -- 2: Cluster Computing -- JaceV: A Programming and Execution Environment for Asynchronous...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
תוכן הענינים:
“...Basics -- Introduction -- Linear Programming Prerequisites -- Nonlinear Programming Prerequisites...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
נושאים:
“...Mathematical and Computational Engineering. https://scigraph.springernature.com/ontologies/product...”
קבל טקסט מלא
קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2007
תוכן הענינים:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני