دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever
دانلود کتاب همزمانی ، ترکیب بندی و صحت: مقاله هایی به احترام ویلم-پل دو روور
مشخصات کتاب
Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever
ویرایش: نویسندگان: Dennis Dams, Ulrich Hannemann (auth.), Dennis Dams, Ulrich Hannemann, Martin Steffen (eds.) سری: Lecture Notes in Computer Science 5930 : Theoretical Computer Science and General Issues ناشر: Springer Berlin Heidelberg سال نشر: 2010 تعداد صفحات: 377p. 94 illus.. [383] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 Mb
قیمت کتاب (تومان) : 53,000
در صورت تبدیل فایل کتاب Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب همزمانی ، ترکیب بندی و صحت: مقاله هایی به احترام ویلم-پل دو روور نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب همزمانی ، ترکیب بندی و صحت: مقاله هایی به احترام ویلم-پل دو روور
این مجلد Festschrift که به افتخار ویلم-پل دوروور منتشر شده است، شامل 19 مقاله مفصل است که توسط دوستان و همکاران این افتخار نویس نوشته شده است، که همگی دانشمند برجسته هستند. قبل از اینها یک کتابشناسی مفصل ارائه شده و در پایان کتاب با گالری عکس گرد می شود.
مضمونی که مقالات تحت آن گردآوری شده است همسانی، ترکیب و صحت است. ، منعکس کننده تمرکز حرفه تحقیقاتی ویلم پل دوروور است. موضوعات مورد بررسی عبارتند از بررسی مدل، علوم کامپیوتر و ماشین‌های حالت، هستی‌شناسی و صرف شناسی دامنه‌ها، نظریه بازی، صحت کامپایلر، زمان‌بندی منصفانه و الگوریتم‌های رمزگذاری.
توضیحاتی درمورد کتاب به خارجی
This Festschrift volume, published in honor of Willem-Paul de Roever, contains 19 detailed papers written by the friends and colleagues of the honoree, all eminent scientists in their own right. These are preceded by a detailed bibliography and rounded off, at the end of the book, with a gallery of photographs.
The theme under which the papers have been collected is Concurrency, Compositionality, and Correctness, reflecting the focus of Willem-Paul de Roever's research career. Topics addressed include model checking, computer science and state machines, ontology and mereology of domains, game theory, compiler correctness, fair scheduling and encryption algorithms.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Genesis of the GATT
دانلود کتاب Africa: What It Gave Me, What It Took from Me: Remembrances from My Life as a German Settler in South West Africa
دانلود کتاب Landschafts Aquarelle. Ihr neues Hobby (Landscape watercolors. My new hobby)
