دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Advances in Computing Science — ASIAN’99: 5th Asian Computing Science Conference Phuket, Thailand, December 10–12,1999 Proceedings
دانلود کتاب پیشرفت در علوم محاسبات - ASIAN’99: پنجمین کنفرانس علوم رایانه ای آسیا پوکت ، تایلند ، مجموعه مقالات 10 تا 12 دسامبر 1999
مشخصات کتاب
Advances in Computing Science — ASIAN’99: 5th Asian Computing Science Conference Phuket, Thailand, December 10–12,1999 Proceedings
ویرایش: [1 ed.] نویسندگان: Nicolas Halbwachs, Pascal Raymond (auth.), P. S. Thiagarajan, Roland Yap (eds.) سری: Lecture Notes in Computer Science 1742 ISBN (شابک) : 354066856X, 9783540668565 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1999 تعداد صفحات: 408 [407] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 Mb
قیمت کتاب (تومان) : 31,000
در صورت تبدیل فایل کتاب Advances in Computing Science — ASIAN’99: 5th Asian Computing Science Conference Phuket, Thailand, December 10–12,1999 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پیشرفت در علوم محاسبات - ASIAN’99: پنجمین کنفرانس علوم رایانه ای آسیا پوکت ، تایلند ، مجموعه مقالات 10 تا 12 دسامبر 1999 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب پیشرفت در علوم محاسبات - ASIAN’99: پنجمین کنفرانس علوم رایانه ای آسیا پوکت ، تایلند ، مجموعه مقالات 10 تا 12 دسامبر 1999
این کتاب مجموعه مقالات داوری پنجمین کنفرانس علوم محاسبات
آسیایی، ASIAN'99، برگزار شده در پوکت، تایلند، در دسامبر 1999
است.
28 مقاله کامل اصلاح شده ارائه شده همراه با دو مشارکت دعوت شده و
11 ارائه کوتاه به دقت بررسی شدند و از مجموع 114 ارسال انتخاب
شده است. از جمله موضوعاتی که به آنها پرداخته می شود، تئوری
برنامه نویسی، روش های رسمی، استدلال خودکار، تأیید، سیستم های
جاسازی شده، سیستم های بلادرنگ، سیستم های توزیع شده و محاسبات
سیار می باشد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 5th Asian
Computing Science Conference, ASIAN'99, held in Phuket,
Thailand, in December 1999.
The 28 revised full papers presented together with two invited
contributions and 11 short presentations were carefully
reviewed and selected from a total of 114 submissions. Among
the topics addressed are programming theory, formal methods,
automated reasoning, verification, embedded systems, real-time
systems, distributed systems, and mobile computing.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Navier-Stokes Equations: Theory and Numerical Methods
دانلود کتاب Globalization in the 21st Century: Labor, Capital, and the State on a World Scale
دانلود کتاب Die Kraftstoff-Diät High-Intensity-Slimming: So aktivieren Sie die sechs besten Abnehmturbos
