Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
programming programmed » processing programmed
recursive programming » recursive programs
programmed constructs » programming constructs, programme contract, programmed instructions
integrated recursive » integrated security, integrated receiver, integrated reverse
constructs loops » constructs lists, constructs coders, constructs core
1
Obálka
Vydáno 2013
Obsah: “... and Implementing Probabilistic Concurrent Systems -- Model-Checking Higher-Order Programs with Recursive Types...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
2
Obálka
Vydáno 2006
Obsah: “... -- Constructing Camin-Sokal Phylogenies Via Answer Set Programming -- Automata for Positive Core XPath Queries...”
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í