[중고 도서]
Optimization Stories: 21st International Symposium on Mathematical Programmng, Berlin, August 19-24, 2012 (Documenta Mathematica: Journal der Deutschen Mathematiker-Vereinigung Gegrundet 1996, Extra V
[중고 도서]
Provably Correct Systems: Modelling of Communication Languages and Design of Optimized Compilers (The Mcgraw-Hill International Series in Software)