verified
Piton: زبانی در سطح اسمبلی تأیید شده مکانیکی (سری استدلال خودکار)
دانلود کتاب Piton: A Mechanically Verified Assembly-Level Language (Automated Reasoning Series) (به فارسی: Piton: زبانی در سطح اسمبلی تأیید شده مکانیکی (سری استدلال خودکار)) نوشته شده توسط «J Strother Moore» اطلاعات کتاب Piton: زبانی در سطح اسمبلی تأیید شده مکانیکی (سری استدلال خودکار) موضوع اصلی: فیزیک نوع: کتاب الکترونیکی ناشر: Springer نویسنده: J Strother Moore زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 1996 تعداد صفحه: 324 حجم کتاب: 12 مگابایت کد کتاب: 0792339207 , 9780792339205 , 9780585336541 نوبت چاپ: 1 توضیحات کتاب Piton: زبانی در سطح اسمبلی تأیید شده مکانیکی (سری استدلال خودکار) این…
FM8501: یک ریزپردازنده تایید شده
دانلود کتاب FM8501: A Verified Microprocessor (به فارسی: FM8501: یک ریزپردازنده تایید شده) نوشته شده توسط «Warren A. Hunt Jr. (eds.)» اطلاعات کتاب FM8501: یک ریزپردازنده تایید شده موضوع اصلی: الکترونیک: فناوری ریزپردازنده نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Warren A. Hunt Jr. (eds.) زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1994 تعداد صفحه: 342 حجم کتاب: 2 مگابایت کد کتاب: 3540579605 , 9783540579601 , 0387579605 نوبت چاپ: 1 توضیحات کتاب FM8501: یک ریزپردازنده تایید شده ریزپردازنده FM 8501 به عنوان یک ریزپردازنده عمومی تا حدودی شبیه به PDP-11 اختراع شد. ایده…
نرم افزار تایید شده: نظریه ها، ابزارها، آزمایش ها: اولین کنفرانس IFIP TC 2/WG 2.3، VSTTE 2005، زوریخ، سوئیس، 10-13 اکتبر 2005، مقالات و بحث های منتخب اصلاح شده
دانلود کتاب Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions (به فارسی: نرم افزار تایید شده: نظریه ها، ابزارها، آزمایش ها: اولین کنفرانس IFIP TC 2/WG 2.3، VSTTE 2005، زوریخ، سوئیس، 10-13 اکتبر 2005، مقالات و بحث های منتخب اصلاح شده) نوشته شده توسط «Tony Hoare – Jay Misra (auth.) – Bertrand Meyer – Jim Woodcock (eds.)» اطلاعات کتاب نرم افزار تایید شده: نظریه ها، ابزارها، آزمایش ها: اولین کنفرانس IFIP TC 2/WG 2.3، VSTTE 2005، زوریخ، سوئیس، 10-13 اکتبر 2005، مقالات و بحث های…
سنتز تایید شده مواد زئولیتی
دانلود کتاب Verified Synthesis Of Zeolitic Materials (به فارسی: سنتز تایید شده مواد زئولیتی) نوشته شده توسط «Robson H. E.» اطلاعات کتاب سنتز تایید شده مواد زئولیتی موضوع اصلی: 1 نوع: کتاب الکترونیکی نویسنده: Robson H. E. زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2001 تعداد صفحه: 259 حجم کتاب: 11 مگابایت نوبت چاپ: 2nd edition توضیحات کتاب سنتز تایید شده مواد زئولیتی سنتز زئولیت یک زمینه تحقیقاتی فعال است. تا زمانی که این روند ادامه داشته باشد، مراحل جدیدی کشف می شود و تکنیک های جدیدی برای آماده سازی فازهای موجود ظاهر می…
جعبه ابزار عددی برای محاسبات تایید شده 1
دانلود کتاب Numerical toolbox for verified computing 1 (به فارسی: جعبه ابزار عددی برای محاسبات تایید شده 1) نوشته شده توسط «R. Hammer – M. Hocks – U. Kulisch – D. Ratz» اطلاعات کتاب جعبه ابزار عددی برای محاسبات تایید شده 1 موضوع اصلی: ریاضیات محاسباتی نوع: کتاب الکترونیکی ناشر: Springer نویسنده: R. Hammer – M. Hocks – U. Kulisch – D. Ratz زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1993 تعداد صفحه: 356 حجم کتاب: 6 مگابایت کد کتاب: 0387571183 , 9780387571188 توضیحات کتاب جعبه ابزار عددی برای محاسبات تایید شده 1 جعبه…
اعترافات یک هنرمند مزخرف – جک ایزیدور (از سویل، کالیفرنیا): وقایع نگاری از واقعیت های علمی تأیید شده، 1945-1959
دانلود کتاب Confessions of a crap artist–Jack Isidore (of Seville, Calif.): a chronicle of verified scientific fact, 1945-1959 (به فارسی: اعترافات یک هنرمند مزخرف – جک ایزیدور (از سویل، کالیفرنیا): وقایع نگاری از واقعیت های علمی تأیید شده، 1945-1959) نوشته شده توسط «Dick – Philip K» اطلاعات کتاب اعترافات یک هنرمند مزخرف – جک ایزیدور (از سویل، کالیفرنیا): وقایع نگاری از واقعیت های علمی تأیید شده، 1945-1959 موضوع اصلی: داستان – داستان آمریکایی نوع: کتاب الکترونیکی ناشر: Vintage Books نویسنده: Dick – Philip K زبان: english فرمت کتاب: EPUB (قابل تبدیل به سایر فرمت ها) سال انتشار: 1992 حجم فایل:…
آمار رسمی 4.0: حقایق تایید شده برای مردم در قرن 21
دانلود کتاب Official Statistics 4.0: Verified Facts For People In The 21st Century (به فارسی: آمار رسمی 4.0: حقایق تایید شده برای مردم در قرن 21) نوشته شده توسط «Walter J. Radermacher» اطلاعات کتاب آمار رسمی 4.0: حقایق تایید شده برای مردم در قرن 21 موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: Springer نویسنده: Walter J. Radermacher زبان: english فرمت کتاب: PDF (قابل تبدیل به سایر فرمت ها) سال انتشار: 2020 تعداد صفحه: 166 حجم فایل: 3.98 مگابایت کد کتاب: 3030314928 , 9783030314927 توضیحات کتاب آمار رسمی 4.0: حقایق تایید شده برای مردم در قرن 21 این کتاب به بررسی…