دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Reachability Problems: 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings
دانلود کتاب مشکلات دست یابی: چهارمین کارگاه بین المللی، RP 2010، Brno، جمهوری چک، 28 تا 29 اوت 2010. پرونده ها
مشخصات کتاب
Reachability Problems: 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings
ویرایش: 1 نویسندگان: Markus Holzer, Martin Kutrib (auth.), Antonín Kučera, Igor Potapov (eds.) سری: Lecture Notes in Computer Science 6227 : Theoretical Computer Science and General Issues ISBN (شابک) : 9783642153495, 3642153496 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2010 تعداد صفحات: 208 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 51,000
کلمات کلیدی مربوط به کتاب مشکلات دست یابی: چهارمین کارگاه بین المللی، RP 2010، Brno، جمهوری چک، 28 تا 29 اوت 2010. پرونده ها: منطق و معانی برنامه‌ها، مهندسی نرم‌افزار، منطق ریاضی و زبان‌های رسمی، زبان‌های برنامه‌نویسی، کامپایلرها، مفسران، تحلیل الگوریتم و پیچیدگی مسئله، محاسبات با دستگاه‌های انتزاعی
در صورت تبدیل فایل کتاب Reachability Problems: 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مشکلات دست یابی: چهارمین کارگاه بین المللی، RP 2010، Brno، جمهوری چک، 28 تا 29 اوت 2010. پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مشکلات دست یابی: چهارمین کارگاه بین المللی، RP 2010، Brno، جمهوری چک، 28 تا 29 اوت 2010. پرونده ها
این کتاب شامل مقالات تحقیقاتی ارائه شده در چهارمین کارگاه بین المللی، RP 2010 است که در برنو، جمهوری چک، 28 تا 29 اوت 2010 برگزار شد و با همکاری مشترک MFCS و CSL 2010 (سی و پنجمین سمپوزیوم بین المللی مبانی ریاضی علوم کامپیوتر و نوزدهمین کنفرانس سالانه EACSL در منطق علوم کامپیوتر). 9 مقاله کامل اصلاح شده و 4 گفتگوی دعوت شده از این کارگاه منعکس کننده مشکلات دستیابی است که در ساختارهای جبری، مدل های محاسباتی، سیستم های ترکیبی و تأیید ظاهر می شود. قابلیت دسترسی یک مشکل اساسی در زمینه بسیاری از مدل ها و انتزاعات است که فرآیندهای محاسباتی مختلف را توصیف می کنند. موضوعات مورد علاقه شامل مشکلات دسترسی در سیستم های حالت بی نهایت، سیستم های بازنویسی، سیستم های دینامیکی و ترکیبی، مشکلات دسترسی در منطق و تایید، تجزیه و تحلیل دسترس پذیری در مدل های محاسباتی مختلف، شمارنده، زمان بندی شده، سلولی، اتومات های ارتباطی، شبکه های پتری، جنبه های محاسباتی جبری است. ساختارها (نیمه گروه ها، گروه ها و حلقه ها)، مرزهای بین مسائل دستیابی قابل تصمیم گیری و غیرقابل تصمیم گیری، قابلیت پیش بینی در نقشه های تکراری و پارادایم های محاسباتی جدید.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the research papers presented at the 4th International Workshop, RP 2010 held in Brno, Czech Republic, August 28-29, 2010 and was co-located with Joint MFCS and CSL 2010 (35th International Symposiums on Mathematical Foundations of Computer Science and 19th EACSL Annual Conferences on Computer Science Logic). The revised 9 full papers and the 4 invited talks of this workshop reflect reachability problems that appear in algebraic structures, computational models, hybrid systems and verification. Reachability is a fundamental problem in the context of many models and abstractions which are describing various computational processes. Topics of interest include reachability problems in infinite state systems, rewriting systems, dynamical and hybrid systems, reachability problems in logic and verification, reachability analysis in different computational models, counter, timed, cellular, communicating automata, Petri-Nets, computational aspects of algebraic structures (semigroups, groups and rings), frontiers between decidable and undecidable reachability problems, predictability in iterative maps and new computational paradigms.
فهرست مطالب
Front Matter....Pages -
Descriptional Complexity of (Un)ambiguous Finite State Machines and Pushdown Automata....Pages 1-23
Symbolic and Compositional Reachability for Timed Automata....Pages 24-28
Temporal Logics over Linear Time Domains Are in PSPACE....Pages 29-50
Lossy Counter Machines Decidability Cheat Sheet....Pages 51-75
Behavioral Cartography of Timed Automata....Pages 76-90
On the Joint Spectral Radius for Bounded Matrix Languages....Pages 91-103
Z -Reachability Problem for Games on 2-Dimensional Vector Addition Systems with States Is in P ....Pages 104-119
Towards the Frontier between Decidability and Undecidability for Hyperbolic Cellular Automata....Pages 120-132
Rewriting Systems for Reachability in Vector Addition Systems with Pairs....Pages 133-145
The Complexity of Model Checking for Intuitionistic Logics and Their Modal Companions....Pages 146-160
Depth Boundedness in Multiset Rewriting Systems with Name Binding....Pages 161-175
Efficient Construction of Semilinear Representations of Languages Accepted by Unary NFA....Pages 176-182
Efficient Graph Reachability Query Answering Using Tree Decomposition....Pages 183-197
Back Matter....Pages -
