دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Theoretical Computer Science: 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings
دانلود کتاب علوم رایانه نظری: هفتمین کنفرانس بین المللی IFIP TC 1 / WG 2.2 ، TCS 2012 ، آمستردام ، هلند ، 26 تا 28 سپتامبر 2012. مجموعه مقالات
مشخصات کتاب
Theoretical Computer Science: 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings
ویرایش: 1 نویسندگان: Jiří Wiedermann (auth.), Jos C. M. Baeten, Tom Ball, Frank S. de Boer (eds.) سری: Lecture Notes in Computer Science 7604 Theoretical Computer Science and General Issues ISBN (شابک) : 9783642334740, 9783642334757 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2012 تعداد صفحات: 398 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 38,000
کلمات کلیدی مربوط به کتاب علوم رایانه نظری: هفتمین کنفرانس بین المللی IFIP TC 1 / WG 2.2 ، TCS 2012 ، آمستردام ، هلند ، 26 تا 28 سپتامبر 2012. مجموعه مقالات: تئوری محاسبات، محاسبات با دستگاه های انتزاعی، منطق ریاضی و زبان های رسمی، تحلیل الگوریتم و پیچیدگی مسائل، ریاضیات گسسته در علوم کامپیوتر، ریاضیات محاسبات
در صورت تبدیل فایل کتاب Theoretical Computer Science: 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب علوم رایانه نظری: هفتمین کنفرانس بین المللی IFIP TC 1 / WG 2.2 ، TCS 2012 ، آمستردام ، هلند ، 26 تا 28 سپتامبر 2012. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب علوم رایانه نظری: هفتمین کنفرانس بین المللی IFIP TC 1 / WG 2.2 ، TCS 2012 ، آمستردام ، هلند ، 26 تا 28 سپتامبر 2012. مجموعه مقالات
این کتاب مجموعه مقالات داوری هفتمین کنفرانس بین‌المللی FIP WG 2.2، TCS 2012، برگزار شده در آمستردام، هلند، در سپتامبر 2012 است. بررسی و از بین 48 مورد ارسالی انتخاب شد. نتایج جدید تئوری محاسبات ارائه شده است و به طور گسترده‌تر متخصصان علوم کامپیوتر نظری گرد هم می‌آیند تا بینش‌های خود را به اشتراک بگذارند و سؤالاتی در مورد جهت‌های آینده این رشته بپرسند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 7th FIP
WG 2.2 International Conference, TCS 2012, held in Amsterdam,
The Netherlands, in September 2012.
The 25 revised full papers presented, together with one
invited talk, were carefully reviewed and selected from 48
submissions. New results of computation theory are presented
and more broadly experts in theoretical computer science meet
to share insights and ask questions about the future
directions of the field.
فهرست مطالب
Front Matter....Pages -
Computability and Non-computability Issues in Amorphous Computing....Pages 1-9
Static Single Information Form for Abstract Compilation....Pages 10-27
Input-Driven Stack Automata....Pages 28-42
Probabilistic Inference and Monadic Second Order Logic....Pages 43-56
Cinderella versus the Wicked Stepmother....Pages 57-71
Worst- and Average-Case Privacy Breaches in Randomization Mechanisms....Pages 72-86
Weak Bisimulations for Coalgebras over Ordered Functors....Pages 87-103
A Context-Free Linear Ordering with an Undecidable First-Order Theory....Pages 104-118
Open Bisimulation for Quantum Processes....Pages 119-133
A Modular LTS for Open Reactive Systems....Pages 134-148
Unidirectional Channel Systems Can Be Tested....Pages 149-163
On Properties and State Complexity of Deterministic State-Partition Automata....Pages 164-178
On Union-Free and Deterministic Union-Free Languages....Pages 179-192
A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions....Pages 193-208
Formal Verification of Distributed Algorithms....Pages 209-224
A Temporal Logic for Multi-threaded Programs....Pages 225-239
The Algorithmic Complexity of k -Domatic Partition of Graphs....Pages 240-249
Unique Parallel Decomposition in Branching and Weak Bisimulation Semantics....Pages 250-264
Modal Interface Automata....Pages 265-279
Proofs as Executions....Pages 280-294
Efficient Algorithms for the max k -vertex cover Problem....Pages 295-309
A Model Theoretic Proof of Completeness of an Axiomatization of Monadic Second-Order Logic on Infinite Words....Pages 310-324
Compositional Abstraction Techniques for Probabilistic Automata....Pages 325-341
Broadcast Abstraction in a Stochastic Calculus for Mobile Networks....Pages 342-356
An Intersection Type System for Deterministic Pushdown Automata....Pages 357-371
An Output-Based Semantics of Λ μ with Explicit Substitution in the π -Calculus....Pages 372-387
Erratum: Probabilistic Inference and Monadic Second Order Logic....Pages E1-E1
Erratum: Cinderella versus the Wicked Stepmother....Pages E2-E2
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Chemistry on Modified Oxide and Phosphate Surfaces: Fundamentals and Applications
دانلود کتاب Ratatouille - Little Chef
دانلود کتاب Heeding the Voices of Our Ancestors: Kahnawake Mohawk Politics and the Rise of Native Nationalism
دانلود کتاب El Pensamiento De John William Cooke En Las Cartas A Peron 1956-1966
