Doporučená témata ve výsledcích tohoto hledání:
Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
learning microsoft's » using microsoft's
computing problems » compounding problems, routing problems, computers problems
integer computing » internet computing, integrated computing, integer computation
https » http
learning microsoft's » using microsoft's
computing problems » compounding problems, routing problems, computers problems
integer computing » internet computing, integrated computing, integer computation
https » http
1
Vydáno 2007
Obsah:
“... Verification Using Lazy Learning -- Local Proofs for Global Safety Properties -- Session II: Verification...”Získat plný text
Elektronický zdroj
E-kniha
