دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings
دانلود کتاب مبانی نظریه محاسبات: هجدهمین سمپوزیوم بین المللی ، FCT 2011 ، اسلو ، نروژ ، 22-25 اوت 2011. مجموعه مقالات
مشخصات کتاب
Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings
ویرایش: 1 نویسندگان: José Meseguer, Grigore Roşu (auth.), Olaf Owe, Martin Steffen, Jan Arne Telle (eds.) سری: Lecture Notes in Computer Science 6914 Theoretical Computer Science and General Issues ISBN (شابک) : 9783642229527, 3642229522 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2011 تعداد صفحات: 384 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 49,000
کلمات کلیدی مربوط به کتاب مبانی نظریه محاسبات: هجدهمین سمپوزیوم بین المللی ، FCT 2011 ، اسلو ، نروژ ، 22-25 اوت 2011. مجموعه مقالات: محاسبات با دستگاه های انتزاعی، تحلیل الگوریتم و پیچیدگی مسئله، منطق ریاضی و زبان های رسمی، منطق و معانی برنامه ها، ریاضیات محاسبات، ریاضیات گسسته در علوم کامپیوتر
در صورت تبدیل فایل کتاب Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مبانی نظریه محاسبات: هجدهمین سمپوزیوم بین المللی ، FCT 2011 ، اسلو ، نروژ ، 22-25 اوت 2011. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مبانی نظریه محاسبات: هجدهمین سمپوزیوم بین المللی ، FCT 2011 ، اسلو ، نروژ ، 22-25 اوت 2011. مجموعه مقالات
این کتاب مجموعه مقالات داوری هجدهمین سمپوزیوم بین المللی
مبانی تئوری محاسبات، FCT 2011، که در اسلو، نروژ، در آگوست
2011 برگزار شد.
28 مقاله کامل اصلاح شده ارائه شده به دقت بررسی و از بین 78
مورد ارسالی انتخاب شدند. FCT 2011 بر الگوریتم‌ها، روش‌های
رسمی، و زمینه‌های در حال ظهور، مانند سیستم‌های موقت، پویا و
در حال تکامل تمرکز داشت. نظریه بازی های الگوریتمی؛ زیست شناسی
محاسباتی; پایه های محاسبات ابری و سیستم های همه جا حاضر؛ و
محاسبات کوانتومی.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 18th
International Symposium Fundamentals of Computation Theory,
FCT 2011, held in Oslo, Norway, in August 2011.
The 28 revised full papers presented were carefully reviewed
and selected from 78 submissions. FCT 2011 focused on
algorithms, formal methods, and emerging fields, such as ad
hoc, dynamic and evolving systems; algorithmic game theory;
computational biology; foundations of cloud computing and
ubiquitous systems; and quantum computation.
فهرست مطالب
Front Matter....Pages -
The Rewriting Logic Semantics Project: A Progress Report....Pages 1-37
Impugning Randomness, Convincingly....Pages 38-38
Kernelization: An Overview....Pages 39-40
Almost Transparent Short Proofs for NP ℝ ....Pages 41-52
The Effect of Homogeneity on the Complexity of k -Anonymity....Pages 53-64
On the Optimal Compression of Sets in PSPACE....Pages 65-77
Computational Randomness from Generalized Hardcore Sets....Pages 78-89
Data Reduction for Graph Coloring Problems....Pages 90-101
Hunting Distributed Malware with the κ -Calculus....Pages 102-113
Edge-Matching Problems with Rotations....Pages 114-125
On the Link between Strongly Connected Iteration Graphs and Chaotic Boolean Discrete-Time Dynamical Systems....Pages 126-137
A New Bound for 3-Satisfiable Maxsat and Its Algorithmic Application....Pages 138-147
On Memoryless Quantitative Objectives....Pages 148-159
Principal Types for Nominal Theories....Pages 160-172
Modifying the Upper Bound on the Length of Minimal Synchronizing Word....Pages 173-180
Online Maximum k -Coverage....Pages 181-192
Coloring Graphs without Short Cycles and Long Induced Paths....Pages 193-204
Succinct Algebraic Branching Programs Characterizing Non-uniform Complexity Classes....Pages 205-216
LIFO-Search on Digraphs: A Searching Game for Cycle-Rank....Pages 217-228
Polynomial Kernels for Proper Interval Completion and Related Problems....Pages 229-239
Parameterized Complexity of Vertex Deletion into Perfect Graph Classes....Pages 240-251
Constructive Dimension and Hausdorff Dimension: The Case of Exact Dimension....Pages 252-263
Dag Realizations of Directed Degree Sequences....Pages 264-275
A Coinductive Calculus for Asynchronous Side-Effecting Processes....Pages 276-287
Hardness, Approximability, and Exact Algorithms for Vector Domination and Total Vector Domination in Graphs....Pages 288-297
Enumeration of Minimal Dominating Sets and Variants....Pages 298-309
Specification Patterns and Proofs for Recursion through the Store....Pages 310-321
Sub-computabilities....Pages 322-335
Functions That Preserve p-Randomness....Pages 336-347
Reactive Turing Machines....Pages 348-359
Virtual Substitution for SMT-Solving....Pages 360-371
Back Matter....Pages -
