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