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