Algorithms and Computation 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings - Dong, Yingfei; Du, Ding-Zhu.; Ibarra, Oscar; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Computer science; Computer software; Logic design; Electronic data processing; Computational complexity; Algorithms; Computer Science; Algorithm Analysis and Problem Complexity; Discrete Mathematics in Computer Science; Algorithms; Logics and Meanings of Programs; Numeric Computing; Mathematical Logic and Formal Languages