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