Algorithms and computation 20th international symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009 : proceedings / [electronic resource] :
ISAAC 2009
edited by Yingfei Dong, Ding-Zhu Du, Oscar Ibarra.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009.
- xix, 1228 p. : ill., digital ; 24 cm.
- Lecture notes in computer science, 5878 0302-9743 ; .
Computer algorithms--Congresses. Numerical calculations--Congresses. Numeric Computing. Mathematical Logic and Formal Languages. Logics and Meanings of Programs. Discrete Mathematics in Computer Science. Algorithms. Algorithm Analysis and Problem Complexity. Computer Science.