دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Implementations of Logic Programming Systems
دانلود کتاب پیاده سازی سیستم های برنامه نویسی منطق
مشخصات کتاب
Implementations of Logic Programming Systems
ویرایش: [1 ed.] نویسندگان: Michele Bugliesi, Giuseppe Nardiello (auth.), Evan Tick, Giancarlo Succi (eds.) سری: ISBN (شابک) : 9781461361572, 9781461526902 ناشر: Springer US سال نشر: 1994 تعداد صفحات: 262 [259] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 Mb
قیمت کتاب (تومان) : 38,000
در صورت تبدیل فایل کتاب Implementations of Logic Programming Systems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پیاده سازی سیستم های برنامه نویسی منطق نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب پیاده سازی سیستم های برنامه نویسی منطق
این جلد مجموعه ای از مقالات تحقیقاتی در زمینه پیاده سازی سیستم
های برنامه نویسی منطقی است. برای پزشکانی که به دنبال درک نحوه
مدیریت کارآمد حافظه، تولید کد سریع، انجام تحلیل‌های استاتیک
پیچیده و طراحی ویژگی‌های زمان اجرا با کارایی بالا هستند، فوراً
مورد علاقه خواهد بود.
یک موضوع اصلی در سراسر کتاب این است که چگونه می توان به طور
موثر از سیستم ها و فن آوری های پیاده سازی میزبان برای پیاده
سازی سیستم های هدف استفاده کرد. این کتاب همچنین برای مراجعات
آینده مفید است زیرا تجربیات فراوانی از پیاده‌سازی سیستم‌ها را
از محققانی که در ده سال گذشته این زمینه را شکل داده‌اند، خلاصه
می‌کند.
موضوع دیگر کتاب، تکنیک های تالیف برای افزایش عملکرد است. حوزه
تحلیل ایستا برای برنامه های منطقی یک زمینه به سرعت در حال توسعه
است که به تنهایی سزاوار حجم است.
پیاده‌سازی سیستم‌های برنامه‌نویسی منطقی یک مرجع عالی
است و ممکن است به عنوان متنی برای دوره‌ای در این زمینه استفاده
شود.
توضیحاتی درمورد کتاب به خارجی
This volume is a collection of research papers in the area of
the implementation of logic programming systems. It will be of
immediate interest to practitioners who seek an understanding
of how to efficiently manage memory, generate fast code,
perform sophisticated static analyses, and design
high-performance runtime features.
A major theme throughout the book is how to effectively
leverage host implementation systems and technologies to
implement target systems. The book is also beneficial for
future reference because it summarizes a wealth of systems
implementation experience of the researchers shaping the field
over the past ten years.
Another theme of the book is compilation techniques to boost
performance. The field of static analysis for logic programs is
a rapidly developing field that deserves a volume on its
own.
Implementations of Logic Programming Systems is an
excellent reference and may be used as a text for a course on
the subject.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Light Metals 2017
دانلود کتاب Sea Level Rise and Coastal Infrastructure: Prediction, Risks and Solutions
دانلود کتاب Тиристорний електропривід постійного струму
