1
Publié 2013
Table des matières: ...A Relational Approach to Tool-Use Learning in Robots -- A Refinement Operator for Inducing Threaded...
Accéder au texte intégral
Électronique eBook
2
Table des matières: ...Introduction to Programming in Fortran -- Control Constructs -- Modules and Procedures -- Arrays...
Accéder au texte intégral
Électronique eBook
3
Table des matières: ...Computers and Computing -- General Features of C++ -- Programming in C++ -- User-Defined Functions...
Accéder au texte intégral
Électronique eBook
4
Table des matières: ... programs -- Formal Semantics -- Formal Model for Program Analysis -- Compilation of Programs -- Advanced...
Accéder au texte intégral
Électronique eBook
5
Publié 2010
Table des matières: ... and Its Application -- Interpretation of the Preferences of Automotive Customers Applied to Air...
Accéder au texte intégral
Électronique eBook
6
Publié 2008
Table des matières: ... -- Applications of Graph Transformation -- Mobile Agents Implementing Local Computations in Graphs -- A...
Accéder au texte intégral
Électronique eBook
7
Publié 2010
Table des matières: ... and Continuous Architectural Software Quality Assurance Using the aSQA Technique -- An Architectural Approach...
Accéder au texte intégral
Électronique eBook
8
Publié 2013
Table des matières: ... for Runtime Assertion Checking of C Programs -- Impartiality and Anticipation for Monitoring of Visibly...
Accéder au texte intégral
Électronique eBook
9
Publié 2008
Table des matières: ... -- TAPAs: A Tool for the Analysis of Process Algebras -- Translating Message Sequence Charts to other...
Accéder au texte intégral
Électronique eBook
10
Publié 2007
Table des matières: ... -- OpenBQR: a framework for the assessment of OSS -- Network Analysis of the SourceForge.net Community...
Accéder au texte intégral
Électronique eBook
11
Publié 2005
Table des matières: ... -- Automation I -- Concepts for Comparing Modeling Tool Architectures -- Scenario Construction Tool Based...
Accéder au texte intégral
Électronique eBook
12
Publié 2010
Table des matières: ... in Answer Set Programs via Argumentation Theories -- Short Papers -- A Rule-Based Approach to XML Processing...
Accéder au texte intégral
Électronique eBook
13
Publié 2010
Table des matières: ... Game-Theoretic Approach -- Anaphora Resolution with Real Preprocessing -- Automatic Construction of a...
Accéder au texte intégral
Électronique eBook
14
Publié 2008
Table des matières: ... -- Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods....
Accéder au texte intégral
Électronique eBook
15
Publié 2007
Table des matières: ... in DS-CDMA Systems -- Approximate Life Cycle Assessment of Product Concepts Using a Hybrid Genetic...
Accéder au texte intégral
Électronique eBook
16
Publié 2005
Table des matières: ... Algorithm of Proxy Server for Multiple Videos -- Dynamic Adaptive Architecture for Self-adaptation...
Accéder au texte intégral
Électronique eBook
17
Publié 2010
Table des matières: ... Matching Based Automatic Scoring System for C Programming Language -- An Analysis Framework of Activity...
Accéder au texte intégral
Électronique eBook
18
Publié 2005
Table des matières: ... Disorders -- An Intelligent Knowledge-Based Recommendation System -- A Formal Concept Analysis Approach...
Accéder au texte intégral
Électronique eBook
19
Publié 2005
Table des matières: ... IMS Standards: Architecture of a Manifest Driven Approach -- Constructing a SCORM-Compliant...
Accéder au texte intégral
Électronique eBook
20
Publié 2007
Table des matières: ... of Affordances in Autonomous Robots -- A Computational Model of Bistable Perception- Attention Dynamics with Long...
Accéder au texte intégral
Électronique eBook