ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Advances in Computing Science — ASIAN 2000: 6th Asian Computing Science Conference Penang, Malaysia, November 25–27, 2000 Proceedings

دانلود کتاب پیشرفت در علوم محاسبات - ASIAN 2000: ششمین کنفرانس علوم محاسبات آسیایی Penang ، مالزی ، 25 تا 27 نوامبر ، 2000 مجموعه مقالات

Advances in Computing Science — ASIAN 2000: 6th Asian Computing Science Conference Penang, Malaysia, November 25–27, 2000 Proceedings

مشخصات کتاب

Advances in Computing Science — ASIAN 2000: 6th Asian Computing Science Conference Penang, Malaysia, November 25–27, 2000 Proceedings

دسته بندی: کنفرانس ها و همایش های بین المللی
ویرایش: 1 
نویسندگان: , ,   
سری: Lecture Notes in Computer Science 1961 
ISBN (شابک) : 3540414282, 9783540414285 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2000 
تعداد صفحات: 308 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 4 مگابایت 

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



کلمات کلیدی مربوط به کتاب پیشرفت در علوم محاسبات - ASIAN 2000: ششمین کنفرانس علوم محاسبات آسیایی Penang ، مالزی ، 25 تا 27 نوامبر ، 2000 مجموعه مقالات: منطق ریاضی و زبان های رسمی، منطق و معانی برنامه ها، هوش مصنوعی (شامل رباتیک)، شبکه های ارتباطی کامپیوتری، تحلیل الگوریتم و پیچیدگی مسائل



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

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


در صورت تبدیل فایل کتاب Advances in Computing Science — ASIAN 2000: 6th Asian Computing Science Conference Penang, Malaysia, November 25–27, 2000 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب پیشرفت در علوم محاسبات - ASIAN 2000: ششمین کنفرانس علوم محاسبات آسیایی Penang ، مالزی ، 25 تا 27 نوامبر ، 2000 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب پیشرفت در علوم محاسبات - ASIAN 2000: ششمین کنفرانس علوم محاسبات آسیایی Penang ، مالزی ، 25 تا 27 نوامبر ، 2000 مجموعه مقالات



مجموعه کنفرانس علوم محاسباتی آسیایی (ASIAN) در سال 1995 آغاز شد تا انجمنی را برای محققان علوم رایانه در آسیا فراهم کند تا بتوانند با محققان سایر مناطق ملاقات کنند و تعامل را ارتقا دهند. کنفرانس های قبلی به ترتیب در بانکوک، سنگاپور، کاتماندو، مانیل و پوکت برگزار شد. نتایج در Lecture Notes in Computer Science Series Springer-Verlag منتشر شد. کنفرانس امسال (ASIAN2000) 61 مقاله ارسالی را جذب کرد که از بین آنها 18 مقاله از طریق جلسه کمیته برنامه الکترونیکی (PC) انتخاب شدند. موضوعات کنفرانس امسال عبارتند از: – منطق در علوم کامپیوتر – داده کاوی – شبکه ها و عملکرد سخنران اصلی ASIAN2000 ژان ویلمین (ENS، فرانسه) و سخنرانان دعوت شده راماموهانارائو کوتاگیری (ایالات متحده ملبورن، استرالیا) و آلن هستند. ژان ماری (LIRMM، فرانسه). ما از آنها برای پذیرش دعوت ما تشکر می کنیم. کنفرانس امسال توسط مؤسسه فناوری آسیا (تایلند)، INRIA (فرانسه)، دانشگاه ملی سنگاپور (سنگاپور) و UNU/IIST (ماکائو SAR، چین) حمایت می شود. ما از همه این مؤسسات به خاطر حمایت مستمرشان از سریال آسیایی تشکر می کنیم. کنفرانس امسال در پنانگ مالزی برگزار خواهد شد. ما به دانشگاه ساینس مالزی و دولت ایالتی پنانگ برای فراهم کردن محل کنفرانس و دکتر عبدالله زواوی حاجی طالب برای ایجاد هماهنگی های محلی بسیار موظف هستیم. همچنین مایلیم از اعضای PC و تعداد زیادی از داوران به خاطر کارهای قابل توجهی که توسط آنها در ارزیابی مقالات ارسالی انجام شده است تشکر کنیم.


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

The Asian Computing Science Conference (ASIAN) series was initiated in 1995 to provide a forum for researchers in computer science in Asia to meet and to promote interaction with researchers from other regions. The previous ?ve conferences were held, respectively, in Bangkok, Singapore, Kathmandu, Manila, and Phuket. The proceedings were published in the Lecture Notes in Computer Science Series of Springer-Verlag. This year’s conference (ASIAN2000) attracted 61 submissions from which 18 papers were selected through an electronic program committee (PC) meeting. The themes for this year’s conference are: – Logics in Computer Science – Data Mining – Networks and Performance The key note speaker for ASIAN2000 is Jean Vuillemin (ENS, France) and the invited speakers are Ramamohanarao Kotagiri (U. Melbourne, Australia) and Alain Jean-Marie (LIRMM, France). We thank them for accepting our - vitation. This year’s conference is sponsored by the Asian Institute of Technology (Thailand), INRIA (France), the National University of Singapore (Singapore), and UNU/IIST (Macau SAR, China). We thank all these institutions for their continued support of the ASIAN series. This year’s conference will be held in Penang, Malaysia. We are much obliged to Universiti Sains Malaysia and Penang State Government for providing the conference venue and to Dr. Abdullah Zawawi Haji Talib for making the local arrangements. We also wish to thank the PC members and the large number of referees for thesubstantialworkputinbytheminassessingthesubmittedpapers.



فهرست مطالب

Finite Digital Synchronous Circuits Are Characterized by 2-Algebraic Truth Tables....Pages 1-12
Performance Evaluation of Networks: New Problems and Challenges....Pages 13-14
Emerging Patterns and Classification....Pages 15-32
IPv6 Performance Analysis on FreeBSD Workstation Using Simple Applications....Pages 33-42
Performance of Location Caching Scheme to Support Call Locality in Wireless Networks....Pages 43-57
A Practical Parity Scheme for Tolerating Triple Disk Failures in RAID Architectures....Pages 58-68
Genetic Algorithm for Extended Cell Assignment Problem in Wireless ATM Network....Pages 69-87
Spatial Congruence for Ambients Is Decidable....Pages 88-103
A Spatio-temporal Representation Scheme for Modeling Moving Objects in Video Data....Pages 104-118
Node-to-Set Disjoint Paths Problem in Rotator Graphs....Pages 119-132
On Simulation-Checking with Sequential Systems....Pages 133-148
Reusing Animations in Databases for Multimedia Presentations....Pages 149-161
Reflecting BDDs in Coq....Pages 162-181
On Model Checking Synchronised Hardware Circuits....Pages 182-198
Safe Ambients: Control Flow Analysis and Security....Pages 199-214
Security Types for Mobile Safe Ambients....Pages 215-236
Improving Functional Logic Programs by Difference-Lists....Pages 237-254
A New Multihop Logical Topology for Reliable Broadband Communication....Pages 255-262
A New Scalable Topology for Multihop Optical Networks....Pages 263-272
On Computable Tree Functions....Pages 273-289
Sharpening the Undecidability of Interval Temporal Logic....Pages 290-298




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