Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
variations computation » formations computation, equations computation, variation mutation
computation concurrent » compression concurrent, formulation concurrent, simulation concurrent
concurrent programming » constraint programming, concurrent programs
array processing » dairy processing, query processing
array string » array strong, arrays strings, array sharing
1
Obálka
Vydáno 2014
Obsah: “... Process in Time: An Application to Probabilistic Invariance -- SACO: Static Analyzer for Concurrent...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
Vyhledávací nástroje: RSS — Poslat emailem — Uložit hledání