refinement
اصلاح خودرو: کنترل صدا و لرزش در وسایل نقلیه جاده ای (R-364
دانلود کتاب Vehicle Refinement: Controlling Noise and Vibration in Road Vehicles (R-364 (به فارسی: اصلاح خودرو: کنترل صدا و لرزش در وسایل نقلیه جاده ای (R-364) نوشته شده توسط «Matthew Harrison» اطلاعات کتاب اصلاح خودرو: کنترل صدا و لرزش در وسایل نقلیه جاده ای (R-364 موضوع اصلی: حمل و نقل نوع: کتاب الکترونیکی ناشر: SAE نویسنده: Matthew Harrison زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2004 تعداد صفحه: 358 حجم کتاب: 3 مگابایت کد کتاب: 0768015057 توضیحات کتاب اصلاح خودرو: کنترل صدا و لرزش در وسایل نقلیه جاده ای (R-364 مصرف کننده خودروهای امروزی…
اصلاح خودرو: کنترل صدا و لرزش در وسایل نقلیه جاده ای (R-364
دانلود کتاب Vehicle Refinement: Controlling Noise and Vibration in Road Vehicles (R-364 (به فارسی: اصلاح خودرو: کنترل صدا و لرزش در وسایل نقلیه جاده ای (R-364) نوشته شده توسط «Matthew Harrison» اطلاعات کتاب اصلاح خودرو: کنترل صدا و لرزش در وسایل نقلیه جاده ای (R-364 موضوع اصلی: حمل و نقل نوع: کتاب الکترونیکی ناشر: SAE نویسنده: Matthew Harrison زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2004 تعداد صفحه: 358 حجم کتاب: 4 مگابایت کد کتاب: 9780768015058 , 0768015057 توضیحات کتاب اصلاح خودرو: کنترل صدا و لرزش در وسایل نقلیه جاده ای (R-364 مصرف کننده…
انتزاع، پالایش و اثبات برای سیستم های احتمالی
دانلود کتاب Abstraction, Refinement and Proof for Probabilistic Systems (به فارسی: انتزاع، پالایش و اثبات برای سیستم های احتمالی) نوشته شده توسط «McIver A. – Morgan C.» اطلاعات کتاب انتزاع، پالایش و اثبات برای سیستم های احتمالی موضوع اصلی: احتمال نوع: کتاب الکترونیکی ناشر: Springer نویسنده: McIver A. – Morgan C. زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2005 تعداد صفحه: 395 حجم کتاب: 3 مگابایت کد کتاب: 0387401156 دانلود کتاب «انتزاع، پالایش و اثبات برای سیستم های احتمالی»
تأیید کامپایلر ماژولار: یک رویکرد جبری اصلاحی که از انتزاع گام به گام حمایت می کند
دانلود کتاب Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction (به فارسی: تأیید کامپایلر ماژولار: یک رویکرد جبری اصلاحی که از انتزاع گام به گام حمایت می کند) نوشته شده توسط «Markus Müller-Olm (auth.)» اطلاعات کتاب تأیید کامپایلر ماژولار: یک رویکرد جبری اصلاحی که از انتزاع گام به گام حمایت می کند موضوع اصلی: جبر نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Markus Müller-Olm (auth.) زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1997 تعداد صفحه: 260 حجم کتاب: 2 مگابایت کد کتاب: 3540634061 , 9783540634065 نوبت چاپ: 1 توضیحات کتاب تأیید کامپایلر…
کنترل اصلاح خودرو: صدا و لرزش در وسایل نقلیه جاده ای
دانلود کتاب Vehicle Refinement Controlling: Noise and Vibration in Road Vehicles (به فارسی: کنترل اصلاح خودرو: صدا و لرزش در وسایل نقلیه جاده ای) نوشته شده توسط «Matthew Harrison» اطلاعات کتاب کنترل اصلاح خودرو: صدا و لرزش در وسایل نقلیه جاده ای موضوع اصلی: حمل و نقل نوع: کتاب الکترونیکی نویسنده: Matthew Harrison زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2004 تعداد صفحه: 358 حجم کتاب: 3 مگابایت کد کتاب: 0-7680-1505-7 توضیحات کتاب کنترل اصلاح خودرو: صدا و لرزش در وسایل نقلیه جاده ای این کتاب با سه هدف نوشته شده است. اولاً، برای…
اصلاحی از آزمایش مایکلسون-مورلی
دانلود کتاب A Refinement of the Michelson-Morley Experiment (به فارسی: اصلاحی از آزمایش مایکلسون-مورلی) نوشته شده توسط «Kennedy R.J.» اطلاعات کتاب اصلاحی از آزمایش مایکلسون-مورلی موضوع اصلی: 1 نوع: کتاب الکترونیکی نویسنده: Kennedy R.J. زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 1926 تعداد صفحه: 9 حجم کتاب: 1 مگابایت دانلود کتاب «اصلاحی از آزمایش مایکلسون-مورلی»
اصلاح ساختار کریستالی: راهنمای کریستالوگراف برای Shelxl
دانلود کتاب Crystal Structure Refinement: A Crystallographer’s Guide to Shelxl (به فارسی: اصلاح ساختار کریستالی: راهنمای کریستالوگراف برای Shelxl) نوشته شده توسط «Peter Müller – Regine Herbst-Irmer – Anthony Spek – Thomas Schneider – Michael Sawaya» اطلاعات کتاب اصلاح ساختار کریستالی: راهنمای کریستالوگراف برای Shelxl موضوع اصلی: علم شیمی نوع: کتاب الکترونیکی ناشر: Oxford University Press, USA نویسنده: Peter Müller – Regine Herbst-Irmer – Anthony Spek – Thomas Schneider – Michael Sawaya زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2006 تعداد صفحه: 232 حجم کتاب: 4 مگابایت کد کتاب: 9780198570769 , 0198570767 توضیحات کتاب…
اصلاح انتزاع برای بررسی مدل در مقیاس بزرگ
دانلود کتاب Abstraction Refinement for Large Scale Model Checking (به فارسی: اصلاح انتزاع برای بررسی مدل در مقیاس بزرگ) نوشته شده توسط «Chao Wang – Gary D. Hachtel – Fabio Somenzi» اطلاعات کتاب اصلاح انتزاع برای بررسی مدل در مقیاس بزرگ موضوع اصلی: 1 نوع: کتاب الکترونیکی ناشر: Springer نویسنده: Chao Wang – Gary D. Hachtel – Fabio Somenzi زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2006 تعداد صفحه: 185 حجم کتاب: 9 مگابایت کد کتاب: 0387341552 , 9780387346007 , 9780387341552 نوبت چاپ: 1 توضیحات کتاب اصلاح انتزاع برای بررسی مدل در مقیاس بزرگ…
انتزاع، پالایش و اثبات برای سیستم های احتمالی
دانلود کتاب Abstraction, Refinement and Proof for Probabilistic Systems (به فارسی: انتزاع، پالایش و اثبات برای سیستم های احتمالی) نوشته شده توسط «Annabelle McIver – Charles Carroll Morgan» اطلاعات کتاب انتزاع، پالایش و اثبات برای سیستم های احتمالی موضوع اصلی: ژنتیک نوع: کتاب الکترونیکی ناشر: Springer نویسنده: Annabelle McIver – Charles Carroll Morgan زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2005 تعداد صفحه: 393 حجم کتاب: 3 مگابایت کد کتاب: 9780387401157 , 0-387-40115-6 نوبت چاپ: 1 توضیحات کتاب انتزاع، پالایش و اثبات برای سیستم های احتمالی انتزاع، اصلاح و اثبات برای سیستم‌های احتمالی رویکردی…