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
出版 2013
書本目錄: .... Gesticulation: A Test Protocol -- Functional Gestures for Human-Environment Interaction -- A Dynamic Fitting...
獲取全文
電子 電子書
5
出版 2008
書本目錄: ... Video Decomposition Using Bounded Variation and Oscillatory Functions -- Reinstating Floyd-Steinberg...
獲取全文
電子 電子書
6
出版 2005
書本目錄: ... Enterprise Process Modeling Through a Formalized Functional Typology -- Introducing Business Process...
獲取全文
電子 電子書
7
出版 2010
書本目錄: ... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...
獲取全文
電子 電子書
8
出版 2008
書本目錄: ...Formal Semantics in the Real World -- Speech Processing for Audio Indexing -- Sorting Out...
獲取全文
電子 電子書
9
出版 2010
書本目錄: ... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...
獲取全文
電子 電子書
10
出版 2008
書本目錄: ... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...
獲取全文
電子 電子書
11
出版 2010
書本目錄: ... -- Sequential Decision Processes under Act-State Independence with Arbitrary Choice Functions -- Similarity...
獲取全文
電子 電子書
12
出版 2008
書本目錄: ... the Functional Size in PRiM -- Implementing Software Measurement Programs in Non Mature Small Settings -- Non...
獲取全文
電子 電子書
13
出版 2015
書本目錄: ... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...
獲取全文
電子 電子書
14
出版 2012
書本目錄: ... -- Simultaneous Learning of Several Bayesian and Mahalanobis Discriminant Functions by a Neural Network...
獲取全文
電子 電子書
15
出版 2010
書本目錄: ... -- Towards Approximating COSMIC Functional Size from User Requirements in Agile Development Processes Using...
獲取全文
電子 電子書
16
出版 2006
書本目錄: ... -- An Abstract Model of Man-Machine Interaction Based on Concepts from NL Dialog Processing -- The PHASAR Search...
獲取全文
電子 電子書
17
出版 2007
書本目錄: ... -- Functional Interactivity in fMRI Using Multiple Seeds’ Correlation Analyses – Novel Methods and Comparisons...
獲取全文
電子 電子書
18
出版 2006
書本目錄: ... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...
獲取全文
電子 電子書
19
出版 2005
書本目錄: ... Transformation and Modular Arithmetic Operation -- Selective Video Encryption Based on Advanced Video Coding...
獲取全文
電子 電子書
20
出版 2010
書本目錄: ...Session 1. Invited Papers -- A Process-Theoretic Look at Automata -- Verification, Performance...
獲取全文
電子 電子書