1
Publicado em 2007
Sumário: ... -- Developing Character Input Methods for Driver Information Systems -- Linguistic Analysis of Websites: A New...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2010
Sumário: ... Constrained SIFT Matching -- A Method for Music Structure Analysis Using MPEG-4 TwinVQ Audio Compression -- A...
Obter o texto integral
Recurso Electrónico livro electrónico
3
Publicado em 2013
Sumário: ... Interface of Interactive Media Art in Stereoscopic Environment -- A Method of Viewing 3D Horror Contents...
Obter o texto integral
Recurso Electrónico livro electrónico
4
Publicado em 2014
Sumário: ... and Personalized Interfaces -- A Model and Guidelines for the Interface Design Process for Adaptive Web...
Obter o texto integral
Recurso Electrónico livro electrónico
5
Publicado em 2012
Sumário: ....- Inferring Semantic Interfaces of Data Structures.- Learning-Based Test Programming for Programmers...
Obter o texto integral
Recurso Electrónico livro electrónico
6
Publicado em 2012
Sumário: ....- Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective.- Formal Methods...
Obter o texto integral
Recurso Electrónico livro electrónico
7
Publicado em 2012
Sumário: ...Does Social Network Always Promote Entrepreneurial Intentions? Part I: Theoretical Model...
Obter o texto integral
Recurso Electrónico livro electrónico
8
Publicado em 2010
Sumário: ... -- Formal Languages and Methods for Designing and Verifying Complex Embedded Systems -- Thematic Track...
Obter o texto integral
Recurso Electrónico livro electrónico
9
Publicado em 2010
Sumário: ... of Processes and Activities -- Towards a Systematic Service-oriented Requirements Engineering Process (S-SoRE...
Obter o texto integral
Recurso Electrónico livro electrónico
10
Publicado em 2010
Sumário: ... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...
Obter o texto integral
Recurso Electrónico livro electrónico
11
Publicado em 2010
Sumário: ... in Three-Dimensional Environment -- Markovian Ants in a Queuing System -- A Parametric Method Applied...
Obter o texto integral
Recurso Electrónico livro electrónico
12
Publicado em 2014
Sumário: ...Part I: Keynotes -- Part II: Future Tools -- Part III: Business Process Models -- Part IV...
Obter o texto integral
Recurso Electrónico livro electrónico
13
Publicado em 2007
Sumário: ... Registration of Biomedical Images -- Characterization of Artificial Muscles Using Image Processing...
Obter o texto integral
Recurso Electrónico livro electrónico
14
Publicado em 2006
Sumário: ... -- On Mobility of Software Processes -- Software Process Fusion: Uniting Pair Programming and Solo Programming...
Obter o texto integral
Recurso Electrónico livro electrónico
15
Publicado em 2005
Sumário: ... Group Key Agreement Fitted for Pay-TV -- A Method of Generating Table of Contents for Educational Videos...
Obter o texto integral
Recurso Electrónico livro electrónico
16
Publicado em 2005
Sumário: ...Art -- Network (I) -- Sports (I) -- Immersive Conferencing: Novel Interfaces and Paradigms...
Obter o texto integral
Recurso Electrónico livro electrónico
17
Publicado em 2005
Sumário: ... Generation and Distribution for Live Programs on Broadcasting-Telecommunication Linkage Services -- Data...
Obter o texto integral
Recurso Electrónico livro electrónico
18
Publicado em 2014
Sumário: ... for the Internet of Services -- Semantic Technologies for the Internet of Services -- Part IV – Program...
Obter o texto integral
Recurso Electrónico livro electrónico
19
Publicado em 2006
Sumário: ... with Obligations and Permissions -- Design Methods for Collaborative Emergent Processes -- Process Design...
Obter o texto integral
Recurso Electrónico livro electrónico
20
Publicado em 2005
Sumário: ... -- Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation -- Graph Processes...
Obter o texto integral
Recurso Electrónico livro electrónico