دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Foundational and Practical Aspects of Resource Analysis: Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
دانلود کتاب جنبه های اساسی و عملی تجزیه و تحلیل منابع: سومین کارگاه بین المللی، FOPARA 2013، برتینورو، ایتالیا، 29-31 اوت 2013، مقالات منتخب اصلاح شده
مشخصات کتاب
Foundational and Practical Aspects of Resource Analysis: Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers
ویرایش: 1
نویسندگان: Ugo Dal Lago. Ricardo Peña (eds.)
سری: Lecture Notes in Computer Science 8552 Programming and Software Engineering
ISBN (شابک) : 9783319124650, 9783319124667
ناشر: Springer International Publishing
سال نشر: 2014
تعداد صفحات: 168
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 45,000
کلمات کلیدی مربوط به کتاب جنبه های اساسی و عملی تجزیه و تحلیل منابع: سومین کارگاه بین المللی، FOPARA 2013، برتینورو، ایتالیا، 29-31 اوت 2013، مقالات منتخب اصلاح شده: عملکرد و ارزیابی سیستم، تحلیل الگوریتم و پیچیدگی مسئله، منطق و معانی برنامه‌ها، مهندسی نرم‌افزار، زبان‌های برنامه‌نویسی، کامپایلرها، مترجمان، محاسبات توسط دستگاه‌های انتزاعی
در صورت تبدیل فایل کتاب Foundational and Practical Aspects of Resource Analysis: Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جنبه های اساسی و عملی تجزیه و تحلیل منابع: سومین کارگاه بین المللی، FOPARA 2013، برتینورو، ایتالیا، 29-31 اوت 2013، مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی درمورد کتاب به خارجی
فهرست مطالب
Front Matter....Pages I-IX
Certified Complexity (CerCo)....Pages 1-18
On the Modular Integration of Abstract Semantics for WCET Analysis....Pages 19-37
Can a Light Typing Discipline Be Compatible with an Efficient Implementation of Finite Fields Inversion?....Pages 38-57
Probabilistic Analysis of Programs: A Weak Limit Approach....Pages 58-76
Predicative Lexicographic Path Orders....Pages 77-92
A Hoare Logic for Energy Consumption Analysis....Pages 93-109
Reasoning About Resources in the Embedded Systems Language Hume....Pages 110-126
On Paths-Based Criteria for Polynomial Time Complexity in Proof-Nets....Pages 127-142
Collected Size Semantics for Strict Functional Programs over General Polymorphic Lists....Pages 143-159
Back Matter....Pages 161-161
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Mobile Multimedia Broadcasting Standards: Technology and Practice
دانلود کتاب The Russian cinema reader. Vol. one, 1908 to the Stalin era
دانلود کتاب Say’s Law: An Historical Analysis
دانلود کتاب The Greek Perfekt Tense in the Gospel of Marc and the Epistle to the Romans
