1
Published 2010
Table of Contents: ... Framework and Software Infrastructure for the Construction of Software Production Methods -- Software...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...
View full text
Electronic eBook
4
by Raynal, Michel., Raynal, Michel.
Published 2013
Table of Contents: ...: The Atomicity Concept -- Chap. 4 - Atomicity: Formal Definition and Properties -- Part III - Mutex-Free...
View full text
Electronic eBook
5
Table of Contents: ...Introduction to Programming in Fortran -- Control Constructs -- Modules and Procedures -- Arrays...
View full text
Electronic eBook
6
by McLaughlin, Michael
Published 2014
Subjects: ...PL/SQL (Computer program language)....
Book
7
Published 2010
Table of Contents: ...Markowitz for the Masses: Portfolio Construction Techniques -- Markowitz for the Masses: The Risk...
View full text
Electronic eBook
8
by Ahmad, Syarbaini
Published 2016
Subjects: ...Debugging in computer science - Computer programs...
View full text
Thesis
9
Published 2006
Table of Contents: ... -- TOPOLOGICAL OPTIMIZATION OF FRAME STRUCTURES UNDER MULTIPLE LOADING CASES$^*$ -- OPTIMAL DISPLACEMENT CONTROL...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ...Keynote Speech -- Emergence in Organic Computing Systems: Discussion of a Controversial Concept...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Analysis: Results of Tests of Differences on Simulated Data and a Cross Cultural Analysis of the Sourcing...
View full text
Electronic eBook
13
Published 2012
Table of Contents: ... Constraint Satisfaction Games -- A Polynomial-Time Algorithm for Computing the Maximum Common -- Subgraph...
View full text
Electronic eBook
14
Published 2006
Table of Contents: ... on BE-Vector Clustering -- Deriving Event Relevance from the Ontology Constructed with Formal Concept Analysis...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... -- Automation I -- Concepts for Comparing Modeling Tool Architectures -- Scenario Construction Tool Based...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ...Constructive Alignment for Teaching Model-Based Design for Concurrency -- Teaching Modelling...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ... Research Approach -- Community Structure, Individual Participation and the Social Construction of Merit...
View full text
Electronic eBook
18
Published 2010
Table of Contents: ... -- Computers and New Science of Learning -- Redesigning Testing: Operationalizing the New Science of Learning...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ... -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...
View full text
Electronic eBook