1
Published 2008
Table of Contents: ... with Chosen Vertex Degrees -- Fixed-Parameter Tractability of Anonymizing Data by Suppressing Entries...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...
View full text
Electronic eBook
3
by Spear, Chris., Spear, Chris.
Published 2008
Table of Contents: ... -- 2.1 Built-in Data Types -- 2.2 Fixed-Size Arrays -- 2.3 Dynamic Arrays -- 2.4 Queues -- 2.5...
View full text
Electronic eBook