NTU Trường Đại học Nha Trang
Bộ GD&ĐT
Tra cứu văn bằng
E-Learning
E-Office
Computer science review, Tập 5, Số 3, 2011
Mục lục:
DòngNội dung
1Selfish splittable flows and N P -completeness / A.C. Kaporis, P.G. Spirakis
2The renaming problem in shared memory systems: An introduction / Armando Castañeda, Sergio Rajsbaum, Michel Raynal
3Verification conditions for source-level imperative programs / Maria João Frade, Jorge Sousa Pinto