دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [1st ed.]
نویسندگان: Susanna Donatelli. Stefan Haar
سری: Lecture Notes in Computer Science 11522
ISBN (شابک) : 9783030215705
ناشر: Springer International Publishing
سال نشر: 2019
تعداد صفحات: XV, 471
[473]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 17 Mb
در صورت تبدیل فایل کتاب Application and Theory of Petri Nets and Concurrency: 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب کاربرد و نظریه شبکه های پتری و همزمانی: چهلمین کنفرانس بین المللی، PETRI NETS 2019، آخن، آلمان، 23 تا 28 ژوئن 2019، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات چهلمین کنفرانس بین المللی کاربرد و
تئوری شبکه های پتری و همزمانی، PETRI NETS 2019، در آخن،
آلمان، در ژوئن 2018 است. پتری نتس 2019 با نوزدهمین کنفرانس
بین المللی کاربرد همزمانی در طراحی سیستم، ACSD 2019.
23 مقاله معمولی و 3 مقاله دعوت شده ارائه شده با هم در این جلد
به دقت بررسی و از بین 41 مقاله ارسالی انتخاب شدند. تمرکز
کنفرانس بر روی موضوعات زیر است: مدلها، ابزارها، سنتز،
معناشناسی، فرآیندهای همزمان، جنبههای الگوریتمی، پارامترها و
ترکیبها، و مدلهای با پسوند.
This book constitutes the proceedings of the 40th
International Conference on Application and Theory of Petri
Nets and Concurrency, PETRI NETS 2019, held in Aachen,
Germany, , in June 2018. Petri Nets 2019 is co-located with
the 19th International Conference on Application of
Concurrency to System Design, ACSD 2019.
The 23 regular and 3 invited papers presented together in
this volume were carefully reviewed and selected from 41
submissions. The focus of the conference is on following
topics: Models, Tools, Synthesis, Semantics, Concurrent
Processes, Algorithmic Aspects, Parametrics and
Combinatorics, and Models with Extensions.