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

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

زبان : English

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

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2009

ISBN (شابک) : 3540926860, 9783540926863

ویرایش : [1 ed.]

سری : Lecture Notes in Computer Science 5407 : Theoretical Computer Science and General Issues

تعداد صفحات : 469[477]

حجم : 8 مگابایت

فرمت کتاب : pdf

قیمت : 36000 تومان