1
Accéder au texte intégral
Électronique eBook
2
3
Publié 2008
Table des matières: ... -- Session 9: Program Verification -- Heap Assumptions on Demand -- Proving Conditional Termination...
Accéder au texte intégral
Électronique eBook
4
Publié 2008
Table des matières: ... -- Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions -- Decision Procedures...
Accéder au texte intégral
Électronique eBook
5
Publié 2010
Table des matières: ... Functions into Multiple Damped and Delayed Sinusoidals -- Voiced/Unvoiced Decision for Speech Signals Based...
Accéder au texte intégral
Électronique eBook
6
Publié 2007
Table des matières: ...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...
Accéder au texte intégral
Électronique eBook
7
Publié 2010
Table des matières: ... of Linear Semi-Infinite Programs -- On Equilibrium Problems -- Scalarly Compactness, (S)+-Type Conditions...
Accéder au texte intégral
Électronique eBook
8
Publié 2012
Table des matières: ... Difference Method Programs -- On a Relationship between Typical Behavior and Initial Conditions of Lagrange’s...
Accéder au texte intégral
Électronique eBook
9
par Abdul Ghani, Pauziah Hanum
Publié 2010
...This study is to develop an expert system to assess water quality for user to derive at a decision...
Accéder au texte intégral
Thèse
10
par Abdul Ghani, Pauziah Hanum
Publié 2010
...This study is to develop an expert system to assess water quality for user to derive at a decision...
Accéder au texte intégral
Thèse