دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: سازمان و پردازش داده ها ویرایش: 1 نویسندگان: Tobias Nipkow (auth.), Kamel Barkaoui, Ana Cavalcanti, Antonio Cerone (eds.) سری: Lecture Notes in Computer Science 4281 : Theoretical Computer Science and General Issues ISBN (شابک) : 3540488154, 9783540488156 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2006 تعداد صفحات: 383 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب جنبه های نظری محاسبات - ICTAC 2006: سومین همایش بین المللی، تونس، تونس، 20 تا 24 نوامبر 2006. پرونده ها: محاسبات با دستگاه های انتزاعی، منطق ها و معانی برنامه ها، منطق ریاضی و زبان های رسمی، زبان های برنامه نویسی، کامپایلرها، مترجمان، مهندسی نرم افزار، شبکه های ارتباطی کامپیوتری
در صورت تبدیل فایل کتاب Theoretical Aspects of Computing - ICTAC 2006: Third International Colloquium, Tunis, Tunisia, November 20-24, 2006. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جنبه های نظری محاسبات - ICTAC 2006: سومین همایش بین المللی، تونس، تونس، 20 تا 24 نوامبر 2006. پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
کنفرانس بین المللی جنبه های نظری محاسبات (ICTAC) که در سال 2006 در تونس، تونس برگزار شد، سومین دوره از مجموعه رویدادهای ایجاد شده توسط موسسه بین المللی فناوری نرم افزار دانشگاه ملل متحد بود. هدف از این کنفرانس گرد هم آوردن محققان دانشگاهی، صنعتی و دولتی برای ارائه نتایج خود و تبادل تجربیات، ایده ها و راه حل هایی برای مشکلات خود در جنبه های نظری محاسبات است. رویدادهای قبلی در گویانگ، چین (2004)، و هانوی، وینام (2005) برگزار شد. فراتر از اهداف علمی خود، یکی دیگر از اهداف اصلی ICTAC، ترویج همکاری در تحقیق و آموزش بین شرکت کنندگان و مؤسسات آنها، از کشورهای در حال توسعه و صنعتی، همانطور که در دستور دانشگاه ملل متحد است، است. این جلسات، مشارکت سخنرانان دعوت شده و جلسات فنی را ثبت می کند. ما چهار مقاله دعوت شده، 21 مقاله فنی، انتخاب شده از 78 مقاله ارسالی از 24 کشور، و دو چکیده توسعه یافته از آموزش را ارائه می دهیم. کمیته برنامه شامل محققانی از 27 کشور است. هر یک از 78 مقاله توسط حداقل سه داور مورد ارزیابی قرار گرفت. پس از ارزیابی، گزارش ها برای بحث و حل و فصل اختلافات به کمیته برنامه بازگردانده شد. بر اساس توصیه های آنها، ما روند اجماع را به نتیجه رساندیم و 21 مقاله را که در اینجا ارائه می کنیم انتخاب کردیم. برای ارزیابی آموزش های ارسال شده، امسال از کمیته برنامه جداگانه ای کمک گرفتیم که مخصوصاً برای این منظور دعوت شده بود.
The International Colloquium on Theoretical Aspects of Computing (ICTAC) held in 2006 in Tunis, Tunisia, was the third of a series of events created by the InternationalInstituteforSoftwareTechnologyoftheUnitedNationsUniversity. The aim of the colloquium is to bring together researchers from academia, - dustry, and governmentto present their results, and exchange experience, ideas, and solutions for their problems in theoretical aspects of computing. The previous events were held in Guiyang, China (2004), and Hanoi, Vi- nam (2005). Beyond its scholarly goals, another main purpose of ICTAC is to promote cooperation in research and education between participants and their institutions, from developing and industrial countries, as in the mandate of the United Nations University. These proceedings record the contributions from the invited speakers and from the technical sessions. We present four invited papers, 21 technical papers, selected out of 78 submissions from 24 countries, and two extended abstracts of tutorials. The Programme Committee includes researchers from 27 countries. Each of the 78 papers was evaluated by at least three reviewers. After the evaluation, reports were returned to the Programme Committee for discussion and reso- tion of con?icts. Based on their recommendations, we concluded the consensus process, and selected the 21 papers that we present here. For the evaluation of the submitted tutorials, this year we had the help of a separate Programme Committee especially invited for that purpose.
Front Matter....Pages -
Verifying a Hotel Key Card System....Pages 1-14
Z/Eves and the Mondex Electronic Purse....Pages 15-34
Verification Constraint Problems with Strengthening....Pages 35-49
Quantitative μ -Calculus Analysis of Power Management in Wireless Networks....Pages 50-64
Termination and Divergence Are Undecidable Under a Maximum Progress Multi-step Semantics for LinCa....Pages 65-79
A Topological Approach of the Web Classification....Pages 80-92
Bisimulation Congruences in the Calculus of Looping Sequences....Pages 93-107
Stronger Reduction Criteria for Local First Search....Pages 108-122
A Lattice-Theoretic Model for an Algebra of Communicating Sequential Processes....Pages 123-137
A Petri Net Translation of π -Calculus Terms....Pages 138-152
Handling Algebraic Properties in Automatic Analysis of Security Protocols....Pages 153-167
A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems....Pages 168-182
Thread-Modular Verification Is Cartesian Abstract Interpretation....Pages 183-197
Capture-Avoiding Substitution as a Nominal Algebra....Pages 198-212
Prime Decomposition Problem for Several Kinds of Regular Codes....Pages 213-227
A New Approach to Determinisation Using Bit-Parallelism....Pages 228-241
Proving ATL* Properties of Infinite-State Systems....Pages 242-256
Type Safety for FJ and FGJ....Pages 257-271
Partizan Games in Isabelle/HOLZF....Pages 272-286
Proof-Producing Program Analysis....Pages 287-301
Reachability Analysis of Mobile Ambients in Fragments of AC Term Rewriting....Pages 302-316
Interesting Properties of the Real-Time Conformance Relation tioco ....Pages 317-331
Model Checking Duration Calculus: A Practical Approach....Pages 332-346
Spatio-temporal Model Checking for Mobile Real-Time Systems....Pages 347-361
Tutorial on Formal Methods for Distributed and Cooperative Systems....Pages 362-365
Decision Procedures for the Formal Analysis of Software....Pages 366-370
Back Matter....Pages -