دانلود کتاب Term Rewriting: French Spring School of Theoretical Computer Science Font Romeux, France, May 17–21, 1993 Advanced Course
36,000 تومان
بازنویسی ترم: مدرسه بهار فرانسوی نظری علوم کامپیوتر فونت رومئو، فرانسه، 17 تا 21 مه 1993 دوره پیشرفته
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 228 |
| حجم فایل | 2 مگابایت |
| کد کتاب | 3540593403,9783540593409 |
| نوبت چاپ | 1 |
| نویسنده | , , |
|---|---|
| زبان |
انگلیسی |
| فرمت |
DJVU |
| سال انتشار |
1995 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
بازنویسی ترم: مدرسه بهار فرانسوی نظری علوم کامپیوتر فونت رومئو، فرانسه، 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.
برای فرستادن دیدگاه، باید وارد شده باشید.
محصولات مرتبط
دانلود کتاب Financial Cryptography and Data Security: FC 2017 International Workshops, WAHC, BITCOIN, VOTING, WTSC, and TA, Sliema, Malta, April 7, 2017, Revised Selected Papers
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer International Publishing |
| تعداد صفحه | 646 |
| حجم فایل | 20.18 مگابایت |
| کد کتاب | 3319702785 , 9783319702780 |
| نوبت چاپ | 1 |
دانلود کتاب Financial Cryptography and Data Security: FC 2018 International Workshops, BITCOIN, VOTING, and WTSC, Nieuwpoort, Curaçao, March 2, 2018, Revised Selected Papers
| موضوع اصلی | کامپیوتر - تجارت و فرهنگ کامپیوتر |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer Berlin Heidelberg |
| تعداد صفحه | 393 |
| حجم فایل | 18.40 مگابایت |
| کد کتاب | 366258820X , 9783662588208 |
| نوبت چاپ | اولین ویرایش |
نقد و بررسی‌ها
هنوز بررسی‌ای ثبت نشده است.