1
יצא לאור 2006
תוכן הענינים: ... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
2
יצא לאור 2007
תוכן הענינים: ...-objective Model Checking of Markov Decision Processes -- PReMo: An Analyzer for Probabilistic Recursive...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
3
יצא לאור 2005
תוכן הענינים: ... Data-Driven Systems for Improving Named Entity Recognition -- Natural Language Processing: Mature...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
4
יצא לאור 2005
תוכן הענינים: ... -- Key Frame Extraction Based on Shot Coverage and Distortion -- Secret Message Location Steganalysis...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
5
מאת Draheim, Dirk., Draheim, Dirk., Weber, Gerald.
יצא לאור 2005
תוכן הענינים: ... -- Data Modeling -- Message-Based Modeling of Data Interchange -- A Descriptive Approach -- Tool Support...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
6
יצא לאור 2005
תוכן הענינים: ... -- XPi: A Typed Process Calculus for XML Messaging -- UML -- Checking the Validity of Scenarios in UML...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
7
יצא לאור 2008
תוכן הענינים: ... Framework to Support Automatic Construction of Adaptive Learning Experiences -- Learning Resource...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
8
יצא לאור 2008
תוכן הענינים: ... Interface for Security Tools -- Posters -- WAPE - a system for distance learning of programming -- Topic...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
9
יצא לאור 2006
תוכן הענינים: ... -- Artificial Intelligence and Decision Support Systems -- CONSTRUCTION OF DECISION TREES USING DATA CUBE...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
10
יצא לאור 2010
תוכן הענינים: ... Using Quadratic Programming -- Understanding Diagrams and Text -- Recognizing the Intended Message...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
11
יצא לאור 2010
תוכן הענינים: ... Specifications for a Document Management Assistant -- Towards a Spatial-Temporal Processing Model -- Structure...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
12
יצא לאור 2010
תוכן הענינים: ... of C Programs -- Analysing Message Sequence Graph Specifications -- Optimize Context-Sensitive Andersen...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
13
יצא לאור 2010
תוכן הענינים: ... Language Processing -- Authoring Technical Documents for Effective Retrieval -- A Methodology towards...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
14
יצא לאור 2010
תוכן הענינים: ... Modeling on the Architectural Design Process -- An OpenGL-based Interface to 3D PowerPoint-like...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
15
יצא לאור 2007
תוכן הענינים: ... with Preprocessing -- Games, Time, and Probability: Graph Models for System Design and Analysis -- Agreement...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
16
יצא לאור 2010
תוכן הענינים: ... for Geophysical Fluid Sciences, Part II: RESTful Web Services and Object-Oriented Programming Interface -- 3rd...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני
17
יצא לאור 2007
תוכן הענינים: ... in Defence and Security -- Auditing and Mapping the Knowledge Assets of Business Processes – An Empirical...
קבל טקסט מלא
אלקטרוני ספר אלקטרוני