مشخصات کتاب

Theoretical Computer Science: 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

ویرایش: 1 
نویسندگان: Bart Jacobs (auth.),  Cristian S. Calude,  Vladimiro Sassone (eds.)  
سری: IFIP Advances in Information and Communication Technology 323 
ISBN (شابک) : 9783642152399, 9783642152405 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2010 
تعداد صفحات: 396 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 7 مگابایت 

کلمات کلیدی مربوط به کتاب علوم کامپیوتر نظری: ششمین کنفرانس بین المللی IFIP TC 1/WG 2.2، TCS 2010، به عنوان بخشی از WCC 2010، بریزبن، استرالیا، 20-23 سپتامبر 2010 برگزار شد.: تحلیل الگوریتم و پیچیدگی مسئله، منطق و معانی برنامه ها، محاسبات با دستگاه های انتزاعی، مهندسی نرم افزار، شبکه های ارتباطی کامپیوتری، منطق ریاضی و زبان های رسمی

در صورت تبدیل فایل کتاب Theoretical Computer Science: 6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب علوم کامپیوتر نظری: ششمین کنفرانس بین المللی IFIP TC 1/WG 2.2، TCS 2010، به عنوان بخشی از WCC 2010، بریزبن، استرالیا، 20-23 سپتامبر 2010 برگزار شد. نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب علوم کامپیوتر نظری: ششمین کنفرانس بین المللی IFIP TC 1/WG 2.2، TCS 2010، به عنوان بخشی از WCC 2010، بریزبن، استرالیا، 20-23 سپتامبر 2010 برگزار شد.

این کتاب مجموعه مقالات داوری ششمین کنفرانس بین المللی FIP WG 2.2، TCS 2010 است که به عنوان بخشی از بیست و یکمین کنگره جهانی کامپیوتر، WCC 2010، در بریزبن، استرالیا، در سپتامبر 2010 برگزار شد. 23 مقاله کامل اصلاح شده همراه با 4 گفتگوی دعوت شده، به دقت بررسی و از بین 39 مورد ارسالی انتخاب شدند. TCS 2010 به موضوعاتی می‌پردازد که بر روی الگوریتم‌ها، پیچیدگی، مدل‌های محاسبات، منطق، معناشناسی، مشخصات و تأیید، مسائل مربوط به آگاهی از قدرت در شبکه‌های بی‌سیم، داده‌کاوی، کشف دانش، مسائل چند پردازنده‌ای و همچنین مسائل هوش مصنوعی تمرکز دارند، اما نه محدود به آنها.

توضیحاتی درمورد کتاب به خارجی

This book constitutes the refereed proceedings of the 6th FIP WG 2.2 International Conference, TCS 2010, held as a part of the 21th World Computer Congress, WCC 2010, in Brisbane, Australia, in September 2010. The 23 revised full papers presented, together with 4 invited talks, were carefully reviewed and selected from 39 submissions. TCS 2010 deals with topics focused at but not limited to algorithms, complexity, models of computation, logic, semantics, specification and verification, power-awareness issues in wireless networks, data mining, knowledge discovery, multiprocessor issues as well as AI issues.

فهرست مطالب

Front Matter....Pages -
Convexity, Duality and Effects....Pages 1-19
A Calculus for Power-Aware Multicast Communications in Ad Hoc Networks....Pages 20-31
The Coarsest Precongruences Respecting Safety and Liveness Properties....Pages 32-52
Entropy and Attack Models in Information Flow....Pages 53-54
Safe Equivalences for Security Properties....Pages 55-70
On Probabilistic Alternating Simulations....Pages 71-85
Probabilistic Mobility Models for Mobile and Wireless Networks....Pages 86-100
On Packing Splittable Items with Cardinality Constraints....Pages 101-110
Deterministic Computations in Time-Varying Graphs: Broadcasting under Unstructured Mobility....Pages 111-124
Slicing Behavior Tree Models for Verification....Pages 125-139
Optimization of the Anisotropic Gaussian Kernel for Text Segmentation and Parameter Extraction....Pages 140-152
Online Dictionary Matching for Streams of XML Documents....Pages 153-164
The Duality of Computation under Focus....Pages 165-181
Polarized Resolution Modulo....Pages 182-196
A Logic on Subobjects and Recognizability....Pages 197-212
Terminating Tableaux for $\mathcal{SOQ}$ with Number Restrictions on Transitive Roles....Pages 213-228
Proof System for Applied Pi Calculus....Pages 229-243
Concurrent Pattern Calculus....Pages 244-258
Initial Segment Complexities of Randomness Notions....Pages 259-270
Topologies Refining the Cantor Topology on X ω ....Pages 271-285
On Symbolic Representations of Maximum Matchings and (Un)directed Graphs....Pages 286-300
Traceable Sets....Pages 301-315
Approximating the Non-contiguous Multiple Organization Packing Problem....Pages 316-327
Improving the Competitive Ratios of the Seat Reservation Problem....Pages 328-339
A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis....Pages 340-354
A Game-Theoretic Approach to Routing under Adversarial Conditions....Pages 355-370
An Operational Model for Multiprocessors with Caches....Pages 371-385
Back Matter....Pages -

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

کتاب های تصادفی

دانلود کتاب Behavioral game theory : experiments in strategic interaction

دانلود کتاب Motion and motion’s God : thematic variations in Aristotle, Cicero, Newton, and Hegel

دانلود کتاب Information Engineering for Ports and Marine Environments

دانلود کتاب Take a Stand: Lessons from Rebels

دانلود کتاب How to make love all night (and drive a woman wild) : male multiple orgasm and other secrets for prolonged lovemaking