1
Publié 2007
Table des matières: ...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...
Accéder au texte intégral
Électronique eBook
2
Table des matières: ... -- Interfaces and Nested Classes -- Aspects of Programming -- Programming Style -- Testing and Debugging...
Accéder au texte intégral
Électronique eBook
3
Publié 2006
Table des matières: ...-Agent Construction Method for Software Process Modeling in SoftPM -- Applying Little-JIL to Describe...
Accéder au texte intégral
Électronique eBook
4
Publié 2005
Table des matières: ... Dynamic Class Construct for Asynchronous Concurrent Objects -- An Abstract Machine for the Kell Calculus...
Accéder au texte intégral
Électronique eBook
5
Publié 2010
Table des matières: ... -- Formal Languages and Methods for Designing and Verifying Complex Embedded Systems -- Thematic Track...
Accéder au texte intégral
Électronique eBook
6
Publié 2014
Table des matières: ... and Personalized Interfaces -- A Model and Guidelines for the Interface Design Process for Adaptive Web...
Accéder au texte intégral
Électronique eBook
7
Publié 2006
Table des matières: ... with Obligations and Permissions -- Design Methods for Collaborative Emergent Processes -- Process Design...
Accéder au texte intégral
Électronique eBook
8
Publié 2005
Table des matières: ... Directory Construction Using Lexical Chains -- Email Categorization with Tournament Methods -- Knowledge...
Accéder au texte intégral
Électronique eBook
9
Publié 2006
Table des matières: ... for Retrospective Analysis of Release Planning Decisions -- A Qualitative Evaluation Method for Business Process...
Accéder au texte intégral
Électronique eBook
10
par Dooley, John., Dooley, John.
Publié 2011
Sujets: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Accéder au texte intégral
Électronique eBook
11
Publié 2012
Table des matières: ... Analysis of Weak Annoyances in Human Computer Interfaces -- Neural and Speech Indicators of Cognitive Load...
Accéder au texte intégral
Électronique eBook
12
Publié 2005
Table des matières: ... for Web Usage Mining -- Knowledge-Based Decision Support in Oil Well Drilling -- A New Method to Construct...
Accéder au texte intégral
Électronique eBook
13
Publié 2005
Table des matières: ...Architectures, Design and Interfaces -- Incremental Software Construction with Refinement Diagrams...
Accéder au texte intégral
Électronique eBook
14
Publié 2006
Table des matières: ... Decision Tree Learning -- NLP (Natural Language Processing) for NLP (Natural Language Programming...
Accéder au texte intégral
Électronique eBook
15
Publié 2005
Table des matières: ... and Construction of the Caddy Robot -- Rapid Algorithms for MPEG-2 to H.264 Transcoding -- A New Method...
Accéder au texte intégral
Électronique eBook
16
Sujets: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Accéder au texte intégral
Électronique eBook
17
Publié 2006
Table des matières: ... Models for Audio-Visual Speech Analysis and Recognition -- An Extensive Method to Detect the Image...
Accéder au texte intégral
Électronique eBook
18
Table des matières: ... C# Programming Constructs -- Core C# Programming Constructs, Part I -- Core C# Programming...
Accéder au texte intégral
Électronique eBook
19
Table des matières: ... -- Conclusion -- A Comparison of Modeling Methods -- Summary....
Accéder au texte intégral
Électronique eBook
20
Publié 2006
Table des matières: ... visual interfaces -- Performance Comparison of Two Identification Methods for Analysis of Head Related...
Accéder au texte intégral
Électronique eBook