1
出版事項 2008
目次: ... with Chosen Vertex Degrees -- Fixed-Parameter Tractability of Anonymizing Data by Suppressing Entries...
全文の入手
電子媒体 eBook
2
出版事項 2010
目次: ... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...
全文の入手
電子媒体 eBook
3
著者: Spear, Chris., Spear, Chris.
出版事項 2008
目次: ... -- 2.1 Built-in Data Types -- 2.2 Fixed-Size Arrays -- 2.3 Dynamic Arrays -- 2.4 Queues -- 2.5...
全文の入手
電子媒体 eBook