دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Reachability Problems: 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings
دانلود کتاب مشکلات دستیابی: 9مین کارگاه بین المللی ، RP 2015 ، ورشو ، لهستان ، 21-23 سپتامبر 2015 ، مجموعه مقالات
مشخصات کتاب
Reachability Problems: 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings
ویرایش: 1 نویسندگان: Mikołaj Bojańczyk, Sławomir Lasota, Igor Potapov (eds.) سری: Lecture Notes in Computer Science 9328 ISBN (شابک) : 9783319245362, 9783319245379 ناشر: Springer International Publishing سال نشر: 2015 تعداد صفحات: 197 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 37,000
کلمات کلیدی مربوط به کتاب مشکلات دستیابی: 9مین کارگاه بین المللی ، RP 2015 ، ورشو ، لهستان ، 21-23 سپتامبر 2015 ، مجموعه مقالات: محاسبات با دستگاه های انتزاعی، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Reachability Problems: 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مشکلات دستیابی: 9مین کارگاه بین المللی ، RP 2015 ، ورشو ، لهستان ، 21-23 سپتامبر 2015 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مشکلات دستیابی: 9مین کارگاه بین المللی ، RP 2015 ، ورشو ، لهستان ، 21-23 سپتامبر 2015 ، مجموعه مقالات
این کتاب مجموعه مقالات داوری نهمین کارگاه بین المللی مشکلات
دسترسی، RP 2015، برگزار شده در ورشو، لهستان، در سپتامبر 2015
است. از بین 23 ارسال انتخاب شده است. این مقالات طیف وسیعی از
موضوعات را در زمینه دسترسی به سیستم های حالت نامحدود پوشش می
دهد. سیستم های بازنویسی؛ تجزیه و تحلیل دسترس پذیری در
اتوماتای شمارنده / زماندار / سلولی / ارتباطی. توری پتری؛
جنبه های محاسباتی نیمه گروه ها، گروه ها و حلقه ها. دسترسی در
سیستم های دینامیکی و هیبریدی؛ مرزهای بین مشکلات دستیابی قابل
تصمیم گیری و غیرقابل تصمیم گیری؛ جنبه های پیچیدگی و تصمیم
پذیری؛ قابلیت پیش بینی در نقشه های تکراری و پارادایم های
محاسباتی جدید.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 9th
International Workshop on Reachability Problems, RP 2015,
held in Warsaw, Poland, in September 2015. The 14 papers
presented together with 6 extended abstracts in this volume
were carefully reviewed and selected from 23 submissions. The
papers cover a range of topics in the field of reachability
for infinite state systems; rewriting systems; reachability
analysis in counter/timed/cellular/communicating automata;
Petri nets; computational aspects of semigroups, groups, and
rings; reachability in dynamical and hybrid systems;
frontiers between decidable and undecidable reachability
problems; complexity and decidability aspects; predictability
in iterative maps and new computational paradigms.
فهرست مطالب
Front Matter....Pages I-XX
Reasoning About Cost-Utility Constraints in Probabilistic Models....Pages 1-6
Integer-Complete Synthesis for Bounded Parametric Timed Automata....Pages 7-19
Polynomial Interrupt Timed Automata....Pages 20-32
Irregular Behaviours for Probabilistic Automata....Pages 33-36
Reachability in Succinct One-Counter Games....Pages 37-49
On Reachability-Related Games on Vector Addition Systems with States....Pages 50-62
A Topological Method for Finding Invariant Sets of Continuous Systems....Pages 63-75
The Ideal View on Rackoff’s Coverability Technique....Pages 76-88
Synthesis Problems for One-Counter Automata....Pages 89-100
On Boundedness Problems for Pushdown Vector Addition Systems....Pages 101-113
Multithreaded-Cartesian Abstract Interpretation of Multithreaded Recursive Programs Is Polynomial....Pages 114-127
Over-Approximating Terms Reachable by Context-Sensitive Rewriting....Pages 128-139
Reducing Bounded Realizability Analysis to Reachability Checking....Pages 140-152
Rearranging Two Dimensional Arrays by Prefix Reversals....Pages 153-165
The Emptiness Problem for Valence Automata or: Another Decidable Extension of Petri Nets....Pages 166-178
Back Matter....Pages 179-179
