دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
دانلود کتاب علوم نظری رایانه: هشتمین کنفرانس بین المللی IFIP TC 1 / WG 2.2 ، TCS 2014 ، رم ، ایتالیا ، 1-3 سپتامبر 2014. مجموعه مقالات
مشخصات کتاب
Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings
ویرایش: 1 نویسندگان: Josep Diaz, Ivan Lanese, Davide Sangiorgi (eds.) سری: Lecture Notes in Computer Science 8705 Theoretical Computer Science and General Issues ISBN (شابک) : 9783662446010, 9783662446027 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2014 تعداد صفحات: 369 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 52,000
کلمات کلیدی مربوط به کتاب علوم نظری رایانه: هشتمین کنفرانس بین المللی IFIP TC 1 / WG 2.2 ، TCS 2014 ، رم ، ایتالیا ، 1-3 سپتامبر 2014. مجموعه مقالات: محاسبات با دستگاه های انتزاعی، منطق ریاضی و زبان های رسمی، تحلیل الگوریتم و پیچیدگی مسئله، منطق و معانی برنامه ها، ریاضیات گسسته در علوم کامپیوتر، محاسبات عددی
در صورت تبدیل فایل کتاب Theoretical Computer Science: 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب علوم نظری رایانه: هشتمین کنفرانس بین المللی IFIP TC 1 / WG 2.2 ، TCS 2014 ، رم ، ایتالیا ، 1-3 سپتامبر 2014. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب علوم نظری رایانه: هشتمین کنفرانس بین المللی IFIP TC 1 / WG 2.2 ، TCS 2014 ، رم ، ایتالیا ، 1-3 سپتامبر 2014. مجموعه مقالات
این کتاب مجموعه مقالات داوری هشتمین کنفرانس بین‌المللی FIP WG 2.2، TCS 2014، برگزار شده در رم، ایتالیا، در سپتامبر 2014 است. 73 ارسال. [پیشنهاد--لطفاً بررسی کنید و در صورت نیاز موارد بیشتری اضافه کنید] TCS-2014 شامل دو مسیر بود، با کمیته های برنامه جداگانه، که به ترتیب به موارد زیر می پرداختند: - آهنگ A: الگوریتم ها، پیچیدگی و مدل های محاسبات، و - مسیر B: منطق، معناشناسی ، مشخصات و تأیید
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 8th FIP WG 2.2 International Conference, TCS 2014, held in Rome, Italy, in September 2014. The 26 revised full papers presented, together with two invited talks, were carefully reviewed and selected from 73 submissions. [Suggestion--please check and add more if needed] TCS-2014 consisted of two tracks, with separate program committees, which dealt respectively with: - Track A: Algorithms, Complexity and Models of Computation, and - Track B: Logic, Semantics, Specification and Verification
فهرست مطالب
Front Matter....Pages -
Zero-Suppressed Binary Decision Diagrams Resilient to Index Faults....Pages 1-12
On Partial Vertex Cover and Budgeted Maximum Coverage Problems in Bipartite Graphs....Pages 13-26
Perfect Pipelining for Streaming Large File in Peer-to-Peer Networks....Pages 27-38
The Shortest Path Game: Complexity and Algorithms....Pages 39-53
Online Scheduling of Unit Length Jobs with Commitment and Penalties....Pages 54-65
The Lazy Matroid Problem....Pages 66-77
Treewidth Computation and Kernelization in the Parallel External Memory Model....Pages 78-89
Capturing Bisimulation-Invariant Complexity Classes with Higher-Order Modal Fixpoint Logic....Pages 90-103
Sensitivity, Block Sensitivity, and Certificate Complexity of Unate Functions and Read-Once Functions....Pages 104-110
Subshifts, MSO Logic, and Collapsing Hierarchies....Pages 111-122
Fast Nondeterministic Matrix Multiplication via Derandomization of Freivalds’ Algorithm....Pages 123-135
Not All Multi-Valued Partial CFL Functions Are Refined by Single-Valued Functions (Extended Abstract)....Pages 136-150
Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus....Pages 151-163
A Hoare-Like Calculus Using the SROIQ σ Logic on Transformations of Graphs....Pages 164-178
Termination Analysis for Graph Transformation Systems....Pages 179-194
Tropical Two-Way Automata....Pages 195-206
Parametric LTL on Markov Chains....Pages 207-221
Specifying and Verifying Properties of Space....Pages 222-235
Primal Infon Logic with Conjunctions as Sets....Pages 236-249
From Display Calculi to Deep Nested Sequent Calculi: Formalised for Full Intuitionistic Linear Logic....Pages 250-264
Towards a Coalgebraic Chomsky Hierarchy....Pages 265-280
Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics....Pages 281-295
Quantitative Types for the Linear Substitution Calculus....Pages 296-310
Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata....Pages 311-325
Looking at Separation Algebras with Boolean BI-eyes....Pages 326-340
The Inhabitation Problem for Non-idempotent Intersection Types....Pages 341-354
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Microsoft Windows 2000 Professional Resource Kit
دانلود کتاب Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI’99 Akademgorodok, Novosibirsk, Russia July 6–9, 1999 Proceedings
دانلود کتاب Grundbegriffe der axiomatischen Mengenlehre: Teil 2 Einführung in die Allgemeine Mengenlehre II/2
دانلود کتاب Modern Breast Cancer Imaging
