دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Computer Science – Theory and Applications: 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings
دانلود کتاب علوم کامپیوتر – نظریه و کاربردها: دوازدهمین سمپوزیوم بین المللی علوم کامپیوتر در روسیه، CSR 2017، کازان، روسیه، 8-12 ژوئن 2017، مجموعه مقالات
مشخصات کتاب
Computer Science – Theory and Applications: 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings
ویرایش: 1
نویسندگان: Pascal Weil (eds.)
سری: Lecture Notes in Computer Science 10304
ISBN (شابک) : 9783319587479, 9783319587462
ناشر: Springer International Publishing
سال نشر: 2017
تعداد صفحات: 347
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 53,000
کلمات کلیدی مربوط به کتاب علوم کامپیوتر – نظریه و کاربردها: دوازدهمین سمپوزیوم بین المللی علوم کامپیوتر در روسیه، CSR 2017، کازان، روسیه، 8-12 ژوئن 2017، مجموعه مقالات: تحلیل الگوریتم و پیچیدگی مسئله، ریاضیات گسسته در علوم کامپیوتر، منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، ساختار داده ها
در صورت تبدیل فایل کتاب Computer Science – Theory and Applications: 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب علوم کامپیوتر – نظریه و کاربردها: دوازدهمین سمپوزیوم بین المللی علوم کامپیوتر در روسیه، CSR 2017، کازان، روسیه، 8-12 ژوئن 2017، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب علوم کامپیوتر – نظریه و کاربردها: دوازدهمین سمپوزیوم بین المللی علوم کامپیوتر در روسیه، CSR 2017، کازان، روسیه، 8-12 ژوئن 2017، مجموعه مقالات
این کتاب مجموعه مقالات دوازدهمین سمپوزیوم بین المللی علوم کامپیوتر در روسیه، CSR 2017 است که در کازان، روسیه، در ژوئن 2017 برگزار شد.
22 مقاله کامل ارائه شده در این جلد به دقت بررسی و از بین 44 مقاله ارسالی انتخاب شدند. . علاوه بر این کتاب شامل 6 سخنرانی دعوت شده است. دامنه موضوعات پیشنهادی کاملاً گسترده است و طیف وسیعی از زمینه‌ها را در بر می‌گیرد: الگوریتم‌ها و ساختارهای داده را شامل می‌شود، اما محدود به آن نمی‌شود. بهینه سازی ترکیبی؛ حل محدودیت؛ پیچیدگی محاسباتی؛ رمزنگاری؛ ترکیبات در علوم کامپیوتر؛ زبان های رسمی و خودکار؛ الگوریتم های سیستم ها و شبکه های همزمان و توزیع شده؛ کاربردهای منطق در علوم کامپیوتر، به عنوان مثال. نظریه اثبات، بررسی مدل و تأیید؛ جنبه های رسمی و الگوریتمی بیوانفورماتیک؛ چالش های فعلی مانند محاسبات کوانتومی.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 12th International Computer Science Symposium in Russia, CSR 2017, held in Kazan, Russia, in June 2017.
The 22 full papers presented in this volume were carefully reviewed and selected from 44 submissions. In addition the book contains 6 invited lectures. The scope of the proposed topics is quite broad and covers a wide range of areas such as: include, but are not limited to: algorithms and data structures; combinatorial optimization; constraint solving; computational complexity; cryptography; combinatorics in computer science; formal languages and automata; algorithms for concurrent and distributed systems, networks; applications of logic to computer science, e.g. proof theory, model checking and verification; formal and algorithmic aspects of bio-informatics; current challenges such as quantum computing.
فهرست مطالب
Front Matter....Pages I-X
Type Theory and Formalisation of Mathematics....Pages 1-6
Advances in Parameterized Verification of Population Protocols....Pages 7-14
Verification of Quantum Computation and the Price of Trust....Pages 15-19
Graph Sketching and Streaming: New Approaches for Analyzing Massive Graphs....Pages 20-24
Concatenation Hierarchies: New Bottle, Old Wine....Pages 25-37
Can We Locally Compute Sparse Connected Subgraphs?....Pages 38-47
Palindromic Decompositions with Gaps and Errors....Pages 48-61
Cascade Heap: Towards Time-Optimal Extractions....Pages 62-70
Entropic Uniform Sampling of Linear Extensions in Series-Parallel Posets....Pages 71-84
Parameterized Counting of Trees, Forests and Matroid Bases....Pages 85-98
Generalized Dyck Shifts....Pages 99-111
Green’s Relations in Finite Transformation Semigroups....Pages 112-125
Nondeterministic Unitary OBDDs....Pages 126-140
Unary Coded PSPACE-Complete Languages in ASPACE(loglog n)....Pages 141-153
Turing Degree Spectra of Minimal Subshifts....Pages 154-161
Reordering Method and Hierarchies for Quantum and Classical Ordered Binary Decision Diagrams....Pages 162-175
Dynamic Stabbing Queries with Sub-logarithmic Local Updates for Overlapping Intervals....Pages 176-190
The Transformation Monoid of a Partially Lossy Queue....Pages 191-205
Approximation Algorithms for the Maximum Carpool Matching Problem....Pages 206-216
On Algorithmic Statistics for Space-Bounded Algorithms....Pages 217-231
Popularity in the Generalized Hospital Residents Setting....Pages 232-244
Edit Distance Neighbourhoods of Input-Driven Pushdown Automata....Pages 245-259
The (Minimum) Rank of Typical Fooling-Set Matrices....Pages 260-272
On Probabilistic Algorithm for Solving Almost All Instances of the Set Partition Problem....Pages 273-284
Dag-Like Communication and Its Applications....Pages 285-293
The Descriptive Complexity of Subgraph Isomorphism Without Numerics....Pages 294-307
On a Generalization of Horn Constraint Systems....Pages 308-322
Back Matter....Pages 323-336
....Pages 337-337
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Handbook of cucurbits : growth, cultural practices, and physiology
دانلود کتاب Human parasitology
دانلود کتاب Man-made Catastrophes and Risk Information Concealment: Case Studies of Major Disasters and Human Fallibility
دانلود کتاب Power, Class, and Foreign Capital in Egypt: The Rise of the New Bourgeoisie
