1
Izdano 2006
Kazalo: ... CLUSTERING METHOD -- ACTIVATING IRREGULAR DIMENSIONS IN OLAP -- A NEW COMPUTATIONAL METHOD OF INTERSECTION...
Polni tekst
Elektronski eKnjiga
2
Izdano 2010
Kazalo: ... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...
Polni tekst
Elektronski eKnjiga
3
Izdano 2006
Kazalo: ... the Eigenvalue Problem for the One-Dimensional Schrödinger Equation -- Reducing Computational Costs in the Basic...
Polni tekst
Elektronski eKnjiga
4
Izdano 2013
Kazalo: ... Secret Sharing with Graph States -- Testing Embedded Memories: A Survey -- Quicksort and Large Deviations...
Polni tekst
Elektronski eKnjiga
5
Izdano 2014
Kazalo: ... 1.39-Approximation in Practice -- On Monitoring C/C++ Transactional Memory Programs.- Bent Functions...
Polni tekst
Elektronski eKnjiga
6
od Albert, Jim., Albert, Jim.
Izdano 2007
Kazalo: ... -- to Bayesian Computation -- Markov Chain Monte Carlo Methods -- Hierarchical Modeling -- Model Comparison...
Polni tekst
Elektronski eKnjiga
7
Izdano 2008
Kazalo: ... Performance Computing for Eigenvalue Solver in Density-Matrix Renormalization Group Method: Parallelization...
Polni tekst
Elektronski eKnjiga
8
Izdano 2008
Kazalo: ... of Computer Networks -- A Comparative Study of Fuzzy Inference Systems, Neural Networks and Adaptive Neuro...
Polni tekst
Elektronski eKnjiga
9
Izdano 2007
Kazalo: ... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...
Polni tekst
Elektronski eKnjiga
10
Izdano 2006
Kazalo: ... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...
Polni tekst
Elektronski eKnjiga
11
Izdano 2007
Kazalo: ... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...
Polni tekst
Elektronski eKnjiga
12
Kazalo: ...) The Gamma Function and Related Functions: Methods and Programs for their Computation -- E) Utility Programs...
Polni tekst
Elektronski eKnjiga
13
Izdano 2005
Kazalo: ... Testing on Function Block Diagrams -- Comparing Software Measures with Fault Counts Derived from Unit...
Polni tekst
Elektronski eKnjiga
14
Izdano 2007
Kazalo: ... for Nuclear Digital Protection System -- Specification of a Software Common Cause Analysis Method -- Combining...
Polni tekst
Elektronski eKnjiga
15
Izdano 2015
Kazalo: ...Binary Bat Algorithm: On the Efficiency of Mapping Functions When Handling Binary Problems Using...
Polni tekst
Elektronski eKnjiga
16
Izdano 2008
Kazalo: .... Towards Hybrid Knowledge Engineering -- XML Schema Mappings Using Schema Constraints and Skolem Functions...
Polni tekst
Elektronski eKnjiga
17
Izdano 2007
Kazalo: ... Theorem Proving Method Using Logical Reinforcement Learning -- Gene Expression Programming with DAG...
Polni tekst
Elektronski eKnjiga
18
Izdano 2015
Kazalo: ... Verification of Functional Behaviour of Concurrent Programs -- Investigating Instrumentation Techniques for ESB...
Polni tekst
Elektronski eKnjiga
19
Izdano 2010
Kazalo: ... Programming -- Parameter Evolution for a Particle Swarm Optimization Algorithm -- The Ant Colony Optimization...
Polni tekst
Elektronski eKnjiga
20
Izdano 2007
Kazalo: ... Computation in Large Territories -- Non-equilibrium Thermodynamics, Thermomechanics, Geodynamics -- A Finite...
Polni tekst
Elektronski eKnjiga