Dong, Yingfei.

Algorithms and Computation 20th International Symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings / edited by Yingfei Dong, Ding-Zhu Du, Oscar Ibarra. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan

9783642106316


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.