مفاهیم نظری محاسبات - ICTAC 2013: 10th International Colloquium، Shanghai، China، 4-6 سپتامبر 2013. مقالات
Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings
نویسنده: Luca Cardelli, Radu Mardare (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 2013
تعداد صفحات: 455
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 5 مگابایت