دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [1st ed. 2019] نویسندگان: Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov سری: Lecture Notes in Computer Science 11964 ISBN (شابک) : 9783030374860, 9783030374877 ناشر: Springer International Publishing سال نشر: 2019 تعداد صفحات: XVIII, 263 [279] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 17 Mb
در صورت تبدیل فایل کتاب Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب دیدگاه های سیستم انفورماتیک: دوازدهمین کنفرانس بین المللی انفورماتیک آندری پی ارشوف، PSI 2019، نووسیبیرسک، روسیه، 2 تا 5 ژوئیه، 2019، مقالات منتخب اصلاح شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری دوازدهمین کنفرانس بین المللی
انفورماتیک آندری پی ارشوف، PSI 2019، که در نووسیبیرسک، روسیه،
در ژوئیه 2019 برگزار شد، تشکیل می شود.
18 مقاله کامل و 3 مقاله کوتاه ارائه شده در این جلد با دقت
ارائه شده است. بررسی و از بین 70 مورد ارسالی انتخاب شد. این
مقالات موضوعات مختلفی را در رابطه با ریاضیات محاسبات،
سیستمهای اطلاعاتی، زبانهای رسمی، سیستمها و شبکههای قابل
اعتماد و تحملپذیر خطا، تئوری خودکار و موارد دیگر پوشش
میدهند.
This book constitutes the refereed proceedings of the 12th
International Andrei P. Ershov Informatics Conference, PSI
2019, held in Novosibirsk, Russia, in July 2019.
The 18 full papers and 3 short papers presented in this
volume were carefully reviewed and selected from 70
submissions. The papers cover various topics related to the
Mathematics of Computing, Information Systems, Formal
Languages, dependable and fault-tolerant Systems and Network,
Automata Theory, and much more.