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