ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

دانلود کتاب بررسی مدل، ترکیب، و یادگیری: مقالات تقدیم به بنگت جانسون به مناسبت 60 سالگی او

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

مشخصات کتاب

Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday

ویرایش: [13030, 1 ed.] 
نویسندگان: , ,   
سری: (Lecture Notes in Computer Science 
ISBN (شابک) : 9783030913847, 9783030913830 
ناشر: Springer 
سال نشر: 2021 
تعداد صفحات: 227 
زبان: English 
فرمت فایل : EPUB (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 25 Mb 

قیمت کتاب (تومان) : 46,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 4


در صورت تبدیل فایل کتاب Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب بررسی مدل، ترکیب، و یادگیری: مقالات تقدیم به بنگت جانسون به مناسبت 60 سالگی او نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب بررسی مدل، ترکیب، و یادگیری: مقالات تقدیم به بنگت جانسون به مناسبت 60 سالگی او

این Festschrift که به مناسبت تولد 60 سالگی بنگت جانسون تقدیم شده است، حاوی مقالاتی است که توسط بسیاری از دوستان و همکارانش نوشته شده است.

بنگت مشارکت های عمده ای در پوشش طیف گسترده ای از موضوعات از جمله تأیید و یادگیری داشته است. کارهای او در مورد تأیید، در سیستم های حالت محدود، یادگیری، آزمایش، سیستم های احتمالی، سیستم های زمان بندی شده و سیستم های توزیع شده، تنوع و عمق تحقیقات او را منعکس می کند. بنگت علاوه بر اینکه یک دانشمند عالی است، همچنین یک رهبر است که بر حرفه دانشجویان و همکارانش تأثیر زیادی گذاشته است.

تمرکز اصلی او در طول زندگی حرفه‌ای‌اش در حوزه روش‌های رسمی بوده است، و مقالات تحقیقاتی اختصاص داده شده به او در این جلد، به موضوعات مرتبط، به ویژه مربوط به بررسی مدل، منطق زمانی، و یادگیری خودکار می‌پردازد.
</ p>


توضیحاتی درمورد کتاب به خارجی

This Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains papers written by many of his friends and collaborators.

Bengt has made major contributions covering a wide range of topics including verification and learning. His works on verification, in finite state systems, learning, testing, probabilistic systems, timed systems, and distributed systems reflect both the diversity and the depth of his research. Besides being an excellent scientist, Bengt is also a leader who has greatly influenced the careers of both his students and his colleagues.

His main focus throughout his career has been in the area of formal methods, and the research papers dedicated to him in this volume address related topics, particularly related to model checking, temporal logic, and automata learning.





نظرات کاربران