دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17–21, 1993 Advanced Course
دانلود کتاب بازنویسی مدت: دانشکده علوم نظری رایانه بهار فرانسه ، قلم رومئو ، فرانسه ، 17 تا 21 مه 1993 دوره پیشرفته
مشخصات کتاب
Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17–21, 1993 Advanced Course
ویرایش: [1 ed.] نویسندگان: Jean-Pierre Jouannaud (auth.), Hubert Comon, Jean-Pierre Jounnaud (eds.) سری: Lecture Notes in Computer Science 909 ISBN (شابک) : 3540593403, 9783540593409 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1995 تعداد صفحات: 228 [229] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 Mb
قیمت کتاب (تومان) : 31,000
در صورت تبدیل فایل کتاب Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17–21, 1993 Advanced Course به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب بازنویسی مدت: دانشکده علوم نظری رایانه بهار فرانسه ، قلم رومئو ، فرانسه ، 17 تا 21 مه 1993 دوره پیشرفته نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب بازنویسی مدت: دانشکده علوم نظری رایانه بهار فرانسه ، قلم رومئو ، فرانسه ، 17 تا 21 مه 1993 دوره پیشرفته
این جلد شامل نسخه‌های اصلاح‌شده کاملی از مشارکت‌های ارائه‌شده
در مدرسه بهار فرانسوی علوم کامپیوتر نظری، که در فونت رومئو،
فرانسه در ماه مه 1993 برگزار شد، است.
این سمینار به بازنویسی در معنایی وسیع اختصاص داشت، زیرا
بازنویسی است. اکنون یک رشته مهم است که به بسیاری از زمینه‌های
دیگر مانند زبان‌های رسمی، مدل‌های همزمانی، خودکار درختی،
زبان‌های برنامه‌نویسی تابعی، محدودیت‌ها، محاسبات نمادین و کسر
خودکار مربوط می‌شود. این کتاب شامل تعدادی نظرسنجی است که توسط
محققین ارشد و همچنین چند مقاله ارائه شده است که تحقیقات اصلی
مرتبط با جامعه نظری گسترده تر علم کامپیوتر را ارائه می دهد.
توضیحاتی درمورد کتاب به خارجی
This volume contains thoroughly revised versions of the
contributions presented at the French Spring School of
Theoretical Computer Science, held in Font Romeu, France in
May 1993.
This seminar was devoted to rewriting in a broad sense, as
rewriting is now an important discipline, relating to many
other areas such as formal languages, models of concurrency,
tree automata, functional programming languages, constraints,
symbolic computation, and automated deduction. The book
includes a number of surveys contributed by senior
researchers as well as a few papers presenting original
research of relevance for the broader theoretical computer
science community.
