Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003 Valencia, Spain, June 10–12, 2003 Proceedings

دانلود کتاب Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003 Valencia, Spain, June 10–12, 2003 Proceedings

دسته: کامپیوتر

38000 تومان موجود

کتاب محاسبات لامبدا تایپ شده و کاربردها: ششمین کنفرانس بین المللی، TLCA 2003 والنسیا، اسپانیا، 10–12 ژوئن، 2003 مجموعه مقالات

دانلود کتاب محاسبات لامبدا تایپ شده و کاربردها: ششمین کنفرانس بین المللی، TLCA 2003 والنسیا، اسپانیا، 10–12 ژوئن، 2003 مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید



امتیاز شما به این کتاب (حداقل 1 و حداکثر 5):

امتیاز کاربران به این کتاب:        تعداد رای دهنده ها: 7


توضیحاتی در مورد کتاب Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003 Valencia, Spain, June 10–12, 2003 Proceedings

نام کتاب : Typed Lambda Calculi and Applications: 6th International Conference, TLCA 2003 Valencia, Spain, June 10–12, 2003 Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : محاسبات لامبدا تایپ شده و کاربردها: ششمین کنفرانس بین المللی، TLCA 2003 والنسیا، اسپانیا، 10–12 ژوئن، 2003 مجموعه مقالات
سری : Lecture Notes in Computer Science 2701
نویسندگان : ,
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2003
تعداد صفحات : 324
ISBN (شابک) : 3540403329 , 9783540403326
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 2 مگابایت



Buy This Book From EBOOKST.COM

بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.




پست ها تصادفی