دانلود کتاب Concurrency, Compositionality, and Correctness: Essays in Honor of Willem-Paul de Roever (به فارسی: همزمانی، ترکیب، و درستی: مقالاتی به افتخار ویلم پل دوروور) نوشته شده توسط «Dennis Dams – Ulrich Hannemann (auth.) – Dennis Dams – Ulrich Hannemann – Martin Steffen (eds.)»
اطلاعات کتاب همزمانی، ترکیب، و درستی: مقالاتی به افتخار ویلم پل دوروور
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer Berlin Heidelberg
نویسنده: Dennis Dams – Ulrich Hannemann (auth.) – Dennis Dams – Ulrich Hannemann – Martin Steffen (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2010
تعداد صفحه: 377p. 94 illus..
حجم کتاب: 6 مگابایت
کد کتاب: 364211511X , 9783642115110
نوبت چاپ: 1st Edition.
توضیحات کتاب همزمانی، ترکیب، و درستی: مقالاتی به افتخار ویلم پل دوروور
این مجلد 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.
دانلود کتاب «همزمانی، ترکیب، و درستی: مقالاتی به افتخار ویلم پل دوروور»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.