مجله علمی تفریحی بیبیس
0

دانلود کتاب تأیید رسمی طراحی سخت افزار نقطه شناور

  • عنوان کتاب: Formal Verification of Floating-Point Hardware Design / A Mathematical Approach
  • نویسنده: David M. Russinoff
  • حوزه: طراحی سازه, سازه شناور
  • سال انتشار: 2022
  • تعداد صفحه: 448
  • زبان اصلی: انگلیسی
  • نوع فایل: pdf
  • حجم فایل: 5 مگابایت

پیشگفتار

سنگ تراشان مدت ها قبل از سال 1773، زمانی که کولمب تحلیل ریاضی پیشگامانه خود را از برخی مشکلات اساسی در مهندسی عمران منتشر کرد، پل می ساختند – و از ریاضیات استفاده می کردند.

Foreword

Stone masons were building bridges—and using mathematics—long before 1773, when Coulomb published his groundbreaking mathematical analysis of some fundamental problems in civil engineering: the bending of beams, the failure of columns, and the determination of abutment thrusts imposed by arches.

این کتاب را میتوانید از لینک زیر بصورت رایگان دانلود کنید:

Download: Formal Verification of Floating-Point Hardware Design

نظرات کاربران

  •  چنانچه دیدگاه شما توهین آمیز باشد تایید نخواهد شد.
  •  چنانچه دیدگاه شما جنبه تبلیغاتی داشته باشد تایید نخواهد شد.

دیدگاهتان را بنویسید

نشانی ایمیل شما منتشر نخواهد شد.

بیشتر بخوانید