1
Argitaratua 2007
Aurkibidea: ... for Java -- Verification of Hybrid Systems -- Session I: Compositionality -- SAT-Based Compositional...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2010
Aurkibidea: ... Covering Arrays -- On the Best Evolutionary Wavelet Based Filter to Compress a Specific Signal -- Fuzzy...
Testu osoa
Baliabide elektronikoa eBook
3
Argitaratua 2006
Aurkibidea: ... the Eigenvalue Power Law -- Multicast Transmissions in Non-cooperative Networks with a Limited Number of Selfish...
Testu osoa
Baliabide elektronikoa eBook
4
Argitaratua 2008
Aurkibidea: ... Using WPDSs -- Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA -- Typing...
Testu osoa
Baliabide elektronikoa eBook