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