1
Publié 2014
Table des matières: ... or Not Tangible – A Comparative Study of Interaction Types for Process Modeling Support -- Body Image and Body...
Accéder au texte intégral
Électronique eBook
2
Publié 2015
Table des matières: ... -- Asynchronous processing of Coq documents: from the kernel up to the user interface -- A Concrete Memory Model...
Accéder au texte intégral
Électronique eBook
3
Publié 2014
Table des matières: ... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...
Accéder au texte intégral
Électronique eBook
4
Publié 2007
Table des matières: ... Stack Based GP Language for Vector Processing -- Genetic Programming with Fitness Based on Model...
Accéder au texte intégral
Électronique eBook
5
Publié 2008
Table des matières: ... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...
Accéder au texte intégral
Électronique eBook
6
Publié 2008
Table des matières: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
Accéder au texte intégral
Électronique eBook
7
Publié 2015
Table des matières: ... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...
Accéder au texte intégral
Électronique eBook
8
Publié 2010
Table des matières: ... New Processing Model Based on Mobile Interactive Documents -- A Framework for Observing Dynamics...
Accéder au texte intégral
Électronique eBook
9
Publié 2010
Table des matières: ... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...
Accéder au texte intégral
Électronique eBook
10
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
11
Publié 2010
Table des matières: ...Third Workshop on Highly Parallel Processing on a Chip (HPPC 2009) -- HPPC 2009: 3rd Workshop...
Accéder au texte intégral
Électronique eBook
12
Publié 2012
Table des matières: ... -- Simultaneous Learning of Several Bayesian and Mahalanobis Discriminant Functions by a Neural Network...
Accéder au texte intégral
Électronique eBook
13
Table des matières: ... Mechanics.- 3. Numerical Method.- 4. Iteration Process in FRACOD.- 5. Modelling Time Dependency.- 6...
Accéder au texte intégral
Électronique eBook
14
Publié 2010
Table des matières: ...The NUTRA-SNACKS Project: Basic Research and Biotechnological Programs on Nutraceutics -- Overview...
Accéder au texte intégral
Électronique eBook
15
Publié 2010
Table des matières: ... -- Towards Approximating COSMIC Functional Size from User Requirements in Agile Development Processes Using...
Accéder au texte intégral
Électronique eBook
16
Publié 2014
Table des matières: ... retinoids functions -- Complexity of the RAR‐Mediated Transcriptional Regulatory Programs -- Index....
Accéder au texte intégral
Électronique eBook
17
Publié 2006
Table des matières: ... Synchronization Languages: A Framework for Alignments -- Abstracts of Interactive Presentations -- A Complete FS...
Accéder au texte intégral
Électronique eBook
18
Publié 2014
Table des matières: ... -- Skeletonizing Digital Images with Cellular Automata -- Image Processing Algorithms Implementation Using Quantum...
Accéder au texte intégral
Électronique eBook
19
Publié 2010
Table des matières: ...Invited Talks -- Games, Interaction and Computation -- Rôle of Domain Engineering in Software...
Accéder au texte intégral
Électronique eBook
20
Publié 2014
Table des matières: ... Functions Defined by Generalized Ruscheweyh Derivatives Involving Fractional Differential Operator -- A New...
Accéder au texte intégral
Électronique eBook