دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers
دانلود کتاب دیدگاه های سیستم انفورماتیک: دوازدهمین کنفرانس بین المللی انفورماتیک آندری پی ارشوف، PSI 2019، نووسیبیرسک، روسیه، 2 تا 5 ژوئیه، 2019، مقالات منتخب اصلاح شده
مشخصات کتاب
Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers
ویرایش: [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
قیمت کتاب (تومان) : 51,000
در صورت تبدیل فایل کتاب 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، نووسیبیرسک، روسیه، 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.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Organophosphorus Chemistry - Volume 15 (SPR Organophosphorus Chemistry (RSC))
دانلود کتاب Bautechnische Probleme bei der Erstellung von Kernkraftwerken. Sandwichflächentragwerke im konstruktiven Ingenieurbau: 189. Sitzung am 3. Juni 1970 in Düsseldorf
دانلود کتاب Dances with wolves
دانلود کتاب Manpower Planning and Organization Design
