1
Vydáno 2006
Obsah: ... About Recursive Functions: A Practical Tool for the Coq Proof Assistant -- Soutei, a Logic-Based Trust...
Získat plný text
Elektronický zdroj E-kniha
2
Vydáno 2010
Obsah: ... System -- Automatic Computer Overhead Line Design -- Building Test Cases through Model Driven Engineering...
Získat plný text
Elektronický zdroj E-kniha
3
Vydáno 2012
Obsah: ... in Parameterized Algorithmics -- Scott Is Always Simple -- Simple Models for Recursive Schemes -- Unordered...
Získat plný text
Elektronický zdroj E-kniha
4
Vydáno 2010
Obsah: ... Performance Computing -- Trust Worthy Architecture for Mobile Ad Hoc Network Environment -- A Cross Layer...
Získat plný text
Elektronický zdroj E-kniha
Vyhledávací nástroje: RSS Poslat emailem Uložit hledání