دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Computer Science – Theory and Applications: 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings
دانلود کتاب علوم کامپیوتر – نظریه و کاربردها: هشتمین سمپوزیوم بین المللی علوم کامپیوتر در روسیه، CSR 2013، یکاترینبورگ، روسیه، 25-29 ژوئن 2013. مجموعه مقالات
مشخصات کتاب
Computer Science – Theory and Applications: 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings
ویرایش: 1 نویسندگان: Mario Szegedy (auth.), Andrei A. Bulatov, Arseny M. Shur (eds.) سری: Lecture Notes in Computer Science 7913 Theoretical Computer Science and General Issues ISBN (شابک) : 9783642385353, 9783642385360 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 456 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 37,000
کلمات کلیدی مربوط به کتاب علوم کامپیوتر – نظریه و کاربردها: هشتمین سمپوزیوم بین المللی علوم کامپیوتر در روسیه، CSR 2013، یکاترینبورگ، روسیه، 25-29 ژوئن 2013. مجموعه مقالات: تحلیل الگوریتم و پیچیدگی مسئله، منطق و معانی برنامه ها، محاسبات با دستگاه های انتزاعی، ریاضیات گسسته در علوم کامپیوتر، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Computer Science – Theory and Applications: 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب علوم کامپیوتر – نظریه و کاربردها: هشتمین سمپوزیوم بین المللی علوم کامپیوتر در روسیه، CSR 2013، یکاترینبورگ، روسیه، 25-29 ژوئن 2013. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب علوم کامپیوتر – نظریه و کاربردها: هشتمین سمپوزیوم بین المللی علوم کامپیوتر در روسیه، CSR 2013، یکاترینبورگ، روسیه، 25-29 ژوئن 2013. مجموعه مقالات
این کتاب مجموعه مقالات هشتمین سمپوزیوم بین المللی علوم کامپیوتر در روسیه، CSR 2013 است که در اکاترینبورگ، روسیه، در ژوئن 2013 برگزار شد. 29 مقاله کامل ارائه شده در این جلد با دقت بررسی و از بین 52 مورد ارسالی انتخاب شدند. علاوه بر این، کتاب شامل 8 سخنرانی دعوت شده است. مقالات در بخش های موضوعی سازماندهی شده اند: الگوریتم ها. خودکار؛ پیچیدگی منطق و اثبات؛ پیچیدگی؛ واژه ها و زبان ها؛ و منطق و خودکار.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 8th International Computer Science Symposium in Russia, CSR 2013, held in Ekaterinburg, Russia, in June 2013. The 29 full papers presented in this volume were carefully reviewed and selected from 52 submissions. In addition the book contains 8 invited lectures. The papers are organized in topical sections on: algorithms; automata; logic and proof complexity; complexity; words and languages; and logic and automata.
فهرست مطالب
Front Matter....Pages -
The Lovász Local Lemma – A Survey....Pages 1-11
An Improved Knapsack Solver for Column Generation....Pages 12-23
QuickHeapsort: Modifications and Improved Analysis....Pages 24-35
Alphabetic Minimax Trees in Linear Time....Pages 36-48
Decidability and Enumeration for Automatic Sequences: A Survey....Pages 49-63
Walking on Data Words....Pages 64-75
Careful Synchronization of Partial Automata with Restricted Alphabets....Pages 76-87
Random Generation of Deterministic Acyclic Automata Using the Recursive Method....Pages 88-99
Boolean Language Operations on Nondeterministic Automata with a Pushdown of Constant Height....Pages 100-111
A Short Tutorial on Order-Invariant First-Order Logic....Pages 112-126
Exponential Lower Bounds for Refuting Random Formulas Using Ordered Binary Decision Diagrams....Pages 127-138
Parameterized Resolution with Bounded Conjunction....Pages 139-149
Lower and Upper Bounds for the Length of Joins in the Lambek Calculus....Pages 150-161
Graph Expansion, Tseitin Formulas and Resolution Proofs for CSP....Pages 162-173
Towards NEXP versus BPP?....Pages 174-182
Information Lower Bounds via Self-reducibility....Pages 183-194
On the Encoding Invariance of Polynomial Time Computable Distribution Ensembles....Pages 195-202
Improving on Gutfreund, Shaltiel,and Ta-Shma’s Paper “If NP Languages Are Hard on the Worst-Case, Then It Is Easy to Find Their Hard Instances”....Pages 203-211
Amortized Communication Complexity of an Equality Predicate....Pages 212-223
On Coloring of Sparse Graphs....Pages 224-234
On Recognizing Words That Are Squares for the Shuffle Product....Pages 235-245
Cyclic Shift on Prefix-Free Languages....Pages 246-257
Weak Abelian Periodicity of Infinite Words....Pages 258-270
Universality of Regular Realizability Problems....Pages 271-282
Potential Functions in Strategic Games....Pages 283-297
The Probabilistic Min Dominating Set Problem....Pages 298-309
Dichotomy of the H -Quasi-Cover Problem....Pages 310-321
QCSP on Partially Reflexive Cycles – The Wavy Line of Tractability....Pages 322-333
Quantum Alternation....Pages 334-346
Real Numbers, Chaos, and the Principle of a Bounded Density of Information....Pages 347-353
Random Selection in Few Rounds....Pages 354-365
One-Counter Verifiers for Decidable Languages....Pages 366-377
More on the Complexity of Quantifier-Free Fixed-Size Bit-Vector Logics with Binary Encoding....Pages 378-390
Composition with Algebra at the Background....Pages 391-404
Model-Checking Bounded Multi-Pushdown Systems....Pages 405-417
Multi-weighted Automata and MSO Logic....Pages 418-430
Overlapping Tile Automata....Pages 431-443
Back Matter....Pages -
