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