خرید و دانلود نسخه کامل کتاب Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

مبانی منطقی علوم رایانه: سمپوزیوم بین المللی ، LFCS 2009 ، دیرفیلد بیچ ، فلوریدا ، ایالات متحده ، 3-6 ژانویه ، 2009. مجموعه مقالات

Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

نویسنده: Stefano Aguzzoli, Simone Bova, Vincenzo Marra (auth.), Sergei Artemov, Anil Nerode (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2009

تعداد صفحات: 478

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 6 مگابایت