دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب The Essence of Computation: Complexity, Analysis, Transformation
دانلود کتاب ماهیت محاسبات: پیچیدگی، تجزیه و تحلیل، تبدیل
مشخصات کتاب
The Essence of Computation: Complexity, Analysis, Transformation
ویرایش: 1 نویسندگان: Amir M. Ben-Amram (auth.), Torben Æ. Mogensen, David A. Schmidt, I. Hal Sudborough (eds.) سری: Lecture Notes in Computer Science 2566 ISBN (شابک) : 9783540003267, 9783540363774 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2002 تعداد صفحات: 477 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 41,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب ماهیت محاسبات: پیچیدگی، تجزیه و تحلیل، تبدیل: منطق و معانی برنامه ها، مهندسی نرم افزار، محاسبات توسط دستگاه های انتزاعی
در صورت تبدیل فایل کتاب The Essence of Computation: Complexity, Analysis, Transformation به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ماهیت محاسبات: پیچیدگی، تجزیه و تحلیل، تبدیل نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ماهیت محاسبات: پیچیدگی، تجزیه و تحلیل، تبدیل
این کتاب با ارائه جنبه‌های مدرن نظریه محاسبات، شصتمین سالگرد
تولد نیل دی. جونز را گرامی می‌دارد، که فعالیت علمی او به
موازات تکامل خود نظریه محاسبات است.
20 مقالات پژوهشی بررسی شده ارائه شده همراه با بررسی مختصری از
کار نیل دی. جونز توسط دانشمندانی که با او در نقش دانشجو،
همکار و در یک مورد مربی کار کرده اند نوشته شده است. مطابق با
عنوان فرعی Festschrift، مقالات در بخش هایی در مورد پیچیدگی
محاسباتی، تجزیه و تحلیل برنامه، و تبدیل برنامه سازماندهی شده
اند.
توضیحاتی درمورد کتاب به خارجی
By presenting state-of-the-art aspects of the theory of
computation, this book commemorates the 60th birthday of Neil
D. Jones, whose scientific career parallels the evolution of
computation theory itself.
The 20 reviewed research papers presented together with a
brief survey of the work of Neil D. Jones were written by
scientists who have worked with him, in the roles of student,
colleague, and, in one case, mentor. In accordance with the
Festschrift's subtitle, the papers are organized in parts on
computational complexity, program analysis, and program
transformation.
فهرست مطالب
General Size-Change Termination and Lexicographic Descent....Pages 3-17
Comparing Star and Pancake Networks....Pages 18-36
Synchronization of Finite Automata: Contributions to an Old Problem....Pages 37-59
Lambda Calculi and Linear Speedups....Pages 60-82
Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software....Pages 85-108
Meta-circular Abstract Interpretation in Prolog....Pages 109-134
Flow Analysis: Games and Nets....Pages 135-156
On Extracting Static Semantics....Pages 157-171
Foundations of the Bandera Abstraction Tools....Pages 172-203
Types in Program Analysis....Pages 204-222
Flow Logic: A Multi-paradigmatic Approach to Static Analysis....Pages 223-244
Structure-Preserving Binary Relations for Program Abstraction....Pages 245-265
Principles of Inverse Computation and the Universal Resolving Algorithm....Pages 269-295
A Symmetric Approach to Compilation and Decompilation....Pages 296-331
The Abstraction and Instantiation of String-Matching Programs....Pages 332-357
WSDFU: Program Transformation System Based on Generalized Partial Computation....Pages 358-378
Homeomorphic Embedding for Online Termination of Symbolic Methods....Pages 379-403
Simple Driving Techniques....Pages 404-419
Demonstrating Lambda Calculus Reduction....Pages 420-435
From Type Inference to Configuration....Pages 436-471
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Julia Kristeva: Readings of Exile and Estrangement
دانلود کتاب A Life
دانلود کتاب Sattvik: Foods of India
دانلود کتاب Crossing the Rubicon: The Decline of the American Empire at the End of the Age of Oil
