دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Algorithmic Languages and Calculi: IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi 17–22 February 1997, Alsace, France
دانلود کتاب زبان‌ها و محاسبات الگوریتمی: کارگاه بین‌المللی IFIP TC2 WG2.1 درباره زبان‌های الگوریتمی و محاسبات 17–22 فوریه 1997، آلزاس، فرانسه
مشخصات کتاب
Algorithmic Languages and Calculi: IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi 17–22 February 1997, Alsace, France
ویرایش: نویسندگان: Richard S. Bird, Lambert Meertens (eds.) سری: IFIP Advances in Information and Communication Technology ISBN (شابک) : 9781504128773, 9780387352640 ناشر: Springer US سال نشر: 1997 تعداد صفحات: [451] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 39 Mb
قیمت کتاب (تومان) : 41,000
در صورت تبدیل فایل کتاب Algorithmic Languages and Calculi: IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi 17–22 February 1997, Alsace, France به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبان‌ها و محاسبات الگوریتمی: کارگاه بین‌المللی IFIP TC2 WG2.1 درباره زبان‌های الگوریتمی و محاسبات 17–22 فوریه 1997، آلزاس، فرانسه نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Front Matter....Pages i-viii
Dynamic programming: a different perspective....Pages 1-23
Calculating With Pointer Structures....Pages 24-48
Deriving a systolic regular language recognizer....Pages 49-75
A Calculational Fusion System HYLO....Pages 76-106
Refinement of data parallel programs in PEI....Pages 107-131
Solving Large Systems of Differential Equations in Parallel Using Covers and Skeletons....Pages 132-163
Refinement of Parameterized Algebraic Specifications....Pages 164-186
Towards a Compositional Interpretation of Object Diagrams....Pages 187-211
Defining and Detecting Feature Interactions....Pages 212-239
Synthesising Interconnections....Pages 240-264
A Powerful Transformation Rule, its Applications and Variants....Pages 265-295
Program Derivation via List Introduction....Pages 296-323
Toward a calculus for abstract syntax trees....Pages 324-356
Principled strength reduction....Pages 357-381
The Formal Reconstruction and Speedup Of The Linear Time Fragment Of Willard’s Relational Calculus Subset....Pages 382-414
Predicative Semantics of Loops....Pages 415-440
Back Matter....Pages 441-443
