howard
سخنرانی در مورد ایزومورفیسم کاری-هاوارد
دانلود کتاب 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 توضیحات کتاب تطبیق مدارک به عنوان برنامه: پروتکل کری هاوارد این تکنگاره چندین پیشرفت مهم در حوزه…
گمان گناه – نوشته هوارد رافمن
دانلود کتاب Presumed Guilty – by Howard Roffman (به فارسی: گمان گناه – نوشته هوارد رافمن) نوشته شده توسط «Howard Roffman» اطلاعات کتاب گمان گناه – نوشته هوارد رافمن موضوع اصلی: ادبیات نوع: کتاب الکترونیکی ناشر: A. S. Barnes نویسنده: Howard Roffman زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 1976 تعداد صفحه: 182 حجم کتاب: 1 مگابایت کد کتاب: 9780498019333 , 0-498-01933-0 نوبت چاپ: 2nd ptg توضیحات کتاب گمان گناه – نوشته هوارد رافمن اگر هاوارد رافمن درست میگوید، و مستندات دقیق او استدلال میکنند که او درست است، لی هاروی اسوالد نمیتوانست قاتل…
گام به گام: مقالاتی در مورد نحو مینیمالیستی به افتخار هوارد لسنیک
دانلود کتاب Step by Step: Essays on Minimalist Syntax in Honor of Howard Lasnik (به فارسی: گام به گام: مقالاتی در مورد نحو مینیمالیستی به افتخار هوارد لسنیک) نوشته شده توسط «Roger Martin – David Michaels – Juan Uriagereka» اطلاعات کتاب گام به گام: مقالاتی در مورد نحو مینیمالیستی به افتخار هوارد لسنیک موضوع اصلی: 1 نوع: کتاب الکترونیکی ناشر: The MIT Press نویسنده: Roger Martin – David Michaels – Juan Uriagereka زبان: English فرمت کتاب: chm (قابل تبدیل به سایر فرمت ها) سال انتشار: 2000 تعداد صفحه: 381 حجم کتاب: 2 مگابایت کد کتاب: 9780262133616 , 026213361X نوبت چاپ:…
سخنرانی در مورد ایزومورفیسم کاری-هاوارد
دانلود کتاب 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 Role of Prison in Europe: Travelling in the Footsteps of John Howard (به فارسی: نقش زندان در اروپا: سفر در ردپای جان هوارد) نوشته شده توسط «Tom Vander Beken (auth.)» اطلاعات کتاب نقش زندان در اروپا: سفر در ردپای جان هوارد موضوع اصلی: تاریخ نوع: کتاب الکترونیکی ناشر: Palgrave Macmillan نویسنده: Tom Vander Beken (auth.) زبان: english فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها) سال انتشار: 2016 تعداد صفحه: 257 حجم فایل: 4.14 مگابایت کد کتاب: 3319293885 , 9783319293882 نوبت چاپ: 1 توضیحات کتاب نقش زندان در اروپا: سفر در ردپای جان هوارد این کتاب…
روسای دپارتمان استرالیا تحت هدایت هاوارد: مسیرهای شغلی و تمرین: مقالات گردآوری شده از کانبرا تایمز (مدرسه دولتی استرالیا و نیوزلند (ANZSOG))
دانلود کتاب Australian Department Heads Under Howard: Career Paths and Practice: Collected Articles from the Canberra Times (Australia and New Zealand School of Government (ANZSOG)) (به فارسی: روسای دپارتمان استرالیا تحت هدایت هاوارد: مسیرهای شغلی و تمرین: مقالات گردآوری شده از کانبرا تایمز (مدرسه دولتی استرالیا و نیوزلند (ANZSOG))) نوشته شده توسط «Paul Malone» اطلاعات کتاب روسای دپارتمان استرالیا تحت هدایت هاوارد: مسیرهای شغلی و تمرین: مقالات گردآوری شده از کانبرا تایمز (مدرسه دولتی استرالیا و نیوزلند (ANZSOG)) موضوع اصلی: جامعه، سیاست و فلسفه – دولت و سیاست نوع: کتاب الکترونیکی ناشر: ANU E Press نویسنده: Paul Malone زبان: english…
هوارد هیوز: زندگی و جنون او
دانلود کتاب Howard Hughes: His Life and Madness (به فارسی: هوارد هیوز: زندگی و جنون او) نوشته شده توسط «Donald L. Barlett – James B. Steele» اطلاعات کتاب هوارد هیوز: زندگی و جنون او موضوع اصلی: بیوگرافی و زندگینامه – علوم، ریاضیات و فناوری نوع: کتاب الکترونیکی ناشر: W. W. Norton & Co. نویسنده: Donald L. Barlett – James B. Steele زبان: english فرمت کتاب: EPUB (قابل تبدیل به سایر فرمت ها) سال انتشار: 2004 تعداد صفحه: 688 حجم فایل: 2.96 مگابایت کد کتاب: 0393326020 , 9780393326024 نوبت چاپ: Reissue توضیحات کتاب هوارد هیوز: زندگی و جنون او زندگی ای…