دانلود کتاب Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings
by Dines Bjørner (auth.)
|
عنوان فارسی: جنبه های نظری از محاسبات - ICTAC 2007: 4 بین المللی ردهها، ماکائو، چین، سپتامبر 26-28، 2007. مجموعه مقالات |