دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
دانلود کتاب سمپوزیوم سیستم های بی درنگ و ترکیبی: مقاله های اختصاص داده شده به پروفسور چاوشن ژو به مناسبت 80 سالگی
مشخصات کتاب
Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday
ویرایش: [1st ed.] نویسندگان: Cliff Jones, Ji Wang, Naijun Zhan سری: Lecture Notes in Computer Science 11180 ISBN (شابک) : 9783030014605 ناشر: Springer International Publishing سال نشر: 2018 تعداد صفحات: XII, 263 [273] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 10 Mb
قیمت کتاب (تومان) : 52,000
در صورت تبدیل فایل کتاب Symposium on Real-Time and Hybrid Systems: Essays Dedicated to Professor Chaochen Zhou on the Occasion of His 80th Birthday به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سمپوزیوم سیستم های بی درنگ و ترکیبی: مقاله های اختصاص داده شده به پروفسور چاوشن ژو به مناسبت 80 سالگی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سمپوزیوم سیستم های بی درنگ و ترکیبی: مقاله های اختصاص داده شده به پروفسور چاوشن ژو به مناسبت 80 سالگی
این جلد به افتخار هشتادمین سالگرد تولد پروفسور چائوچن ژو
منتشر شده است. Festschrift شامل 13 مقاله داوری شده توسط
محققان برجسته است که از جمله شرکت کنندگان در کنفرانس جشن در
چانگشا، چین بودند که در اکتبر 2017 برگزار شد.
این مقالات طیف گسترده ای از موضوعات مرتبط با روش های رسمی
برای توسعه سیستم های کامپیوتری را پوشش می دهد. . موضوعات
عبارتند از برنامه نویسی احتمالی، همزمان، محاسبات کوانتومی،
مهندسی دامنه، سیستم های زمان واقعی و ترکیبی، و رایانش
ابری.
Chaochen Zhou در سطح بین المللی به دلیل مشارکت های خود و برای
تأثیر گسترده ای که از طریق قرار ملاقات های خود در آکسفورد
(بریتانیا) داشته است، جایی که با پروفسور تونی هور، لینگبی
(دانمارک) و در آنجا با پروفسور Dines Bjørner، UNU کار کرده
است، شناخته شده است. -IIST (ماکائو) جایی که او از پژوهشگر
اصلی به سمت مدیر مؤسسه منصوب شد و همچنین در پکن.
کتاب او در مورد محاسبه مدت زمان (مشترک با مایکل هانسن) سهم
مهمی در تعیین و استدلال در مورد سیستم‌های بلادرنگ داشت.
مشارکت چائوچن ژو با انتخاب او به عنوان عضوی از آکادمی علوم
چین مشخص شده است.
توضیحاتی درمورد کتاب به خارجی
This volume is published in honor of Professor Chaochen
Zhou’s 80th birthday. The Festschrift contains 13 refereed
papers by leading researchers who were among the participants
of the celebratory conference in Changsha, China that took
place in October 2017.
The papers cover a broad spectrum of subjects related to
Formal Methods for the development of computer systems.
Topics include Probabilistic Programming, Concurrency,
Quantum Computing, Domain Engineering, Real-time and Hybrid
Systems, and Cloud Computing.
Chaochen Zhou is internationally recognized for his own
contributions and for the wide influence that he has had
through his appointments in Oxford (UK) where he collaborated
with Professor Tony Hoare, Lyngby (Denmark) where he worked
with Professor Dines Bjørner, UNU-IIST (Macau) where he moved
from being Principal Research Fellow to his appointed as
Director of the Institute, as well as in Beijing.
His book on the Duration Calculus (joint with Michael Hansen)
made a seminal contribution to specifying and reasoning about
real-time systems. Chaochen Zhou’s contributions have been
marked by his election as a member of the Chinese Academy of
Sciences.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Witchcraft in Early Modern Poland, 1500–1800
دانلود کتاب Commemorative Identities: Jewish Social Memory and the Johannine Feast of Booths
دانلود کتاب Die Panik-Macher
دانلود کتاب Potentia: Hobbes and Spinoza on Power and Popular Politics
