1
Publié 2006
Table des matières: ...TOPOLOGICAL OPTIMIZATION OF CONTINUUM STRUCTURE WITH GLOBAL STRESS CONSTRAINTS BASED ON ICM METHOD...
Accéder au texte intégral
Électronique eBook
2
Publié 2008
Table des matières: ... and Examination Methods in a Data Structures and Algorithms Course -- Mini Project Programming Exams....
Accéder au texte intégral
Électronique eBook
3
Publié 2007
Table des matières: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Accéder au texte intégral
Électronique eBook
4
Publié 2007
Table des matières: ... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...
Accéder au texte intégral
Électronique eBook
5
Publié 2010
Table des matières: ... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...
Accéder au texte intégral
Électronique eBook
6
Publié 2007
Table des matières: ... for Nuclear Digital Protection System -- Specification of a Software Common Cause Analysis Method -- Combining...
Accéder au texte intégral
Électronique eBook
7
Publié 2008
Table des matières: ...Keynote Papers -- Critical Information Infrastructures: Should Models Represent Structures...
Accéder au texte intégral
Électronique eBook
8
Publié 2010
Table des matières: ...- and ANBDmem-Encoding: Detecting Hardware Errors in Software -- Session 5 -- Field Test Methods for a Co...
Accéder au texte intégral
Électronique eBook
9
Publié 2015
Table des matières: ... Test Cases Minimization for Object Oriented Programs....
Accéder au texte intégral
Électronique eBook
10
Publié 2014
Table des matières: ... Structures Using Bio-inspired Methods -- Applying Metamodels and Sequential Sampling for Constrained...
Accéder au texte intégral
Électronique eBook
11
... virtual screening using structure-based and ligand-based methods. These compounds were predicted to bind...
Accéder au texte intégral
Article
12
Publié 2007
Table des matières: ...-Functional MDA Framework -- Information Preserving Bidirectional Model Transformations -- Activity-Driven...
Accéder au texte intégral
Électronique eBook
13
Publié 2010
Table des matières: ... Networks Using Yule-Walker AR Method -- A Dynamic Bayesian Network Based Structural Learning towards...
Accéder au texte intégral
Électronique eBook
14
Publié 2014
Table des matières: ...Virtual Clinical Trials for the Assessment of Novel Breast Screening Modalities -- Computer-Aided...
Accéder au texte intégral
Électronique eBook
15
Publié 2013
Table des matières: ... for Lexicographic Orders -- Expressive Reasoning on Tree Structures: Recursion, Inverse Programs, Presburger...
Accéder au texte intégral
Électronique eBook
16
Publié 2008
Table des matières: ... and Exercise Project (HEP) Conception and Contents of a “Programmed Sports Therapy” for Hemophilic Patients...
Accéder au texte intégral
Électronique eBook