1
Wydane 2008
Spis treści: ... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...
Dokumenty pełnotekstowe
Elektroniczne E-book
2
Wydane 2005
Spis treści: ... Dependencies of Multi-dimensional Array References -- Session 6: Network Architecture -- QoS-Based Dynamic...
Dokumenty pełnotekstowe
Elektroniczne E-book