Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
processing programs » processing programmed, processing problems, processing products
methods processing » methods preprocessing, methods proceedings, methods processes
programs compiling » programs combining, programs compiler, programs containing
interval methods » internal methods, interval method, integral methods
compiling https » computing https, counseling https, consulting https
processing programs » processing programmed, processing problems, processing products
methods processing » methods preprocessing, methods proceedings, methods processes
programs compiling » programs combining, programs compiler, programs containing
interval methods » internal methods, interval method, integral methods
compiling https » computing https, counseling https, consulting https
1
Publié 2010
Table des matières:
“... on Multicores and SMP Servers -- Programming with Intervals -- Adaptive and Speculative Memory Consistency...”Accéder au texte intégral
Électronique
eBook
2
Publié 2006
Table des matières:
“...Keynote Talks -- Program Verification Through Computer Algebra -- JML’s Rich, Inherited...”Accéder au texte intégral
Électronique
eBook
3
Publié 2010
Table des matières:
“... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...”Accéder au texte intégral
Électronique
eBook
4
Publié 2010
Table des matières:
“... Warehousing Processes -- Information Fusion -- Uncertainty Estimation in the Fusion of Text-Based Information...”Accéder au texte intégral
Électronique
eBook
5
Publié 2012
Table des matières:
“... Difference Method Programs -- On a Relationship between Typical Behavior and Initial Conditions of Lagrange’s...”Accéder au texte intégral
Électronique
eBook
6
Publié 2015
Table des matières:
“... Processing Units -- Improved Iterative Methods for Verifying Markov Decision Processes -- A Pre-congruence...”Accéder au texte intégral
Électronique
eBook
7
Publié 2010
Table des matières:
“...Invited Talks -- Analysis of Systems with Stochastic Process Creation -- Verifying Concurrent...”Accéder au texte intégral
Électronique
eBook
8
Publié 2008
Table des matières:
“... Maps Based on the LSP Method -- Aggregated Mean Ratios of an Interval Induced from Aggregation...”Accéder au texte intégral
Électronique
eBook
9
Publié 2008
Table des matières:
“... Facial Animation -- Discriminant Eigenfaces: A New Ranking Method for Principal Components Analysis...”Accéder au texte intégral
Électronique
eBook
10
Publié 2014
Table des matières:
“... Method of Ranking for Intuitionistic Fuzzy Numbers -- Solution of Multi Objective Linear Programming...”Accéder au texte intégral
Électronique
eBook
11
Publié 2008
Table des matières:
“... -- Structural Operational Semantics for Stochastic Process Calculi -- Compositional Methods for Information...”Accéder au texte intégral
Électronique
eBook
12
Publié 2007
Table des matières:
“... -- Evolutionary Shape Optimization Using Gaussian Processes -- A Study of Techniques to Improve the Efficiency...”Accéder au texte intégral
Électronique
eBook