دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
دانلود کتاب مشکلات دستیابی: دهمین کارگاه بین المللی ، RP 2016 ، آلبورگ ، دانمارک ، 19-21 سپتامبر 2016 ، مجموعه مقالات
مشخصات کتاب
Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings
ویرایش: 1 نویسندگان: Kim Guldstrand Larsen, Igor Potapov, Jiří Srba (eds.) سری: Lecture Notes in Computer Science 9899 ISBN (شابک) : 9783319459943, 9783319459936 ناشر: Springer International Publishing سال نشر: 2016 تعداد صفحات: 205 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 39,000
کلمات کلیدی مربوط به کتاب مشکلات دستیابی: دهمین کارگاه بین المللی ، RP 2016 ، آلبورگ ، دانمارک ، 19-21 سپتامبر 2016 ، مجموعه مقالات: محاسبات با دستگاه های انتزاعی، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، تجزیه و تحلیل الگوریتم و پیچیدگی مسئله
در صورت تبدیل فایل کتاب Reachability Problems: 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مشکلات دستیابی: دهمین کارگاه بین المللی ، RP 2016 ، آلبورگ ، دانمارک ، 19-21 سپتامبر 2016 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مشکلات دستیابی: دهمین کارگاه بین المللی ، RP 2016 ، آلبورگ ، دانمارک ، 19-21 سپتامبر 2016 ، مجموعه مقالات
این کتاب مجموعه مقالات داوری دهمین کارگاه بین المللی مشکلات دسترسی، RP 2016، برگزار شده در آلبورگ، دانمارک، در سپتامبر 2016 است. 11 مقاله کامل ارائه شده به همراه 2 مقاله دعوت شده و 3 چکیده از گفتگوهای دعوت شده به دقت بررسی و از 18 مورد ارسالی انتخاب شد. این مقالات طیف وسیعی از موضوعات را در زمینه دسترسی به سیستم های حالت نامحدود پوشش می دهد. سیستم های بازنویسی؛ تجزیه و تحلیل دسترس پذیری در اتوماتای شمارنده / زماندار / سلولی / ارتباطی. توری پتری؛ جنبه های محاسباتی نیمه گروه ها، گروه ها و حلقه ها. دسترسی در سیستم های دینامیکی و هیبریدی؛ مرزهای بین مشکلات دستیابی قابل تصمیم گیری و غیرقابل تصمیم گیری؛ جنبه های پیچیدگی و تصمیم پذیری؛ قابلیت پیش بینی در نقشه های تکراری و پارادایم های محاسباتی جدید.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 10th International Workshop on Reachability Problems, RP 2016, held in Aalborg, Denmark, in September 2016. The 11 full papers presented together with2 invited papers and 3 abstracts of invited talks were carefully reviewed and selected from 18 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-XIV
The Ideal Theory for WSTS....Pages 1-22
Rare Events for Statistical Model Checking an Overview....Pages 23-35
On the Complexity of Resource-Bounded Logics....Pages 36-50
Plain, Bounded, Reversible, Persistent, and k-marked Petri Nets Have Marked Graph Reachability Graphs....Pages 51-62
Reachability Predicates for Graph Assertions....Pages 63-76
Occam’s Razor Applied to the Petri Net Coverability Problem....Pages 77-89
Safety Property-Driven Stubborn Sets....Pages 90-103
Characterizing Word Problems of Groups....Pages 104-118
Distributed Synthesis of State-Dependent Switching Control....Pages 119-133
Compositional Analysis of Boolean Networks Using Local Fixed-Point Iterations....Pages 134-147
Decidable Models of Integer-Manipulating Programs with Recursive Parallelism....Pages 148-162
Robot Games with States in Dimension One....Pages 163-176
Insertion-Deletion Systems over Relational Words....Pages 177-191
Back Matter....Pages 193-193
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Winn L. Rosch Hardware Bible
دانلود کتاب Développement durable et communications : Au-delà des mots, pour un véritable engagement
