1
Published 2010
Table of Contents: ... Annotation for Program Testing and Verification -- The Static Driver Verifier Research Platform -- Dsolve...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...
View full text
Electronic eBook