1
Published 2006
Table of Contents: ... and Infinite Signatures -- Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... Graphs -- Maintaining XML Data Integrity in Programs -- Improving Classification Performance with Focus...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... Network for a Humanoid Robot -- Programming by Integration in Robotics -- A Mathematical Formalism...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... -- Combinatorial Optimization -- Memetic Algorithms for Constructing Binary Covering Arrays of Strength Three -- A...
View full text
Electronic eBook
6
Published 2015
Table of Contents: ... -- Chapter 6. On solvability for certain functional equations arising in dynamic programming -- Chapter 7...
View full text
Electronic eBook
7
Published 2015
Table of Contents: ... Estimation Precision Tuning.-Functional and Non-functional Size Measurement with IFPUG FPA and SNAP — Case...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... Modelling -- Inferring Transcriptional Regulatory Network -- Finding Functional Modules -- Modeling...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... Logical Systems -- The Description Logic for Relational Databases -- Non-Functional Requirements...
View full text
Electronic eBook
10
Published 2014
Table of Contents: ... arrays -- Paleogenomics as a guide for traits improvement -- Non-invasive phenotyping methodologies...
View full text
Electronic eBook