دانلود کتاب 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

نویسنده: Andreas Abel (auth.), Martin Hofmann (eds.)

شماره سریال: ۹۷۸۳۵۴۰۴۰۳۳۲۶

ناشر: Springer-Verlag Berlin Heidelberg

سال: ۲۰۰۳

نسخه ناشر (کیفیت اصلی)

purpleribbon save

امتیاز کاربران: (۰.۰) :

حجم فایل

۲.۰۲ مگابایت

تعداد صفحات

۳۲۴.۰

قیمت کتاب: ۷۷,۹۰۰ تومان

توضیحات

معرفی کتاب 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 نوشته Andreas Abel (auth.), Martin Hofmann (eds.) یکی از آثار مهم در حوزه مربوطه محسوب می‌شود. این کتاب حاوی مطالب ارزشمند و مفیدی است که برای علاقه‌مندان به این موضوع بسیار مناسب می‌باشد.

درباره کتاب 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 را از طریق سایت سایبر یونی تجربه کنید.

پرفروشترین کتاب ها
STACS ۸۸: ۵th... image
STACS ۸۸: ۵th Annual Symposium on Theoretical Aspects of Computer...
نویسنده:

C. P. Schnorr...

سال انتشار:

۱۹۸۸

SAINT: heuristic symbolic... image
SAINT: heuristic symbolic integration in freshman calculus [PhD Thesis]
نویسنده:

Slagle J.R.

سال انتشار:

۱۹۶۱

STACS ۲۰۰۶: ۲۳rd... image
STACS ۲۰۰۶: ۲۳rd Annual Symposium on Theoretical Aspects of Computer...
نویسنده:

Philippe Flajolet (auth.),...

سال انتشار:

۲۰۰۶

مشاهده تمامی کتاب ها

نوشتن دیدگاه
CAPTCHA
حذف
دیدگاه های شما دیدگاهی وجود ندارد