دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Analysis and Verification of Multiple-Agent Languages: 5th LOMAPS Workshop Stockholm, Sweden, June 24–26, 1996 Selected Papers
دانلود کتاب تجزیه و تحلیل و تأیید زبان های چند نماینده: پنجمین کارگاه LOMAPS استکهلم، سوئد، 24 تا 26 ژوئن 1996 مقالات منتخب
مشخصات کتاب
Analysis and Verification of Multiple-Agent Languages: 5th LOMAPS Workshop Stockholm, Sweden, June 24–26, 1996 Selected Papers
ویرایش: [1 ed.] نویسندگان: F. Nielson, P. Cousot, M. Dam, P. Degano (auth.), Mads Dam (eds.) سری: Lecture Notes in Computer Science 1192 ISBN (شابک) : 3540625038, 9783540625032 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1997 تعداد صفحات: 444 [442] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 38,000
در صورت تبدیل فایل کتاب Analysis and Verification of Multiple-Agent Languages: 5th LOMAPS Workshop Stockholm, Sweden, June 24–26, 1996 Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تجزیه و تحلیل و تأیید زبان های چند نماینده: پنجمین کارگاه LOMAPS استکهلم، سوئد، 24 تا 26 ژوئن 1996 مقالات منتخب نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Current Topics in Microbiology and Immunology
دانلود کتاب Spectral/hp element methods for CFD
دانلود کتاب Cellular and Biomolecular Mechanics and Mechanobiology
