1
Vydáno 2010
Obsah: ... Joins across Function Calls -- Fast Arc-Annotated Subsequence Matching in Linear Space -- Automated...
Získat plný text
Elektronický zdroj E-kniha
2
Vydáno 2007
Obsah: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
Získat plný text
Elektronický zdroj E-kniha
3
Vydáno 2007
Obsah: ...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...
Získat plný text
Elektronický zdroj E-kniha
Vyhledávací nástroje: RSS Poslat emailem Uložit hledání