Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
communication control » communication concepts, communication culture, communication channel
decision based » decision aid
precision data » precision dairy, precision a, precision cut
decision data » decisions data, decision gate, decision aid
1
Obálka
Vydáno 2010
Obsah: “... Manipulating Lists with Unbounded Data -- Termination Analysis with Compositional Transition Invariants -- Lazy...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
2
Obálka
Vydáno 2010
Obsah: “... Sums of Floats Speeds-Up Exact Decision Computations Based on Expression Dags -- The Design of Core 2...”
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í