دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Models, Languages, and Tools for Concurrent and Distributed Programming: Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday
دانلود کتاب مدل‌ها، زبان‌ها و ابزارهای برنامه‌نویسی همزمان و توزیع‌شده: مقاله‌های تقدیم به روکو دی نیکولا به مناسبت 65 سالگی او
مشخصات کتاب
Models, Languages, and Tools for Concurrent and Distributed Programming: Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday
ویرایش: [1st ed.] نویسندگان: Michele Boreale, Flavio Corradini, Michele Loreti, Rosario Pugliese سری: Lecture Notes in Computer Science 11665 ISBN (شابک) : 9783030214845 ناشر: Springer International Publishing سال نشر: 2019 تعداد صفحات: XIII, 498 [501] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 24 Mb
قیمت کتاب (تومان) : 36,000
در صورت تبدیل فایل کتاب Models, Languages, and Tools for Concurrent and Distributed Programming: Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدل‌ها، زبان‌ها و ابزارهای برنامه‌نویسی همزمان و توزیع‌شده: مقاله‌های تقدیم به روکو دی نیکولا به مناسبت 65 سالگی او نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مدل‌ها، زبان‌ها و ابزارهای برنامه‌نویسی همزمان و توزیع‌شده: مقاله‌های تقدیم به روکو دی نیکولا به مناسبت 65 سالگی او
این جلد به افتخار شصت و پنجمین سالگرد تولد روکو دی نیکولا
منتشر شد. جلد Festschrift شامل 27 مقاله است که توسط همکاران
نزدیک و دوستان روکو د نیکولا نوشته شده است و در 1 ژوئیه 2019
طی یک سمپوزیوم دو روزه در لوکا، ایتالیا به روکو ارائه
شد.
این مقالات ایده های تحقیقاتی بسیاری را ارائه می کنند که تحت
تأثیر کار روکو قرار گرفته است. آنها کنجکاوی فکری، تطبیق پذیری
و فعالیت تحقیقاتی خستگی ناپذیر او را گواهی می دهند و مروری بر
پیشرفت های بعدی ارائه می دهند. این جلد از شش بخش تشکیل شده
است. اولین مورد شامل ستایشی است که حرفه برجسته و مشارکت های
علمی اصلی روکو و شاهد تجربیات کاری با روکو را نشان می دهد.
پنج بخش باقیمانده شامل مقالات علمی مرتبط با علایق تحقیقاتی
خاص روکو است و بر اساس تکامل علمی او مرتب شده است: معناشناسی
مشاهده ای. منطق و انواع; مدل‌ها و زبان‌های هماهنگی؛ مدل سازی
سیستم های توزیع شده; امنیت.
توضیحاتی درمورد کتاب به خارجی
This volume was published in honor of Rocco De Nicola’s 65th
birthday. The Festschrift volume contains 27 papers written
by close collaborators and friends of Rocco De Nicola and was
presented to Rocco on the 1st of July 2019 during a two-day
symposium held in Lucca, Italy.
The papers present many research ideas that have been
influenced by Rocco's work. They testify his intellectual
curiosity, versatility and tireless research activity, and
provide an overview of further developments to come. The
volume consists of six sections. The first one contains a
laudation illustrating the distinguished career and the main
scientific contributions by Rocco and a witness of working
experiences with Rocco. The remaining five sections comprise
scientific papers related to specific research interests of
Rocco and are ordered according to his scientific evolution:
Observational Semantics; Logics and Types; Coordination
Models and Languages; Distributed Systems Modelling;
Security.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Bilanzpolitik und Pensionsverpflichtungen nach IAS 19: Eine empirisch-ökonometrische Untersuchung am deutschen Kapitalmarkt
دانلود کتاب Education for all: Mid-decade review report of regional seminars (Education for all : achieving the goal)
دانلود کتاب Combinatorial Pattern Matching: 20th Annual Symposium, CPM 2009 Lille, France, June 22-24, 2009 Proceedings
