دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Computer Science – Theory and Applications: 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings
دانلود کتاب علوم کامپیوتر - نظریه و کاربردها: یازدهمین سمپوزیوم بین المللی علوم کامپیوتر در روسیه ، CSR 2016 ، سن پترزبورگ ، روسیه ، 9 تا 13 ژوئن 2016 ، مجموعه مقالات
مشخصات کتاب
Computer Science – Theory and Applications: 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings
ویرایش: [1 ed.] نویسندگان: Alexander S. Kulikov, Gerhard J. Woeginger (eds.) سری: Lecture Notes in Computer Science 9691 ISBN (شابک) : 9783319341705, 9783319341712 ناشر: Springer International Publishing سال نشر: 2016 تعداد صفحات: XXI, 425 [443] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 9 Mb
قیمت کتاب (تومان) : 35,000
در صورت تبدیل فایل کتاب Computer Science – Theory and Applications: 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب علوم کامپیوتر - نظریه و کاربردها: یازدهمین سمپوزیوم بین المللی علوم کامپیوتر در روسیه ، CSR 2016 ، سن پترزبورگ ، روسیه ، 9 تا 13 ژوئن 2016 ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب علوم کامپیوتر - نظریه و کاربردها: یازدهمین سمپوزیوم بین المللی علوم کامپیوتر در روسیه ، CSR 2016 ، سن پترزبورگ ، روسیه ، 9 تا 13 ژوئن 2016 ، مجموعه مقالات
این کتاب مجموعه مقالات یازدهمین سمپوزیوم بین المللی علوم کامپیوتر در روسیه، CSR 2016 است که در سن پترزبورگ، روسیه، در ژوئن 2016 برگزار شد.
28 مقاله کامل ارائه شده در این جلد به دقت بررسی و از بین 71 مقاله ارسالی انتخاب شدند. علاوه بر این کتاب شامل 4 سخنرانی دعوت شده است. دامنه موضوعات پیشنهادی کاملاً گسترده است و طیف وسیعی از زمینه‌ها را در بر می‌گیرد: الگوریتم‌ها و ساختارهای داده را شامل می‌شود، اما محدود به آن نمی‌شود. بهینه سازی ترکیبی؛ حل محدودیت؛ پیچیدگی محاسباتی؛ رمزنگاری؛ ترکیبات در علوم کامپیوتر؛ زبان های رسمی و خودکار؛ مدل ها و مفاهیم محاسباتی؛ الگوریتم های سیستم ها و شبکه های همزمان و توزیع شده؛ نظریه اثبات و کاربردهای منطق در علوم کامپیوتر؛ بررسی مدل؛ استدلال خودکار؛ و روش های قیاسی.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 11th International Computer Science Symposium in Russia, CSR 2016, held in St. Petersburg, Russia, in June 2016.
The 28 full papers presented in this volume were carefully reviewed and selected from 71 submissions. In addition the book contains 4 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; computational models and concepts; algorithms for concurrent and distributed systems, networks; proof theory and applications of logic to computer science; model checking; automated reasoning; and deductive methods.
فهرست مطالب
Front Matter....Pages I-XXI
On High-Quality Synthesis....Pages 1-15
Sensitivity Versus Certificate Complexity of Boolean Functions....Pages 16-28
Algorithmic Decidability of Engel’s Property for Automaton Groups....Pages 29-40
The Next Whisky Bar....Pages 41-56
Parameterizing Edge Modification Problems Above Lower Bounds....Pages 57-72
Completing Partial Schedules for Open Shop with Unit Processing Times and Routing....Pages 73-87
Max-Closed Semilinear Constraint Satisfaction....Pages 88-101
Computing and Listing st-Paths in Public Transportation Networks....Pages 102-116
Compositional Design of Stochastic Timed Automata ....Pages 117-130
Online Bounded Analysis....Pages 131-145
Affine Computation and Affine Automaton....Pages 146-160
On Approximating (Connected) 2-Edge Dominating Set by a Tree....Pages 161-176
Graph Editing to a Given Degree Sequence....Pages 177-191
Subclasses of Baxter Permutations Based on Pattern Avoidance....Pages 192-206
On Slepian–Wolf Theorem with Interaction....Pages 207-222
Level Two of the Quantifier Alternation Hierarchy over Infinite Words....Pages 223-236
The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy....Pages 237-250
Some Complete and Intermediate Polynomials in Algebraic Complexity Theory....Pages 251-265
Sums of Read-Once Formulas: How Many Summands Suffice?....Pages 266-279
Algorithmic Statistics: Normal Objects and Universal Models....Pages 280-293
Subquadratic Algorithms for Succinct Stable Matching....Pages 294-308
Depth-4 Identity Testing and Noether’s Normalization Lemma....Pages 309-323
Improved Approximation Algorithms for Min-Cost Connectivity Augmentation Problems....Pages 324-339
The Hardest Language for Conjunctive Grammars....Pages 340-351
Low-Rank Approximation of a Matrix: Novel Insights, New Progress, and Extensions....Pages 352-366
Representations of Analytic Functions and Weihrauch Degrees....Pages 367-381
On Expressive Power of Regular Expressions over Infinite Orders....Pages 382-393
Prediction of Infinite Words with Automata....Pages 394-408
Fourier Sparsity of GF(2) Polynomials....Pages 409-424
Back Matter....Pages 425-425
نظرات کاربران
کتاب های تصادفی
دانلود کتاب KA - A Handbook of Mythology, Sacred Practices, Electrical Phenomena, and their Linguistic Connections in the Ancient Mediterranean World
دانلود کتاب Меньшиков А.Г. Имитационное моделирование системы технического обслуживания и ремонта скважин, оборудованных установками эцн
دانلود کتاب After the Fact?
دانلود کتاب Media Manifestos: On the Technological Transmission of Cultural Forms
