دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Fundamentals of Computation Theory: 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings
دانلود کتاب مبانی تئوری محاسبات: بیست و دومین سمپوزیوم بین المللی، FCT 2019، کپنهاگ، دانمارک، 12-14 اوت 2019، مجموعه مقالات
مشخصات کتاب
Fundamentals of Computation Theory: 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings
ویرایش: 1st ed. 2019 نویسندگان: Leszek Antoni Gąsieniec, Jesper Jansson, Christos Levcopoulos سری: Lecture Notes in Computer Science 11651 ISBN (شابک) : 9783030250263, 9783030250270 ناشر: Springer International Publishing سال نشر: 2019 تعداد صفحات: 371 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 مگابایت
قیمت کتاب (تومان) : 29,000
کلمات کلیدی مربوط به کتاب مبانی تئوری محاسبات: بیست و دومین سمپوزیوم بین المللی، FCT 2019، کپنهاگ، دانمارک، 12-14 اوت 2019، مجموعه مقالات: علوم کامپیوتر، تحلیل الگوریتم و پیچیدگی مسائل، گرافیک کامپیوتری، ریاضیات گسسته در علوم کامپیوتر، ساختارهای داده، شبکه های ارتباطی کامپیوتری
در صورت تبدیل فایل کتاب Fundamentals of Computation Theory: 22nd International Symposium, FCT 2019, Copenhagen, Denmark, August 12-14, 2019, Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مبانی تئوری محاسبات: بیست و دومین سمپوزیوم بین المللی، FCT 2019، کپنهاگ، دانمارک، 12-14 اوت 2019، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مبانی تئوری محاسبات: بیست و دومین سمپوزیوم بین المللی، FCT 2019، کپنهاگ، دانمارک، 12-14 اوت 2019، مجموعه مقالات
این کتاب مجموعه مقالات بیست و دومین سمپوزیوم بین المللی مبانی نظریه محاسبات، FCT 2019 است که در کپنهاگ، دانمارک، در آگوست 2019 برگزار شد.
21 مقاله کامل موجود در این جلد به دقت بررسی و از 45 مقاله انتخاب شدند. ارسالی ها علاوه بر این، این کتاب شامل 3 سخنرانی دعوت شده در طول مقاله است. مقالات در بخش های موضوعی با نام های: روش های رسمی، پیچیدگی و الگوریتم ها سازماندهی شدند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 22nd International Symposium on Fundamentals of Computation Theory, FCT 2019, held in Copenhagen, Denmark, in August 2019.
The 21 full papers included in this volume were carefully reviewed and selected from 45 submissions. In addition, the book contains 3 invited talks in full-paper length. The papers were organized in topical sections named: formal methods, complexity, and algorithms.
فهرست مطالب
Front Matter ....Pages i-xiii
Front Matter ....Pages 1-1
Algebraic Theory of Promise Constraint Satisfaction Problems, First Steps (Libor Barto)....Pages 3-17
Some Observations on Dynamic Random Walks and Network Renormalization (Bernard Chazelle)....Pages 18-28
Highly Succinct Dynamic Data Structures (Torben Hagerup)....Pages 29-45
Front Matter ....Pages 47-47
Winning Strategies for Streaming Rewriting Games (Christian Coester, Thomas Schwentick, Martin Schuster)....Pages 49-63
Nominal Syntax with Atom Substitutions: Matching, Unification, Rewriting (Jesús Domínguez, Maribel Fernández)....Pages 64-79
Two Characterizations of Finite-State Dimension (Alexander Kozachinskiy, Alexander Shen)....Pages 80-94
Largest Common Prefix of a Regular Tree Language (Markus Lohrey, Sebastian Maneth)....Pages 95-108
Front Matter ....Pages 109-109
On Weisfeiler-Leman Invariance: Subgraph Counts and Related Graph Properties (Vikraman Arvind, Frank Fuhlbrück, Johannes Köbler, Oleg Verbitsky)....Pages 111-125
Deterministic Preparation of Dicke States (Andreas Bärtschi, Stephan Eidenbenz)....Pages 126-139
Optimal Channel Utilization with Limited Feedback (Gianluca De Marco, Tomasz Jurdziński, Dariusz R. Kowalski)....Pages 140-152
Complete Disjoint CoNP-Pairs but No Complete Total Polynomial Search Problems Relative to an Oracle (Titus Dose)....Pages 153-167
Front Matter ....Pages 169-169
An Efficient Algorithm for the Fast Delivery Problem (Iago A. Carvalho, Thomas Erlebach, Kleitos Papadopoulos)....Pages 171-184
Extension of Some Edge Graph Problems: Standard and Parameterized Complexity (Katrin Casel, Henning Fernau, Mehdi Khosravian Ghadikolaei, Jérôme Monnot, Florian Sikora)....Pages 185-200
Space Efficient Algorithms for Breadth-Depth Search (Sankardeep Chakraborty, Anish Mukherjee, Srinivasa Rao Satti)....Pages 201-212
Circular Pattern Matching with k Mismatches (Panagiotis Charalampopoulos, Tomasz Kociumaka, Solon P. Pissis, Jakub Radoszewski, Wojciech Rytter, Juliusz Straszyński et al.)....Pages 213-228
Succinct Representations of Finite Groups (Bireswar Das, Shivdutt Sharma, P. R. Vaidyanathan)....Pages 229-242
On the Tractability of Covering a Graph with 2-Clubs (Riccardo Dondi, Manuel Lafond)....Pages 243-257
On Cycle Transversals and Their Connected Variants in the Absence of a Small Linear Forest (Carl Feghali, Matthew Johnson, Giacomo Paesani, Daniël Paulusma)....Pages 258-273
Maximum Rectilinear Convex Subsets (Hernán González-Aguilar, David Orden, Pablo Pérez-Lantero, David Rappaport, Carlos Seara, Javier Tejel et al.)....Pages 274-291
Computing Digraph Width Measures on Directed Co-graphs (Frank Gurski, Dominique Komander, Carolin Rehs)....Pages 292-305
Fault-Tolerant Parallel Scheduling of Arbitrary Length Jobs on a Shared Channel (Marek Klonowski, Dariusz R. Kowalski, Jarosław Mirek, Prudence W. H. Wong)....Pages 306-321
Rare Siblings Speed-Up Deterministic Detection and Counting of Small Pattern Graphs (Mirosław Kowaluk, Andrzej Lingas)....Pages 322-334
Bivariate B-Splines from Convex Pseudo-circle Configurations (Dominique Schmitt)....Pages 335-349
The Fault-Tolerant Metric Dimension of Cographs (Duygu Vietz, Egon Wanke)....Pages 350-364
Back Matter ....Pages 365-365
نظرات کاربران
کتاب های تصادفی
