ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Reachability Problems: 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings

دانلود کتاب مشکلات دستیابی: چهارمین کارگاه بین المللی ، RP 2010 ، برنو ، جمهوری چک ، 28-29 آگوست ، 2010. مجموعه مقالات

Reachability Problems: 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings

مشخصات کتاب

Reachability Problems: 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings

دسته بندی: کامپیوتر
ویرایش: 1 
نویسندگان: , , ,   
سری: Lecture Notes in Computer Science 6227 : Theoretical Computer Science and General Issues 
ISBN (شابک) : 3642153488, 9783642153488 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2010 
تعداد صفحات: 207 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت

قیمت کتاب (تومان) : 44,000



کلمات کلیدی مربوط به کتاب مشکلات دستیابی: چهارمین کارگاه بین المللی ، RP 2010 ، برنو ، جمهوری چک ، 28-29 آگوست ، 2010. مجموعه مقالات: منطق و معانی برنامه‌ها، مهندسی نرم‌افزار، منطق ریاضی و زبان‌های رسمی، زبان‌های برنامه‌نویسی، کامپایلرها، مترجمان، تحلیل الگوریتم و پیچیدگی مسئله، محاسبات با دستگاه‌های انتزاعی



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 6


در صورت تبدیل فایل کتاب Reachability Problems: 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب مشکلات دستیابی: چهارمین کارگاه بین المللی ، RP 2010 ، برنو ، جمهوری چک ، 28-29 آگوست ، 2010. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب مشکلات دستیابی: چهارمین کارگاه بین المللی ، RP 2010 ، برنو ، جمهوری چک ، 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 -




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی