1
Získat plný text
Elektronický zdroj E-kniha
2
3
Vydáno 2008
Obsah: ... -- Session 9: Program Verification -- Heap Assumptions on Demand -- Proving Conditional Termination...
Získat plný text
Elektronický zdroj E-kniha
4
Vydáno 2008
Obsah: ... -- Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions -- Decision Procedures...
Získat plný text
Elektronický zdroj E-kniha
5
Vydáno 2010
Obsah: ... Functions into Multiple Damped and Delayed Sinusoidals -- Voiced/Unvoiced Decision for Speech Signals Based...
Získat plný text
Elektronický zdroj E-kniha
6
Vydáno 2007
Obsah: ...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...
Získat plný text
Elektronický zdroj E-kniha
7
Vydáno 2010
Obsah: ... of Linear Semi-Infinite Programs -- On Equilibrium Problems -- Scalarly Compactness, (S)+-Type Conditions...
Získat plný text
Elektronický zdroj E-kniha
8
Autor Abdul Ghani, Pauziah Hanum
Vydáno 2010
...This study is to develop an expert system to assess water quality for user to derive at a decision...
Získat plný text
Diplomová práce
9
Autor Abdul Ghani, Pauziah Hanum
Vydáno 2010
...This study is to develop an expert system to assess water quality for user to derive at a decision...
Získat plný text
Diplomová práce
10
Vydáno 2012
Obsah: ... Difference Method Programs -- On a Relationship between Typical Behavior and Initial Conditions of Lagrange’s...
Získat plný text
Elektronický zdroj E-kniha
Vyhledávací nástroje: RSS Poslat emailem Uložit hledání