1
Argitaratua 2008
Aurkibidea: ... with Chosen Vertex Degrees -- Fixed-Parameter Tractability of Anonymizing Data by Suppressing Entries...
Testu osoa
Baliabide elektronikoa eBook
2
Argitaratua 2010
Aurkibidea: ... of Room at the Bottom: Analyzing and Verifying Machine Code -- Constraint Solving for Program Verification...
Testu osoa
Baliabide elektronikoa eBook
3
nork Spear, Chris., Spear, Chris.
Argitaratua 2008
Aurkibidea: ... -- 2.1 Built-in Data Types -- 2.2 Fixed-Size Arrays -- 2.3 Dynamic Arrays -- 2.4 Queues -- 2.5...
Testu osoa
Baliabide elektronikoa eBook