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