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