دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Programming Languages: Implementations, Logics, and Programs: 8th International Symposium, PLILP '96 Aachen, Germany, September 24–27, 1996 Proceedings
دانلود کتاب زبان های برنامه نویسی: پیاده سازی ها، منطق ها و برنامه ها: هشتمین سمپوزیوم بین المللی، PLILP '96 آخن، آلمان، 24 تا 27 سپتامبر 1996 مجموعه مقالات
مشخصات کتاب
Programming Languages: Implementations, Logics, and Programs: 8th International Symposium, PLILP '96 Aachen, Germany, September 24–27, 1996 Proceedings
ویرایش: [1 ed.] نویسندگان: Lambert Meertens (auth.), Herbert Kuchen, S. Doaitse Swierstra (eds.) سری: Lecture Notes in Computer Science 1140 ISBN (شابک) : 3540617566, 9783540617563 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1996 تعداد صفحات: 478 [490] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 35,000
در صورت تبدیل فایل کتاب Programming Languages: Implementations, Logics, and Programs: 8th International Symposium, PLILP '96 Aachen, Germany, September 24–27, 1996 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب زبان های برنامه نویسی: پیاده سازی ها، منطق ها و برنامه ها: هشتمین سمپوزیوم بین المللی، PLILP '96 آخن، آلمان، 24 تا 27 سپتامبر 1996 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب زبان های برنامه نویسی: پیاده سازی ها، منطق ها و برنامه ها: هشتمین سمپوزیوم بین المللی، PLILP '96 آخن، آلمان، 24 تا 27 سپتامبر 1996 مجموعه مقالات
این کتاب مجموعه مقالات داوری هشتمین سمپوزیوم بین‌المللی
زبان‌های برنامه‌نویسی، پیاده‌سازی، منطق و برنامه‌ها، PLILP
'96 است که همراه با ALP و SAS در آخن، آلمان، در سپتامبر 1996
برگزار شد.
30 مقالات کامل اصلاح شده ارائه شده در این جلد از مجموع 97
مقاله ارسالی انتخاب شدند. همچنین شامل یک مشارکت دعوت شده توسط
Lambert Meerlens و پنج پوستر و تظاهرات است. این مقالات در
بخش‌های موضوعی در مورد سیستم‌های تایپ و ساختار، تجزیه و تحلیل
برنامه، تبدیل برنامه، مسائل پیاده‌سازی، برنامه‌نویسی همزمان و
موازی، ابزارها و محیط‌های برنامه‌نویسی، محاسبات لامبدا و
بازنویسی، محدودیت‌ها و زبان‌های پایگاه داده قیاسی سازماندهی
شده‌اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the Eighth
International Symposium on Programming Languages,
Implementations, Logics, and Programs, PLILP '96, held in
conjunction with ALP and SAS in Aachen, Germany, in September
1996.
The 30 revised full papers presented in the volume were
selected from a total of 97 submissions; also included are
one invited contribution by Lambert Meerlens and five posters
and demonstrations. The papers are organized in topical
sections on typing and structuring systems, program analysis,
program transformation, implementation issues, concurrent and
parallel programming, tools and programming environments,
lambda-calculus and rewriting, constraints, and deductive
database languages.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Correlation and dependence
دانلود کتاب Advances in Artificial Intelligence – SBIA 2004: 17th Brazilian Symposium on Artificial Intelligence, Sao Luis, Maranhao, Brazil, September 29-Ocotber 1, 2004. Proceedings
دانلود کتاب Introduction to Number Systems and Logic
دانلود کتاب Control Theory and Related Topics: In Memory of Prof Xunjing Li, Fudan University, China, 3-5 June 2005
