1
Obsah: ... of a Program -- Purpose and Scope of Actions -- Action Types -- Controlling Actions: Conditionals...
Získat plný text
Elektronický zdroj E-kniha
2
Vydáno 2007
Obsah: ... Completeness for Proof-Terms with Laird’s Dual Affine/Intuitionistic ?-Calculus -- Linear Recursive Functions...
Získat plný text
Elektronický zdroj E-kniha
3
Vydáno 2008
Obsah: ... Recursive Programs with Exact Predicate Abstraction -- Loop Summarization Using Abstract Transformers...
Získat plný text
Elektronický zdroj E-kniha
4
Vydáno 2010
Obsah: ... Approach Using Burr’s Distribution Function for High Speed On-Chip RC Interconnects -- Wavelet-Domain L...
Získat plný text
Elektronický zdroj E-kniha
Vyhledávací nástroje: RSS Poslat emailem Uložit hledání