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