دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب PARLE Parallel Architectures and Languages Europe: Volume II: Parallel Languages Eindhoven, The Netherlands, June 15–19, 1987 Proceedings
دانلود کتاب PARLE معماری و زبانهای موازی اروپا: جلد دوم: زبانهای موازی آیندهوون ، هلند ، 15 تا 19 ژوئن ، مجموعه مقالات
مشخصات کتاب
PARLE Parallel Architectures and Languages Europe: Volume II: Parallel Languages Eindhoven, The Netherlands, June 15–19, 1987 Proceedings
ویرایش: 1 نویسندگان: Arvind, Rishiyur S. Nikhil (auth.), J. W. de Bakker, A. J. Nijman, P. C. Treleaven (eds.) سری: Lecture Notes in Computer Science 259 ISBN (شابک) : 3540179453, 9783540179450 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1987 تعداد صفحات: 476 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 34,000
کلمات کلیدی مربوط به کتاب PARLE معماری و زبانهای موازی اروپا: جلد دوم: زبانهای موازی آیندهوون ، هلند ، 15 تا 19 ژوئن ، مجموعه مقالات: زبان های برنامه نویسی، کامپایلرها، مترجمان، معماری پردازنده
در صورت تبدیل فایل کتاب PARLE Parallel Architectures and Languages Europe: Volume II: Parallel Languages Eindhoven, The Netherlands, June 15–19, 1987 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب PARLE معماری و زبانهای موازی اروپا: جلد دوم: زبانهای موازی آیندهوون ، هلند ، 15 تا 19 ژوئن ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Executing a program on the MIT Tagged-Token Dataflow architecture....Pages 1-29
PARLOG: The language and its applications....Pages 30-53
Functional programming and communicating processes....Pages 54-74
Garbage collection in a distributed environment....Pages 75-93
Decidability of bisimulation equivalence for processes generating context-free languages....Pages 94-111
An approach to programming process interconnection structures: Aggregate rewriting graph grammars....Pages 112-123
Specifying functional and timing behavior for real-time applications....Pages 124-140
Term graph rewriting....Pages 141-158
Towards an intermediate language based on Graph Rewriting....Pages 159-175
Distributed garbage collection using reference counting....Pages 176-187
Rigorous development of a distributed calendar system....Pages 188-205
A reduction semantics for imperative higher-order languages....Pages 206-223
Petri net models for algebraic theories of concurrency....Pages 224-242
A computational model for distributed systems using operator nets....Pages 243-260
Design and proof of communicating sequential processes....Pages 261-276
Parallel programming in Temporal Logic....Pages 277-296
"Ruth: A functional language for real-time programming"....Pages 297-314
A compositional proof theory for real-time distributed message passing....Pages 315-332
STREAM: A scheme language for formally describing digital circuits....Pages 333-350
A fully abstract semantics for data flow nets....Pages 351-368
The concurrent assignment representation of synchronous systems....Pages 369-386
A new and efficient implementation of multiprocess synchronization....Pages 387-401
Rewriting techniques for the temporal analysis of communicating processes....Pages 402-419
Optimistic and-parallelism in Prolog....Pages 420-431
An efficient garbage collection scheme for parallel computer architectures....Pages 432-443
Task sequencing language for specifying distributed Ada systems TSL-1....Pages 444-463
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Prime Minister for Peace: My Struggle for Serbian Democracy
دانلود کتاب The unofficial mad men cookbook : inside the kitchens, bars, and restaurants of mad men
