ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب 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

مشخصات کتاب

Computer Science – Theory and Applications: 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings

ویرایش: [1 ed.] 
نویسندگان: ,   
سری: Lecture Notes in Computer Science 9691 
ISBN (شابک) : 9783319341705, 9783319341712 
ناشر: Springer International Publishing 
سال نشر: 2016 
تعداد صفحات: XXI, 425
[443] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 9 Mb 

قیمت کتاب (تومان) : 36,000



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 9


در صورت تبدیل فایل کتاب 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




نظرات کاربران