Doporučená témata ve výsledcích tohoto hledání:
Alternativní vyhledávání:
developing computers » developing computer, developing competent, developing competence
computers https » computing https, computers gtt, computers help
java process » data process, phva process, aa process
1
Obálka
Vydáno 2007
Obsah: “... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
2
Obálka
Vydáno 2007
Obsah: “... Abstraction on Real-Valued Programs -- Taming the Wrapping of Integer Arithmetic -- Under-Approximations...”
Získat plný text
Elektronický zdroj E-kniha
Přidat do oblíbených
Uloženo v:
3
Obálka
Vydáno 2007
Obsah: “... Scheduling on Multi-issue Digital Signal Processors -- An Array Allocation Scheme for Energy Reduction...”
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í