checking
نرم افزار بررسی مدل: نهمین کارگاه بین المللی اسپین گرنوبل، فرانسه، 11 تا 13 آوریل، 2002 مجموعه مقالات
دانلود کتاب Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11–13, 2002 Proceedings (به فارسی: نرم افزار بررسی مدل: نهمین کارگاه بین المللی اسپین گرنوبل، فرانسه، 11 تا 13 آوریل، 2002 مجموعه مقالات) نوشته شده توسط «Edmund M. Clarke (auth.) – Dragan Bošnački – Stefan Leue (eds.)» اطلاعات کتاب نرم افزار بررسی مدل: نهمین کارگاه بین المللی اسپین گرنوبل، فرانسه، 11 تا 13 آوریل، 2002 مجموعه مقالات موضوع اصلی: برنامه نويسي نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Edmund M. Clarke (auth.) – Dragan Bošnački – Stefan Leue (eds.) زبان: English فرمت کتاب: pdf (قابل تبدیل به…
بازیابی داده مبتنی بر بررسی مدل: کاربرد برای داده های نیمه ساختار یافته و زمانی
دانلود کتاب Model-Checking Based Data Retrieval: An Application to Semistructured and Temporal Data (به فارسی: بازیابی داده مبتنی بر بررسی مدل: کاربرد برای داده های نیمه ساختار یافته و زمانی) نوشته شده توسط «Elisa Quintarelli (auth.)» اطلاعات کتاب بازیابی داده مبتنی بر بررسی مدل: کاربرد برای داده های نیمه ساختار یافته و زمانی موضوع اصلی: سازمان و پردازش داده ها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Elisa Quintarelli (auth.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2004 تعداد صفحه: 135 حجم کتاب: 2 مگابایت کد کتاب: 3540209719 , 9783540209713 , 9783540246039 نوبت…
25 سال بررسی مدل: تاریخچه، دستاوردها، دیدگاه ها
دانلود کتاب 25 Years of Model Checking: History, Achievements, Perspectives (به فارسی: 25 سال بررسی مدل: تاریخچه، دستاوردها، دیدگاه ها) نوشته شده توسط «Edmund M. Clarke (auth.) – Orna Grumberg – Helmut Veith (eds.)» اطلاعات کتاب 25 سال بررسی مدل: تاریخچه، دستاوردها، دیدگاه ها موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Edmund M. Clarke (auth.) – Orna Grumberg – Helmut Veith (eds.) زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 2008 تعداد صفحه: 234 حجم کتاب: 5 مگابایت کد کتاب: 3540698493 , 9783540698494 نوبت چاپ: 1 توضیحات کتاب 25 سال بررسی…
نرم افزار بررسی مدل: پانزدهمین کارگاه بین المللی اسپین، لس آنجلس، کالیفرنیا، ایالات متحده آمریکا، 10-12 اوت، 2008 مجموعه مقالات
دانلود کتاب Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings (به فارسی: نرم افزار بررسی مدل: پانزدهمین کارگاه بین المللی اسپین، لس آنجلس، کالیفرنیا، ایالات متحده آمریکا، 10-12 اوت، 2008 مجموعه مقالات) نوشته شده توسط «Matthew B. Dwyer – Rahul Purandare (auth.) – Klaus Havelund – Rupak Majumdar – Jens Palsberg (eds.)» اطلاعات کتاب نرم افزار بررسی مدل: پانزدهمین کارگاه بین المللی اسپین، لس آنجلس، کالیفرنیا، ایالات متحده آمریکا، 10-12 اوت، 2008 مجموعه مقالات موضوع اصلی: برنامه نويسي نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Matthew B. Dwyer – Rahul Purandare (auth.)…
تأیید، بررسی مدل، و تفسیر چکیده: هفتمین کنفرانس بین المللی، VMCAI 2006، چارلستون، SC، ایالات متحده، 8-10 ژانویه 2006. مجموعه مقالات
دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings (به فارسی: تأیید، بررسی مدل، و تفسیر چکیده: هفتمین کنفرانس بین المللی، VMCAI 2006، چارلستون، SC، ایالات متحده، 8-10 ژانویه 2006. مجموعه مقالات) نوشته شده توسط «Peter Schachte – Harald Søndergaard (auth.) – E. Allen Emerson – Kedar S. Namjoshi (eds.)» اطلاعات کتاب تأیید، بررسی مدل، و تفسیر چکیده: هفتمین کنفرانس بین المللی، VMCAI 2006، چارلستون، SC، ایالات متحده، 8-10 ژانویه 2006. مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Peter Schachte – Harald Søndergaard…
یک رویکرد بوت استرپ برای بررسی مدل برای مدلهای خطی تحت دادههای بایاس طول
دانلود کتاب A bootstrap approach to model checking for linear models under length-biased data (به فارسی: یک رویکرد بوت استرپ برای بررسی مدل برای مدلهای خطی تحت دادههای بایاس طول) نوشته شده توسط «Ojeda J.L. – Cristobal J.A.» اطلاعات کتاب یک رویکرد بوت استرپ برای بررسی مدل برای مدلهای خطی تحت دادههای بایاس طول موضوع اصلی: سازمان و پردازش داده ها نوع: کتاب الکترونیکی نویسنده: Ojeda J.L. – Cristobal J.A. زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2008 تعداد صفحه: 25 حجم کتاب: 1 مگابایت دانلود کتاب «یک رویکرد بوت استرپ برای بررسی مدل…
نرم افزار بررسی مدل: شانزدهمین کارگاه بین المللی SPIN، گرنوبل، فرانسه، 26-28 ژوئن 2009. مجموعه مقالات
دانلود کتاب Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings (به فارسی: نرم افزار بررسی مدل: شانزدهمین کارگاه بین المللی SPIN، گرنوبل، فرانسه، 26-28 ژوئن 2009. مجموعه مقالات) نوشته شده توسط «Patrice Godefroid (auth.) – Corina S. Păsăreanu (eds.)» اطلاعات کتاب نرم افزار بررسی مدل: شانزدهمین کارگاه بین المللی SPIN، گرنوبل، فرانسه، 26-28 ژوئن 2009. مجموعه مقالات موضوع اصلی: کنفرانس ها و سمپوزیوم های بین المللی نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Patrice Godefroid (auth.) – Corina S. Păsăreanu (eds.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار:…
مطالعه موردی در مورد انتخاب، تفسیر و بررسی مدلهای چند سطحی برای باینری طولی
دانلود کتاب A case study on the choice, interpretation and checking of multilevel models for longitudinal binary (به فارسی: مطالعه موردی در مورد انتخاب، تفسیر و بررسی مدلهای چند سطحی برای باینری طولی) نوشته شده توسط «Wolfe R.» اطلاعات کتاب مطالعه موردی در مورد انتخاب، تفسیر و بررسی مدلهای چند سطحی برای باینری طولی موضوع اصلی: 1 نوع: کتاب الکترونیکی نویسنده: Wolfe R. زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) تعداد صفحه: 20 حجم کتاب: 1 مگابایت دانلود کتاب «مطالعه موردی در مورد انتخاب، تفسیر و بررسی مدلهای چند سطحی برای باینری طولی»
استفاده از تست های گشتاور شرطی برای بررسی مدل برای مدل های خطی تعمیم یافته
دانلود کتاب Application of conditional moment tests to model checking for generalized linear models (به فارسی: استفاده از تست های گشتاور شرطی برای بررسی مدل برای مدل های خطی تعمیم یافته) نوشته شده توسط «Pan W.» اطلاعات کتاب استفاده از تست های گشتاور شرطی برای بررسی مدل برای مدل های خطی تعمیم یافته موضوع اصلی: 1 نوع: کتاب الکترونیکی ناشر: Information Science Publishing نویسنده: Pan W. زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2003 تعداد صفحه: 10 حجم کتاب: 1 مگابایت کد کتاب: 159140102X , 1591401100 نوبت چاپ: illustrated edition توضیحات کتاب استفاده از…
اصلاح انتزاع برای بررسی مدل در مقیاس بزرگ
دانلود کتاب 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 توضیحات کتاب اصلاح انتزاع برای بررسی مدل در مقیاس بزرگ…