1
منشور في 2007
جدول المحتويات: ...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...
احصل على النص الكامل
الكتروني كتاب الكتروني
2
بواسطة Gries, David., Gries, David., Gries, Paul.
منشور في 2005
جدول المحتويات: ... -- Interfaces and Nested Classes -- Aspects of Programming -- Programming Style -- Testing and Debugging...
احصل على النص الكامل
الكتروني كتاب الكتروني
3
منشور في 2006
جدول المحتويات: ...-Agent Construction Method for Software Process Modeling in SoftPM -- Applying Little-JIL to Describe...
احصل على النص الكامل
الكتروني كتاب الكتروني
4
منشور في 2005
جدول المحتويات: ... Dynamic Class Construct for Asynchronous Concurrent Objects -- An Abstract Machine for the Kell Calculus...
احصل على النص الكامل
الكتروني كتاب الكتروني
5
منشور في 2010
جدول المحتويات: ... -- Formal Languages and Methods for Designing and Verifying Complex Embedded Systems -- Thematic Track...
احصل على النص الكامل
الكتروني كتاب الكتروني
6
منشور في 2014
جدول المحتويات: ... and Personalized Interfaces -- A Model and Guidelines for the Interface Design Process for Adaptive Web...
احصل على النص الكامل
الكتروني كتاب الكتروني
7
منشور في 2006
جدول المحتويات: ... with Obligations and Permissions -- Design Methods for Collaborative Emergent Processes -- Process Design...
احصل على النص الكامل
الكتروني كتاب الكتروني
8
منشور في 2005
جدول المحتويات: ... Directory Construction Using Lexical Chains -- Email Categorization with Tournament Methods -- Knowledge...
احصل على النص الكامل
الكتروني كتاب الكتروني
9
منشور في 2006
جدول المحتويات: ... for Retrospective Analysis of Release Planning Decisions -- A Qualitative Evaluation Method for Business Process...
احصل على النص الكامل
الكتروني كتاب الكتروني
10
بواسطة Dooley, John., Dooley, John.
منشور في 2011
الموضوعات: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
احصل على النص الكامل
الكتروني كتاب الكتروني
11
منشور في 2012
جدول المحتويات: ... Analysis of Weak Annoyances in Human Computer Interfaces -- Neural and Speech Indicators of Cognitive Load...
احصل على النص الكامل
الكتروني كتاب الكتروني
12
منشور في 2005
جدول المحتويات: ... for Web Usage Mining -- Knowledge-Based Decision Support in Oil Well Drilling -- A New Method to Construct...
احصل على النص الكامل
الكتروني كتاب الكتروني
13
منشور في 2005
جدول المحتويات: ...Architectures, Design and Interfaces -- Incremental Software Construction with Refinement Diagrams...
احصل على النص الكامل
الكتروني كتاب الكتروني
14
منشور في 2006
جدول المحتويات: ... Decision Tree Learning -- NLP (Natural Language Processing) for NLP (Natural Language Programming...
احصل على النص الكامل
الكتروني كتاب الكتروني
15
بواسطة Gross, Hans-Gerhard., Gross, Hans-Gerhard.
منشور في 2005
الموضوعات: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
احصل على النص الكامل
الكتروني كتاب الكتروني
16
منشور في 2005
جدول المحتويات: ... and Construction of the Caddy Robot -- Rapid Algorithms for MPEG-2 to H.264 Transcoding -- A New Method...
احصل على النص الكامل
الكتروني كتاب الكتروني
17
منشور في 2006
جدول المحتويات: ... Models for Audio-Visual Speech Analysis and Recognition -- An Extensive Method to Detect the Image...
احصل على النص الكامل
الكتروني كتاب الكتروني
18
بواسطة Troelsen, Andrew., Troelsen, Andrew.
منشور في 2007
جدول المحتويات: ... C# Programming Constructs -- Core C# Programming Constructs, Part I -- Core C# Programming...
احصل على النص الكامل
الكتروني كتاب الكتروني
19
بواسطة Draheim, Dirk., Draheim, Dirk., Weber, Gerald.
منشور في 2005
جدول المحتويات: ... -- Conclusion -- A Comparison of Modeling Methods -- Summary....
احصل على النص الكامل
الكتروني كتاب الكتروني
20
منشور في 2006
جدول المحتويات: ... visual interfaces -- Performance Comparison of Two Identification Methods for Analysis of Head Related...
احصل على النص الكامل
الكتروني كتاب الكتروني