دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers
دانلود کتاب روش جبری و فناوری نرم افزار: سیزدهمین کنفرانس بین المللی ، AMAST 2010 ، Lac-Beauport ، QC ، کانادا ، 23-25 ژوئن 2010. مقالات منتخب اصلاح شده
مشخصات کتاب
Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers
ویرایش: [1 ed.] نویسندگان: Jie Ding, Jane Hillston (auth.), Michael Johnson, Dusko Pavlovic (eds.) سری: Lecture Notes in Computer Science 6486 : Programming and Software Engineering ISBN (شابک) : 9783642177965, 3642177964 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 238 [245] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 Mb
قیمت کتاب (تومان) : 36,000
در صورت تبدیل فایل کتاب Algebraic Methodology and Software Technology: 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روش جبری و فناوری نرم افزار: سیزدهمین کنفرانس بین المللی ، AMAST 2010 ، Lac-Beauport ، QC ، کانادا ، 23-25 ژوئن 2010. مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب روش جبری و فناوری نرم افزار: سیزدهمین کنفرانس بین المللی ، AMAST 2010 ، Lac-Beauport ، QC ، کانادا ، 23-25 ژوئن 2010. مقالات منتخب اصلاح شده
این کتاب مجموعه مقالات داوری سیزدهمین کنفرانس بین‌المللی روش‌شناسی جبری و فناوری نرم‌افزار، AMAST 2010، در لاک‌بیپورت، QC، کانادا، در ژوئن 2010 است.
14 مقالات کامل اصلاح شده ارائه شده به دقت بررسی و از بین 33 مورد ارسالی انتخاب شدند. مقالات در 1 مقاله دعوت شده، 10 مقاله تحقیقاتی مشارکتی و 4 نمایش سیستمی سازماندهی شده اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 13th International Conference on Algebraic Methodology and Software Technology, AMAST 2010, held in Lac-Beauport, QC, Canada, in June 2010.
The 14 revised full papers presented were carefully reviewed and selected from 33 submissions. The papers are organized in 1 invited paper, 10 contributed research papers, and 4 system demonstrations.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Environmental and Sustainable Development Through Forestry and Other Resources
دانلود کتاب Neue keramische Werkstoffe
دانلود کتاب 西南边疆卷一: 普思沿边志略·云南省农村调查·云南问题
دانلود کتاب Solving Everyday Problems With the Scientific Method: Thinking Like a Scientist
