1
Publicado em 2007
Sumário: ...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...
Obter o texto integral
Recurso Eletrônico livro eletrônico
2
Publicado em 2006
Sumário: ...-Agent Construction Method for Software Process Modeling in SoftPM -- Applying Little-JIL to Describe...
Obter o texto integral
Recurso Eletrônico livro eletrônico
3
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 Eletrônico livro eletrônico
4
Publicado em 2006
Sumário: ... with Obligations and Permissions -- Design Methods for Collaborative Emergent Processes -- Process Design...
Obter o texto integral
Recurso Eletrônico livro eletrônico
5
Publicado em 2005
Sumário: ... Dynamic Class Construct for Asynchronous Concurrent Objects -- An Abstract Machine for the Kell Calculus...
Obter o texto integral
Recurso Eletrônico livro eletrônico
6
por Gries, David., Gries, David., Gries, Paul.
Publicado em 2005
Sumário: ... -- Interfaces and Nested Classes -- Aspects of Programming -- Programming Style -- Testing and Debugging...
Obter o texto integral
Recurso Eletrônico livro eletrônico
7
Publicado em 2005
Sumário: ... Directory Construction Using Lexical Chains -- Email Categorization with Tournament Methods -- Knowledge...
Obter o texto integral
Recurso Eletrônico livro eletrô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 Eletrônico livro eletrônico
9
Publicado em 2012
Sumário: ... Analysis of Weak Annoyances in Human Computer Interfaces -- Neural and Speech Indicators of Cognitive Load...
Obter o texto integral
Recurso Eletrônico livro eletrônico
10
Publicado em 2006
Sumário: ... for Retrospective Analysis of Release Planning Decisions -- A Qualitative Evaluation Method for Business Process...
Obter o texto integral
Recurso Eletrônico livro eletrônico
11
Publicado em 2005
Sumário: ... for Web Usage Mining -- Knowledge-Based Decision Support in Oil Well Drilling -- A New Method to Construct...
Obter o texto integral
Recurso Eletrônico livro eletrônico
12
Publicado em 2006
Sumário: ... Decision Tree Learning -- NLP (Natural Language Processing) for NLP (Natural Language Programming...
Obter o texto integral
Recurso Eletrônico livro eletrônico
13
Publicado em 2005
Sumário: ... and Construction of the Caddy Robot -- Rapid Algorithms for MPEG-2 to H.264 Transcoding -- A New Method...
Obter o texto integral
Recurso Eletrônico livro eletrônico
14
Publicado em 2006
Sumário: ... Models for Audio-Visual Speech Analysis and Recognition -- An Extensive Method to Detect the Image...
Obter o texto integral
Recurso Eletrônico livro eletrônico
15
por Hausser, Roland R., Hausser, Roland R.
Publicado em 2006
Sumário: ...The Communication Mechanism of Cognition -- Matters of Method -- Interfaces and Components -- Data...
Obter o texto integral
Recurso Eletrônico livro eletrônico
16
por Draheim, Dirk., Draheim, Dirk., Weber, Gerald.
Publicado em 2005
Sumário: ... -- Conclusion -- A Comparison of Modeling Methods -- Summary....
Obter o texto integral
Recurso Eletrônico livro eletrônico
17
Publicado em 2010
Sumário: ... Discernable Source of Emergent Game Play and the Process-Oriented Method -- Re-envisioning the Museum...
Obter o texto integral
Recurso Eletrônico livro eletrônico
18
Publicado em 2008
Sumário: ... of the Dynamical Behavior of Three-Wheeled Omni-directional Robots -- Intuitive Plan Construction and Adaptive Plan...
Obter o texto integral
Recurso Eletrônico livro eletrônico
19
Publicado em 2010
Sumário: ... for Surface Correction -- A Local-Frame Based Method for Vector Field Construction on Raw Point Cloud...
Obter o texto integral
Recurso Eletrônico livro eletrônico
20
Publicado em 2006
Sumário: ... visual interfaces -- Performance Comparison of Two Identification Methods for Analysis of Head Related...
Obter o texto integral
Recurso Eletrônico livro eletrônico