DNA computing : revised selected papers - Mao, Chengde; International Meeting on DNA Computing (12 : 2006 : Seoul) (Lecture notes in computer science, 2006)