دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Susanne Albers (auth.), Farid Ablayev, Ernst W. Mayr (eds.) سری: Lecture Notes in Computer Science 6072 Theoretical Computer Science and General Issues ISBN (شابک) : 9783642131813, 9783642131820 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2010 تعداد صفحات: 408 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب علوم کامپیوتر - نظریه و برنامه های کاربردی: 5th Symposium of Computer Science Science in Russia، CSR 2010، Kazan، Russia، June 16-20، 2010 Proceedings: تحلیل الگوریتم و پیچیدگی مسئله، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، ریاضیات گسسته در علوم کامپیوتر، محاسبات با دستگاه های انتزاعی، ریاضیات محاسبات
در صورت تبدیل فایل کتاب Computer Science – Theory and Applications: 5th International Computer Science Symposium in Russia, CSR 2010, Kazan, Russia, June 16-20, 2010. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب علوم کامپیوتر - نظریه و برنامه های کاربردی: 5th Symposium of Computer Science Science in Russia، CSR 2010، Kazan، Russia، June 16-20، 2010 Proceedings نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات پنجمین سمپوزیوم بین المللی علوم کامپیوتر در روسیه، CSR 2010 است که در کازان، روسیه، در ژوئن 2010 برگزار شد. 30 مقاله ارائه شده با دقت بررسی و از 62 مقاله ارسالی انتخاب شدند. دامنه موضوعات سمپوزیوم بسیار گسترده بود و اساساً تمام زمینه های مبانی علوم نظری رایانه را در بر می گرفت.
This book constitutes the proceedings of the 5th International Computer Science Symposium in Russia, CSR 2010, held in Kazan, Russia, in June 2010. The 30 papers presented were carefully reviewed and selected from 62 submissions. The scope of topics of the symposium was quite broad and covered basically all areas of the foundations of theoretical computer science.
Front Matter....Pages -
Algorithms for Energy Management....Pages 1-11
Sofic and Almost of Finite Type Tree-Shifts....Pages 12-24
Proof-Based Design of Security Protocols....Pages 25-36
Approximating the Minimum Length of Synchronizing Words Is Hard....Pages 37-47
Realizability of Dynamic MSC Languages....Pages 48-59
The max quasi-independent set Problem....Pages 60-71
Equilibria in Quantitative Reachability Games....Pages 72-83
Quotient Complexity of Closed Languages....Pages 84-95
Right-Sequential Functions on Infinite Words....Pages 96-106
Kernelization....Pages 107-108
Zigzags in Turing Machines....Pages 109-119
Frameworks for Logically Classifying Polynomial-Time Optimisation Problems....Pages 120-131
Validating the Knuth-Morris-Pratt Failure Function, Fast and Online....Pages 132-143
Identical Relations in Symmetric Groups and Separating Words with Reversible Automata....Pages 144-155
Time Optimal d -List Colouring of a Graph....Pages 156-168
The Cantor Space as a Generic Model of Topologically Presented Knowledge....Pages 169-180
Algorithmics – Is There Hope for a Unified Theory?....Pages 181-194
Classifying Rankwidth k -DH-Graphs....Pages 195-203
Lower Bound on Average-Case Complexity of Inversion of Goldreich’s Function by Drunken Backtracking Algorithms....Pages 204-215
A SAT Based Effective Algorithm for the Directed Hamiltonian Cycle Problem....Pages 216-227
Balancing Bounded Treewidth Circuits....Pages 228-239
Obtaining Online Ecological Colourings by Generalizing First-Fit....Pages 240-251
Classical Simulation and Complexity of Quantum Computations....Pages 252-258
Prefix-Free and Prefix-Correct Complexities with Compound Conditions....Pages 259-265
Monotone Complexity of a Pair....Pages 266-275
Symbolic Models for Single-Conclusion Proof Logics....Pages 276-287
Complexity of Problems Concerning Carefully Synchronizing Words for PFA and Directing Words for NFA....Pages 288-302
Advancing Matrix Computations with Randomized Preprocessing....Pages 303-314
Transfinite Sequences of Constructive Predicate Logics....Pages 315-326
The Quantitative Analysis of User Behavior Online — Data, Models and Algorithms....Pages 327-327
A Faster Exact Algorithm for the Directed Maximum Leaf Spanning Tree Problem....Pages 328-339
Complexity of Propositional Proofs....Pages 340-342
Quantization of Random Walks: Search Algorithms and Hitting Time....Pages 343-343
Comparing Two Stochastic Local Search Algorithms for Constraint Satisfaction Problems....Pages 344-349
Growth of Power-Free Languages over Large Alphabets....Pages 350-361
A Partially Synchronizing Coloring....Pages 362-370
An Encoding Invariant Version of Polynomial Time Computable Distributions....Pages 371-383
Prehistoric Phenomena and Self-referentiality....Pages 384-396
Back Matter....Pages -