دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Advances in Computing Science — ASIAN'97: Third Asian Computing Science Conference Kathmandu, Nepal, December 9–11, 1997 Proceedings
دانلود کتاب پیشرفت در علوم محاسباتی — ASIAN'97: سومین کنفرانس علوم محاسباتی آسیایی کاتماندو، نپال، 9 تا 11 دسامبر 1997 مجموعه مقالات
مشخصات کتاب
Advances in Computing Science — ASIAN'97: Third Asian Computing Science Conference Kathmandu, Nepal, December 9–11, 1997 Proceedings
ویرایش: [1 ed.] نویسندگان: Michael O. Rabin (auth.), R. K. Shyamasundar, K. Ueda (eds.) سری: Lecture Notes in Computer Science 1345 ISBN (شابک) : 354063875X, 9783540638759 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1997 تعداد صفحات: 394 [398] زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 Mb
قیمت کتاب (تومان) : 42,000
در صورت تبدیل فایل کتاب Advances in Computing Science — ASIAN'97: Third Asian Computing Science Conference Kathmandu, Nepal, December 9–11, 1997 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پیشرفت در علوم محاسباتی — ASIAN'97: سومین کنفرانس علوم محاسباتی آسیایی کاتماندو، نپال، 9 تا 11 دسامبر 1997 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب پیشرفت در علوم محاسباتی — ASIAN'97: سومین کنفرانس علوم محاسباتی آسیایی کاتماندو، نپال، 9 تا 11 دسامبر 1997 مجموعه مقالات
این کتاب مجموعه مقالات داوری سومین کنفرانس علوم محاسبات آسیایی، ASIAN'97، برگزار شده در کاتماندو، نپال، در دسامبر 1997 است. این جلد 24 مقاله کامل اصلاح شده را ارائه می دهد که از مجموع 94 مقاله ارسالی انتخاب شده اند. همچنین چکیده ای از سخنرانی اصلی توسط مایکل او. رابین، دو سخنرانی دعوت شده کامل، و 10 پوستر گنجانده شده است. از جمله حوزه هایی که به آنها پرداخته شده است، می توان به زبان های برنامه نویسی، روش های رسمی، منطق ریاضی، استدلال و محدودیت ها، محاسبات بلادرنگ، شبکه، محاسبات تلفن همراه، پردازش تصویر، تأیید سخت افزار و پردازش موازی اشاره کرد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the Third Asian Computing Science Conference, ASIAN'97, held in Kathmandu, Nepal, in December 1997. The volume presents 24 revised full papers selected from a total of 94 submissions. Also included are an abstract of the keynote by Michael O. Rabin, two full invited presentations, and 10 posters. Among the areas addressed are programming languages, formal methods, mathematical logic, reasoning and constraints, real-time computing, networking, mobile computing, image processing, hardware verification, and parallel processing.
