Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
computations programming » computation programming, communications programming, computing programming
structured computations » structure computations, structural computations, structure computation
programming recursion » programming decision, programming session, programming decisions
recursion basic » decision basic, precision basic, recursion case
basic struts » basic truth, basic strokes, basic study
1
Obálka
Vydáno 2007
Obsah: “...Invited Papers -- How To Be Fickle -- Finite Model Theory on Tame Classes of Structures -- Minimum...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
2
Obálka
Vydáno 2006
Obsah: “... -- Proving Liveness by Backwards Reachability -- Model Checking Quantified Computation Tree Logic -- Process...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
3
Obálka
Vydáno 2008
Obsah: “... of Computer Science -- Recursive Domain Equations of Filter Models -- Algorithmic Problems for Metrics...”
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í