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