دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Transactions on Petri Nets and Other Models of Concurrency X
دانلود کتاب تراکنش‌های پتری نت و سایر مدل‌های همزمانی X
مشخصات کتاب
Transactions on Petri Nets and Other Models of Concurrency X
ویرایش: 1 نویسندگان: Maciej Koutny, Jörg Desel, Serge Haddad (eds.) سری: Lecture Notes in Computer Science 9410 ISBN (شابک) : 9783662486498, 9783662486504 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2015 تعداد صفحات: 190 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 60,000
کلمات کلیدی مربوط به کتاب تراکنش‌های پتری نت و سایر مدل‌های همزمانی X: مهندسی نرم افزار، منطق و معانی برنامه ها
در صورت تبدیل فایل کتاب Transactions on Petri Nets and Other Models of Concurrency X به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تراکنش‌های پتری نت و سایر مدل‌های همزمانی X نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تراکنش‌های پتری نت و سایر مدل‌های همزمانی X
این تراکنش‌ها مقالات آرشیوی را در حوزه وسیع شبکه‌های پتری و
سایر مدل‌های همزمانی، از کارهای نظری گرفته تا پشتیبانی ابزار
و کاربردهای صنعتی منتشر می‌کنند. موضوعات ToPNoC به عنوان
جلدهای LNCS منتشر می شوند و از این رو به طور گسترده توزیع و
نمایه می شوند. این مجله دارای هیئت تحریریه خود است که مقالات
را بر اساس یک فرآیند داوری دو مرحله ای دقیق انتخاب می کند.
ToPNoC شامل:
توضیحاتی درمورد کتاب به خارجی
These Transactions publish archival papers in the broad area
of Petri nets and other models of concurrency, ranging from
theoretical work to tool support and industrial applications.
ToPNoC issues are published as LNCS volumes, and hence are
widely distributed and indexed. This Journal has its own
Editorial Board which selects papers based on a rigorous
two-stage refereeing process. ToPNoC contains:
فهرست مطالب
Front Matter....Pages I-XV
Verification of Logs - Revealing Faulty Processes of a Medical Laboratory....Pages 1-18
An Everlasting Secure Non-interactive Timestamping Scheme in the Bounded Storage Model....Pages 19-33
Timed Aggregate Graph: A Finite Graph Preserving Event- and State-Based Quantitative Properties of Time Petri Nets....Pages 34-54
SMT-Based Abstract Parametric Temporal Planning....Pages 55-83
Kleene Theorems for Synchronous Products with Matching....Pages 84-108
Symbolic Model Checking of Security Protocols for Ad hoc Networks on any Topologies....Pages 109-130
Symbolic Search of Insider Attack Scenarios from a Formal Information System Modeling....Pages 131-152
Modelling and Analysis Mobile Systems Using \(\pi \) -calculus (EFCP)....Pages 153-175
Back Matter....Pages 177-177
