1
Wydane 2010
Spis treści: ... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...
Dokumenty pełnotekstowe
Elektroniczne E-book
2
Wydane 2013
Spis treści: ... Programming Based Method for Joint Object Region Matching and Labeling -- Using Models of Objects...
Dokumenty pełnotekstowe
Elektroniczne E-book