دانلود کتاب Logical Foundations of Computer Science: International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings
مبانی منطقی علوم کامپیوتر: سمپوزیوم بین المللی ، LFCS 2007 ، نیویورک ، نیویورک ، ایالات متحده آمریکا ، 4-7 ژوئن 2007. مجموعه مقالات
زبان : English
نویسندگان : Evangelia Antonakos (auth.), Sergei N. Artemov, Anil Nerode (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2007
ISBN (شابک) : 3540727329, 9783540727323, 9783540727347
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 4514 : Theoretical Computer Science and General Issues
تعداد صفحات : 516[522]
حجم : 8 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان