دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Marcelo Arenas (auth.), Gonzalo Navarro, Leopoldo Bertossi, Yoshiharu Kohayakawa (eds.) سری: IFIP International Federation for Information Processing 209 ISBN (شابک) : 9780387346335, 9780387347356 ناشر: Springer US سال نشر: 2006 تعداد صفحات: 312 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
در صورت تبدیل فایل کتاب Fourth IFIP International Conference on Theoretical Computer Science- TCS 2006: IFIP 19th Worm Computer Congress, TC-1, Foundations of Computer Science, August 23–24, 2006, Santiago, Chile به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب چهارمین کنفرانس بین المللی علوم مهندسی تئوری IFIP - TCS 2006: کنگره کامپیوتر کامپیوتر کرم 19 فيفا، TC-1، بنیادهای علوم رایانه، 23-24 اوت 2006، سانتیاگو، شیلی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
فدراسیون بین المللی پردازش اطلاعات
مجموعه IFIP جدیدترین نتایج را در زمینه علوم و فناوری اطلاعات و ارتباطات منتشر می کند. دامنه این مجموعه شامل: مبانی علوم کامپیوتر; تئوری و عمل نرم افزار؛ تحصیلات؛ کاربردهای کامپیوتری در فناوری؛ سیستم های ارتباطی؛ مدل سازی و بهینه سازی سیستم ها؛ سیستم های اطلاعاتی؛ کامپیوتر و جامعه؛ تکنولوژی سیستم های کامپیوتری؛ امنیت و حفاظت در سیستم های پردازش اطلاعات؛ هوش مصنوعی؛ و تعامل انسان و کامپیوتر مجموعه مقالات و مقالات پس از کنفرانس های بین المللی ارجاع شده در علوم کامپیوتر و زمینه های بین رشته ای برجسته شده است. این نتایج اغلب قبل از انتشار مجله است و نشان دهنده جدیدترین تحقیقات است. هدف اصلی مجموعه IFIP تشویق آموزش و انتشار و تبادل اطلاعات در مورد تمام جنبه های محاسباتی است.
برای اطلاعات بیشتر در مورد 300 کتاب دیگر در مجموعه IFIP. لطفاً از www.springer.com دیدن کنید.
برای اطلاعات بیشتر در مورد IFIP، لطفاً به www.ifip.org مراجعه
کنید.
International Federation for Information Processing
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
For more information about the 300 other books in the IFIP series, please visit www.springer.com.
For more information about IFIP, please visit
www.ifip.org.
Contents......Page 10
Part I: Invited Talks......Page 12
Locality of Queries and Transformations......Page 13
From Informatics to Quantum Informatics......Page 14
RDF as a Data Model......Page 15
Adversarial Queueing Theory Revisited......Page 16
Distributed Algorithms for Autonomous Mobile Robots......Page 18
Recursion and Probability......Page 19
Part II: Invited Papers......Page 20
From Informatics to Quantum Informatics......Page 21
Distributed Algorithms for Autonomous Mobile Robots......Page 51
Part III: Contributed Papers......Page 67
The Unsplittable Stable Marriage Problem......Page 68
Variations on an Ordering Theme with Constraints......Page 79
BuST-Bundled Suffix Trees......Page 93
An O(1) Solution to the Prefix Sum Problem on a Specialized Memory Architecture......Page 105
An Algorithm to Reduce the Communication Traffic for Multi-Word Searches in a Distributed Hash Table......Page 117
Exploring an Unknown Graph to Locate a Black Hole Using Tokens......Page 132
Fast Cellular Automata with Restricted Inter-Cell Communication......Page 152
Asynchonous Distributed Components: Concurrency and Determinacy......Page 166
Decidable Properties for Regular Cellular Automata......Page 185
Symbolic Determinisation of Extended Automata......Page 197
Regular Hedge Model Checking......Page 213
Completing Categorical Algebras......Page 231
Reusing Optimal TSP Solutions for Locally Modified Input Instances......Page 250
Spectral Partitioning of Random Graphs with Given Expected Degrees......Page 270
A Connectivity Rating for Vertices in Networks......Page 282
On PTAS for Planar Graph Problems......Page 298
Index......Page 313