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 2015
Table of Contents: ... Objectives -- syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... by Attribute-Dependency Formulas -- On Computing the Minimal Generator Family for Concept Lattices and Icebergs...
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
Published 2010
Table of Contents: ... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...
View full text
Electronic eBook
9
Published 2013
View full text
Electronic eBook
10
by Ahmad, Syarbaini
Published 2016
Subjects: ...Debugging in computer science - Computer programs...
View full text
Thesis
11
Published 2006
Table of Contents: ... -- TOPOLOGICAL OPTIMIZATION OF FRAME STRUCTURES UNDER MULTIPLE LOADING CASES$^*$ -- OPTIMAL DISPLACEMENT CONTROL...
View full text
Electronic eBook
12
Published 2006
Table of Contents: ...Keynote Speech -- Emergence in Organic Computing Systems: Discussion of a Controversial Concept...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... Wold#x2019;s Basic Design and Partial Least Squares -- PLS Path Modeling: From Foundations to Recent...
View full text
Electronic eBook
15
Table of Contents: ...What is Distributed Processing? -- Concepts of Concurrency -- Models of Concurrency -- Concurrency...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ...Formal Methods and the Theory of Social Choice -- Relations Making Their Way from Logics...
View full text
Electronic eBook
17
Published 2012
Table of Contents: ... Constraint Satisfaction Games -- A Polynomial-Time Algorithm for Computing the Maximum Common -- Subgraph...
View full text
Electronic eBook
18
Published 2014
Table of Contents: ... Sentence Similarity Based on Concepts -- Materialized View Construction Based on Clustering Technique...
View full text
Electronic eBook
19
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
20
Published 2010
Table of Contents: ... of Video Based on the Association Graph Construction of Video Objects -- Using SOA Concept to Construct...
View full text
Electronic eBook