دانلود کتاب Petri Nets and Other Models of Concurrency – ICATPN 2007: 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007. Proceedings (به فارسی: شبکه های پتری و مدل های دیگر همزمانی – ICATPN 2007: بیست و هشتمین کنفرانس بین المللی کاربردها و تئوری شبکه های پتری و سایر مدل های همزمانی، ICATPN 2007، Siedlce، لهستان، 25-29 ژوئن، 2007. مجموعه مقالات) نوشته شده توسط «Samson Abramsky (auth.) – Jetty Kleijn – Alex Yakovlev (eds.)»
اطلاعات کتاب شبکه های پتری و مدل های دیگر همزمانی – ICATPN 2007: بیست و هشتمین کنفرانس بین المللی کاربردها و تئوری شبکه های پتری و سایر مدل های همزمانی، ICATPN 2007، Siedlce، لهستان، 25-29 ژوئن، 2007. مجموعه مقالات
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Samson Abramsky (auth.) – Jetty Kleijn – Alex Yakovlev (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2007
تعداد صفحه: 515
حجم کتاب: 7 مگابایت
کد کتاب: 9783540730934 , 9783540730941 , 3540730931
نوبت چاپ: 1
توضیحات کتاب شبکه های پتری و مدل های دیگر همزمانی – ICATPN 2007: بیست و هشتمین کنفرانس بین المللی کاربردها و تئوری شبکه های پتری و سایر مدل های همزمانی، ICATPN 2007، Siedlce، لهستان، 25-29 ژوئن، 2007. مجموعه مقالات
این کتاب مجموعه مقالات داوری بیست و هشتمین کنفرانس بین‌المللی کاربردها و تئوری شبکه‌های پتری و سایر مدل‌های همزمانی، ICATPN 2007، برگزار شده در Siedlce، لهستان، در ژوئن 2007 است.
22 تجدید نظر شده مقالات کامل و سه مقاله ابزار اصلاح شده ارائه شده همراه با پنج مقاله دعوت شده به دقت بررسی و از بین 70 مقاله ارسالی انتخاب شدند. تمام مسائل جاری در مورد تحقیق و توسعه در زمینه شبکه‌های پتری و مدل‌سازی سیستم‌های همزمان، به ویژه طراحی و تأیید سیستم، تجزیه و تحلیل، سنتز، ساختار و رفتار شبکه‌ها، نظریه و روابط شبکه، نظریه علیت / نظم جزئی همزمانی مورد بررسی قرار گرفته است. ، وب معنایی، محاسبات منطقی و جبری، نمایش شبکه نمادین، ابزار شبکه ها، گزارش های تجربی و مطالعات موردی، مسائل آموزشی، مدل های شبکه سطح بالاتر، شبکه های زمان بندی شده و تصادفی و همچنین استانداردسازی شبکه ها.
This book constitutes the refereed proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, held in Siedlce, Poland, in June 2007.
The 22 revised full papers and three revised tool papers presented together with five invited papers were carefully reviewed and selected from a total of 70 submissions. All current issues on research and development in the area of Petri nets and modeling of concurrent systems are addressed, in particular system design and verification, analysis, synthesis, structure and behavior of nets, net theory and relations, causality/partial order theory of concurrency, semantic Web, logical and algebraic calculi, symbolic net representation, tools for nets, experience reports and case studies, educational issues, higher-level net models, timed and stochastic nets, as well as standardization of nets.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.