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
יצא לאור 2006
תוכן הענינים: ... Models for Audio-Visual Speech Analysis and Recognition -- An Extensive Method to Detect the Image...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
17
יצא לאור 2005
תוכן הענינים: ... and Construction of the Caddy Robot -- Rapid Algorithms for MPEG-2 to H.264 Transcoding -- A New Method...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
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...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני