ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

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

مشخصات کتاب

Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings

ویرایش: 1 
نویسندگان: , , , ,   
سری: 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 مگابایت 

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



کلمات کلیدی مربوط به کتاب مبانی نظریه محاسبات: هجدهمین سمپوزیوم بین المللی ، FCT 2011 ، اسلو ، نروژ ، 22-25 اوت 2011. مجموعه مقالات: محاسبات با دستگاه های انتزاعی، تحلیل الگوریتم و پیچیدگی مسئله، منطق ریاضی و زبان های رسمی، منطق و معانی برنامه ها، ریاضیات محاسبات، ریاضیات گسسته در علوم کامپیوتر



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

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


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




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