curry
سخنرانی در مورد ایزومورفیسم کاری-هاوارد
دانلود کتاب Lectures on the Curry-Howard Isomorphism (به فارسی: سخنرانی در مورد ایزومورفیسم کاری-هاوارد) نوشته شده توسط «Morten Heine Sorensen – Pawel Urzyczyn» اطلاعات کتاب سخنرانی در مورد ایزومورفیسم کاری-هاوارد موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Elsevier Science نویسنده: Morten Heine Sorensen – Pawel Urzyczyn زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 2006 تعداد صفحه: 457 حجم کتاب: 4 مگابایت کد کتاب: 0444520775 , 9780444520777 , 9780080478920 توضیحات کتاب سخنرانی در مورد ایزومورفیسم کاری-هاوارد ایزومورفیسم Curry-Howard مطابقت شگفت انگیزی را بین سیستم های منطق رسمی که در نظریه اثبات و محاسبات محاسباتی در…
تطبیق مدارک به عنوان برنامه: پروتکل کری هاوارد
دانلود کتاب Adapting Proofs-as-Programs : The Curry-Howard Protocol (به فارسی: تطبیق مدارک به عنوان برنامه: پروتکل کری هاوارد) نوشته شده توسط «Iman Poernomo – John N. Crossley – Martin Wirsing» اطلاعات کتاب تطبیق مدارک به عنوان برنامه: پروتکل کری هاوارد موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer نویسنده: Iman Poernomo – John N. Crossley – Martin Wirsing زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2005 تعداد صفحه: 417 حجم کتاب: 2 مگابایت کد کتاب: 0387237593 , 9780387281834 , 9780387237596 نوبت چاپ: 1 توضیحات کتاب تطبیق مدارک به عنوان برنامه: پروتکل کری هاوارد این…
تطبیق مدارک به عنوان برنامه: پروتکل کری هاوارد
دانلود کتاب Adapting Proofs-as-Programs: The Curry-Howard Protocol (به فارسی: تطبیق مدارک به عنوان برنامه: پروتکل کری هاوارد) نوشته شده توسط «Iman Poernomo – John N. Crossley – Martin Wirsing» اطلاعات کتاب تطبیق مدارک به عنوان برنامه: پروتکل کری هاوارد موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer نویسنده: Iman Poernomo – John N. Crossley – Martin Wirsing زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2005 تعداد صفحه: 416 حجم کتاب: 5 مگابایت کد کتاب: 9780387237596 , 0387237593 توضیحات کتاب تطبیق مدارک به عنوان برنامه: پروتکل کری هاوارد این تک‌نگاره چندین پیشرفت مهم در حوزه…
کتاب مقدس کاری گیاهی
دانلود کتاب Vegetarian Curry Bible (به فارسی: کتاب مقدس کاری گیاهی) اطلاعات کتاب کتاب مقدس کاری گیاهی موضوع اصلی: آشپزی نوع: کتاب الکترونیکی زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) تعداد صفحه: 171 حجم کتاب: 1 مگابایت دانلود کتاب «کتاب مقدس کاری گیاهی»
سخنرانی در مورد ایزومورفیسم کاری-هاوارد
دانلود کتاب Lectures on the Curry-Howard isomorphism (به فارسی: سخنرانی در مورد ایزومورفیسم کاری-هاوارد) نوشته شده توسط «Morten Heine Sørensen M.Sc Ph.D – Pawel Urzyczyn prof. dr hab.» اطلاعات کتاب سخنرانی در مورد ایزومورفیسم کاری-هاوارد موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Elsevier Science نویسنده: Morten Heine Sørensen M.Sc Ph.D – Pawel Urzyczyn prof. dr hab. زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2006 تعداد صفحه: 457 حجم کتاب: 38 مگابایت کد کتاب: 0444520775 , 9780444520777 , 9780080478920 نوبت چاپ: 1 توضیحات کتاب سخنرانی در مورد ایزومورفیسم کاری-هاوارد ایزومورفیسم Curry-Howard مطابقت شگفت انگیزی را…
سخنرانی در مورد ایزومورفیسم کاری-هاوارد
دانلود کتاب Lectures on the Curry-Howard Isomorphism (به فارسی: سخنرانی در مورد ایزومورفیسم کاری-هاوارد) نوشته شده توسط «Morten Heine Sørensen M.Sc Ph.D – Pawel Urzyczyn prof. dr hab.» اطلاعات کتاب سخنرانی در مورد ایزومورفیسم کاری-هاوارد موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Elsevier Science نویسنده: Morten Heine Sørensen M.Sc Ph.D – Pawel Urzyczyn prof. dr hab. زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2006 تعداد صفحه: 443 حجم کتاب: 35 مگابایت کد کتاب: 9780444520777 , 0444520775 نوبت چاپ: 1 توضیحات کتاب سخنرانی در مورد ایزومورفیسم کاری-هاوارد ایزومورفیسم Curry-Howard مطابقت شگفت انگیزی را بین سیستم…
راز کاری: آشپزی رستوران هندی در خانه
دانلود کتاب The Curry Secret: Indian Restaurant Cookery at Home (به فارسی: راز کاری: آشپزی رستوران هندی در خانه) نوشته شده توسط «Kris Dhillon» اطلاعات کتاب راز کاری: آشپزی رستوران هندی در خانه موضوع اصلی: خانه داری و اوقات فراغت – آشپزی نوع: کتاب الکترونیکی ناشر: Elliot Right Way Books نویسنده: Kris Dhillon زبان: english فرمت کتاب: EPUB (قابل تبدیل به سایر فرمت ها) سال انتشار: 2000 تعداد صفحه: 128 حجم فایل: 372 کیلوبایت کد کتاب: 0716020548 , 9780716020547 نوبت چاپ: 3rd توضیحات کتاب راز کاری: آشپزی رستوران هندی در خانه این کتاب کاری با تفاوت است! این رازهای آشپزی…
سرو دیوانه با کاری
دانلود کتاب Serving Crazy With Curry (به فارسی: سرو دیوانه با کاری) نوشته شده توسط «Malladi – Amulya» اطلاعات کتاب سرو دیوانه با کاری نوع: کتاب الکترونیکی ناشر: Ballantine Books نویسنده: Malladi – Amulya زبان: english فرمت کتاب: EPUB (قابل تبدیل به سایر فرمت ها) سال انتشار: 2008 حجم فایل: 407 کیلوبایت کد کتاب: 0307490742 , 9780307490742 دانلود کتاب «سرو دیوانه با کاری»
آشپزی کاری
دانلود کتاب Curry Cuisine (به فارسی: آشپزی کاری) نوشته شده توسط «DK – Corinne Trang – David Thompson – Sri Owen – Vivek Singh» اطلاعات کتاب آشپزی کاری موضوع اصلی: خانه داری و اوقات فراغت – آشپزی نوع: کتاب الکترونیکی ناشر: DK ADULT نویسنده: DK – Corinne Trang – David Thompson – Sri Owen – Vivek Singh زبان: english فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها) سال انتشار: 2006 تعداد صفحه: 356 حجم فایل: 35.58 مگابایت کد کتاب: 0756620783 , 9780756620783 توضیحات کتاب آشپزی کاری از راجستان در شمال هند تا کرالا در جنوب، از تایلند تا ویتنام…
کاری: داستان آشپزها و فاتحان
دانلود کتاب Curry: A Tale of Cooks and Conquerors (به فارسی: کاری: داستان آشپزها و فاتحان) نوشته شده توسط «Lizzie Collingham» اطلاعات کتاب کاری: داستان آشپزها و فاتحان موضوع اصلی: خانه داری و اوقات فراغت – آشپزی نوع: کتاب الکترونیکی ناشر: Oxford University Press USA نویسنده: Lizzie Collingham زبان: english فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها) سال انتشار: 2007 تعداد صفحه: 337 حجم فایل: 4.32 مگابایت کد کتاب: 0195172418 , 9780195172416 توضیحات کتاب کاری: داستان آشپزها و فاتحان این فقط همان کتابی است که در ساندی تایمز (یکی که در انگلستان چاپ شده است) به صورت سریالی…