دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [13030, 1 ed.] نویسندگان: Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi سری: (Lecture Notes in Computer Science ISBN (شابک) : 9783030913847, 9783030913830 ناشر: Springer سال نشر: 2021 تعداد صفحات: 227 زبان: English فرمت فایل : EPUB (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 25 Mb
در صورت تبدیل فایل کتاب Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب بررسی مدل، ترکیب، و یادگیری: مقالات تقدیم به بنگت جانسون به مناسبت 60 سالگی او نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
بنگت مشارکت های عمده ای در پوشش طیف گسترده ای از موضوعات از جمله تأیید و یادگیری داشته است. کارهای او در مورد تأیید، در سیستم های حالت محدود، یادگیری، آزمایش، سیستم های احتمالی، سیستم های زمان بندی شده و سیستم های توزیع شده، تنوع و عمق تحقیقات او را منعکس می کند. بنگت علاوه بر اینکه یک دانشمند عالی است، همچنین یک رهبر است که بر حرفه دانشجویان و همکارانش تأثیر زیادی گذاشته است.
تمرکز اصلی او در طول زندگی حرفهایاش در حوزه روشهای رسمی
بوده است، و مقالات تحقیقاتی اختصاص داده شده به او در این جلد،
به موضوعات مرتبط، به ویژه مربوط به بررسی مدل، منطق زمانی، و
یادگیری خودکار میپردازد.
</ p>
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.