1
Izdano 2010
Kazalo: ... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...
Polni tekst
Elektronski eKnjiga
2
Izdano 2013
Kazalo: ... Programming Based Method for Joint Object Region Matching and Labeling -- Using Models of Objects...
Polni tekst
Elektronski eKnjiga