1
Sisällysluettelo: ... and Exceptions -- Developing Classes for Linear Algebra Calculations -- An Introduction to Parallel Programming...
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
Julkaistu 2006
Sisällysluettelo: ... Approach to Regular Sets -- Models, Deduction, and Computation -- Elementary Algebraic Specifications...
Hae kokoteksti
Elektroninen E-kirja
5
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
6
Julkaistu 2010
Sisällysluettelo: ... and Its Application -- Interpretation of the Preferences of Automotive Customers Applied to Air...
Hae kokoteksti
Elektroninen E-kirja
7
Julkaistu 2008
Sisällysluettelo: ... -- Applications of Graph Transformation -- Mobile Agents Implementing Local Computations in Graphs -- A...
Hae kokoteksti
Elektroninen E-kirja
8
Tekijä Ben-Hamou, Andre., Ben-Hamou, Andre.
Julkaistu 2007
Sisällysluettelo: ...What Ruby Can Do for You -- Common Tasks, Quick Solutions -- A Practical Look at Performance...
Hae kokoteksti
Elektroninen E-kirja
9
Julkaistu 2010
Sisällysluettelo: ... and Continuous Architectural Software Quality Assurance Using the aSQA Technique -- An Architectural Approach...
Hae kokoteksti
Elektroninen E-kirja
10
Julkaistu 2013
Sisällysluettelo: ... for Runtime Assertion Checking of C Programs -- Impartiality and Anticipation for Monitoring of Visibly...
Hae kokoteksti
Elektroninen E-kirja
11
Julkaistu 2008
Sisällysluettelo: ... -- TAPAs: A Tool for the Analysis of Process Algebras -- Translating Message Sequence Charts to other...
Hae kokoteksti
Elektroninen E-kirja
12
Julkaistu 2007
Sisällysluettelo: ... -- OpenBQR: a framework for the assessment of OSS -- Network Analysis of the SourceForge.net Community...
Hae kokoteksti
Elektroninen E-kirja
13
Julkaistu 2005
Sisällysluettelo: ... -- Automation I -- Concepts for Comparing Modeling Tool Architectures -- Scenario Construction Tool Based...
Hae kokoteksti
Elektroninen E-kirja
14
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
15
Julkaistu 2008
Sisällysluettelo: ... -- Constructing a Knowledge Base for Gene Regulatory Dynamics by Formal Concept Analysis Methods....
Hae kokoteksti
Elektroninen E-kirja
16
Sisällysluettelo: ... Representations -- Reactive, Asynchronous, and Concurrent Programming -- Building Web Applications -- Working...
Hae kokoteksti
Elektroninen E-kirja
17
Julkaistu 2005
Sisällysluettelo: ... Algorithm of Proxy Server for Multiple Videos -- Dynamic Adaptive Architecture for Self-adaptation...
Hae kokoteksti
Elektroninen E-kirja
18
Julkaistu 2010
Sisällysluettelo: ... Matching Based Automatic Scoring System for C Programming Language -- An Analysis Framework of Activity...
Hae kokoteksti
Elektroninen E-kirja
19
Julkaistu 2005
Sisällysluettelo: ... Disorders -- An Intelligent Knowledge-Based Recommendation System -- A Formal Concept Analysis Approach...
Hae kokoteksti
Elektroninen E-kirja
20
Julkaistu 2005
Sisällysluettelo: ... IMS Standards: Architecture of a Manifest Driven Approach -- Constructing a SCORM-Compliant...
Hae kokoteksti
Elektroninen E-kirja