برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید

09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Functional programming and parallel graph rewriting(free web version)

دانلود کتاب برنامه ریزی کاربردی و بازنویسی مجدد گراف (نسخه وب رایگان)

مشخصات کتاب

Functional programming and parallel graph rewriting(free web version)

دسته بندی: شبکه سازی: اینترنت
ویرایش:  
نویسندگان: M. R. Sleep,  M. J. Plasmeijer  
سری:  
ISBN (شابک) : 0471935670 
ناشر: John Wiley & Sons Inc 
سال نشر: 1993 
تعداد صفحات: 622 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 1 مگابایت

قیمت کتاب (تومان) : 42,000

میانگین امتیاز به این کتاب :
تعداد امتیاز دهندگان : 26

در صورت تبدیل فایل کتاب Functional programming and parallel graph rewriting(free web version) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب برنامه ریزی کاربردی و بازنویسی مجدد گراف (نسخه وب رایگان) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب برنامه ریزی کاربردی و بازنویسی مجدد گراف (نسخه وب رایگان)

این مطالعه با ترسیم پیشرفت تئوری، اجرا و کاربردهای بازنویسی مدل‌های محاسباتی، منبعی کلیدی برای محققان است. یکی از ویژگی‌های اصلی کتاب، ارائه پیشرفت‌های نظری مانند نظریه جدید بازنویسی اصطلاحات متقاطع، یک مدل مقوله‌ای تک‌آوت از بازنویسی نمودار و تفسیری انتزاعی برای بازنویسی نمودار اصطلاحی است.

توضیحاتی درمورد کتاب به خارجی

Charting the progress of the theory, implementation and applications of rewriting models of computation, this study represents a key resource for researchers. A major feature of the book is the presentation of theoretical advances such as a new theory of transfinite term rewriting, a single pushout categorical model of graph rewriting and an abstract interpretation for term graph rewriting.

فهرست مطالب

Contents......Page 1
Preface......Page 2
1 Basic concepts......Page 17
2 Advanced concepts: Miranda......Page 52
3 The lambda-calculus......Page 92
4 Term rewriting systems......Page 127
5 Graph rewriting systems......Page 160
6 Type assignment systems......Page 197
7 Strictness analysis......Page 231
8 Clean - draft chapter......Page 263
8 Clean......Page 302
9 Translating Miranda to Clean......Page 349
10 Abstract ABC machine......Page 369
11 Translating Clean into ABC code......Page 390
12 Realizing the ABC machine......Page 414
13 Concurrency: Basic language concepts......Page 450
14 Parallel graph rewriting......Page 476
15 Concurrent Clean......Page 496
16 The parallel ABC machine......Page 508
17 Realizing the PABC machine......Page 528
A Syntax of example programs......Page 548
B Concurrent Clean syntax and library......Page 552
C ABC machine specification......Page 576
D PABC machine specification......Page 589
Bibliography......Page 601
Index......Page 610
Errata, 2001......Page 619