جنبه های نظری محاسبات - ICTAC 2006: سومین همایش بین المللی، تونس، تونس، 20 تا 24 نوامبر 2006. پرونده ها
Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings
نویسنده: Tobias Nipkow (auth.), Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 2006
تعداد صفحات: 383
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 4 مگابایت