جنبه های نظری محاسبات - ICTAC 2005: دومین همایش بین المللی ، هانوی ، ویتنام ، 17-21 اکتبر 2005. مجموعه مقالات
Theoretical Aspects of Computing – ICTAC 2005: Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings
نویسنده: José Meseguer (auth.), Dang Van Hung, Martin Wirsing (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 2005
تعداد صفحات: 628
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 6 مگابایت