vmcai

  • تأیید، بررسی مدل، و تفسیر چکیده: یازدهمین کنفرانس بین المللی، VMCAI 2010، مادرید، اسپانیا، 17-19 ژانویه 2010، مجموعه مقالات (سخنرانی … علوم کامپیوتر و مسائل عمومی)

    دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings (Lecture … Computer Science and General Issues) (به فارسی: تأیید، بررسی مدل، و تفسیر چکیده: یازدهمین کنفرانس بین المللی، VMCAI 2010، مادرید، اسپانیا، 17-19 ژانویه 2010، مجموعه مقالات (سخنرانی … علوم کامپیوتر و مسائل عمومی)) نوشته شده توسط «Gilles Barthe – Manuel Hermenegildo» اطلاعات کتاب تأیید، بررسی مدل، و تفسیر چکیده: یازدهمین کنفرانس بین المللی، VMCAI 2010، مادرید، اسپانیا، 17-19 ژانویه 2010، مجموعه مقالات (سخنرانی … علوم کامپیوتر و مسائل عمومی) موضوع اصلی: کنفرانس ها و سمپوزیوم های بین المللی نوع:…

  • تأیید، بررسی مدل، و تفسیر چکیده: هشتمین کنفرانس بین المللی، VMCAI 2007، نیس، فرانسه، 14-16 ژانویه، 2007. مجموعه مقالات

    دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings (به فارسی: تأیید، بررسی مدل، و تفسیر چکیده: هشتمین کنفرانس بین المللی، VMCAI 2007، نیس، فرانسه، 14-16 ژانویه، 2007. مجموعه مقالات) نوشته شده توسط «Gogul Balakrishnan – Thomas Reps (auth.) – Byron Cook – Andreas Podelski (eds.)» اطلاعات کتاب تأیید، بررسی مدل، و تفسیر چکیده: هشتمین کنفرانس بین المللی، VMCAI 2007، نیس، فرانسه، 14-16 ژانویه، 2007. مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Gogul Balakrishnan – Thomas Reps (auth.) – Byron Cook – Andreas Podelski…

  • تأیید، بررسی مدل، و تفسیر چکیده: نهمین کنفرانس بین المللی، VMCAI 2008، سانفرانسیسکو، ایالات متحده، 7-9 ژانویه 2008. مجموعه مقالات

    دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings (به فارسی: تأیید، بررسی مدل، و تفسیر چکیده: نهمین کنفرانس بین المللی، VMCAI 2008، سانفرانسیسکو، ایالات متحده، 7-9 ژانویه 2008. مجموعه مقالات) نوشته شده توسط «Radhia Cousot (auth.) – Francesco Logozzo – Doron A. Peled – Lenore D. Zuck (eds.)» اطلاعات کتاب تأیید، بررسی مدل، و تفسیر چکیده: نهمین کنفرانس بین المللی، VMCAI 2008، سانفرانسیسکو، ایالات متحده، 7-9 ژانویه 2008. مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Radhia Cousot (auth.) – Francesco Logozzo –…

  • تأیید، بررسی مدل، و تفسیر چکیده: دهمین کنفرانس بین المللی، VMCAI 2009، ساوانا، GA، ایالات متحده آمریکا، 18-20 ژانویه 2009. مجموعه مقالات

    دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings (به فارسی: تأیید، بررسی مدل، و تفسیر چکیده: دهمین کنفرانس بین المللی، VMCAI 2009، ساوانا، GA، ایالات متحده آمریکا، 18-20 ژانویه 2009. مجموعه مقالات) نوشته شده توسط «E. Allen Emerson (auth.) – Neil D. Jones – Markus Müller-Olm (eds.)» اطلاعات کتاب تأیید، بررسی مدل، و تفسیر چکیده: دهمین کنفرانس بین المللی، VMCAI 2009، ساوانا، GA، ایالات متحده آمریکا، 18-20 ژانویه 2009. مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: E. Allen Emerson (auth.) – Neil…

  • تأیید، بررسی مدل، و تفسیر چکیده: هفتمین کنفرانس بین المللی، 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…

  • تأیید، بررسی مدل، و تفسیر چکیده: پنجمین کنفرانس بین المللی، VMCAI 2004 ونیز، ایتالیا، 11-13 ژانویه، 2004 مجموعه مقالات

    دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings (به فارسی: تأیید، بررسی مدل، و تفسیر چکیده: پنجمین کنفرانس بین المللی، VMCAI 2004 ونیز، ایتالیا، 11-13 ژانویه، 2004 مجموعه مقالات) نوشته شده توسط «Joshua D. Guttman (auth.) – Bernhard Steffen – Giorgio Levi (eds.)» اطلاعات کتاب تأیید، بررسی مدل، و تفسیر چکیده: پنجمین کنفرانس بین المللی، VMCAI 2004 ونیز، ایتالیا، 11-13 ژانویه، 2004 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Joshua D. Guttman (auth.) – Bernhard Steffen – Giorgio Levi (eds.) زبان: English فرمت…

  • تأیید، بررسی مدل، و تفسیر چکیده: سومین کارگاه بین المللی، VMCAI 2002 ونیز، ایتالیا، 21-22 ژانویه، 2002 مقالات تجدید نظر شده

    دانلود کتاب Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers (به فارسی: تأیید، بررسی مدل، و تفسیر چکیده: سومین کارگاه بین المللی، VMCAI 2002 ونیز، ایتالیا، 21-22 ژانویه، 2002 مقالات تجدید نظر شده) نوشته شده توسط «Cinzia Bernardeschi – Nicoletta De Francesco (auth.) – Agostino Cortesi (eds.)» اطلاعات کتاب تأیید، بررسی مدل، و تفسیر چکیده: سومین کارگاه بین المللی، VMCAI 2002 ونیز، ایتالیا، 21-22 ژانویه، 2002 مقالات تجدید نظر شده موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Cinzia Bernardeschi – Nicoletta De Francesco (auth.) – Agostino…

  • تأیید، بررسی مدل، و تفسیر چکیده: چهارمین کنفرانس بین المللی، VMCAI 2003 نیویورک، نیویورک، ایالات متحده آمریکا، 9 تا 11 ژانویه، 2003 مجموعه مقالات

    دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003 NewYork, NY, USA, January 9–11, 2003 Proceedings (به فارسی: تأیید، بررسی مدل، و تفسیر چکیده: چهارمین کنفرانس بین المللی، VMCAI 2003 نیویورک، نیویورک، ایالات متحده آمریکا، 9 تا 11 ژانویه، 2003 مجموعه مقالات) نوشته شده توسط «Andreas Podelski (auth.) – Lenore D. Zuck – Paul C. Attie – Agostino Cortesi – Supratik Mukhopadhyay (eds.)» اطلاعات کتاب تأیید، بررسی مدل، و تفسیر چکیده: چهارمین کنفرانس بین المللی، VMCAI 2003 نیویورک، نیویورک، ایالات متحده آمریکا، 9 تا 11 ژانویه، 2003 مجموعه مقالات موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر:…

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان