دانلود کتاب Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation: 8th Asian Computing Science Conference, Mumbai, India, December 10-12, 2003. Proceedings (به فارسی: پیشرفت‌ها در علوم محاسباتی – آسیا 2003. زبان‌های برنامه‌نویسی و زبان‌های برنامه‌نویسی محاسبات توزیع‌شده و محاسبات توزیع‌شده: هشتمین کنفرانس علوم محاسباتی آسیایی، بمبئی، هند، 10-12 دسامبر، 2003. مجموعه مقالات) نوشته شده توسط «Greg Morrisett (auth.) – Vijay A. Saraswat (eds.)»
اطلاعات کتاب پیشرفت‌ها در علوم محاسباتی – آسیا 2003. زبان‌های برنامه‌نویسی و زبان‌های برنامه‌نویسی محاسبات توزیع‌شده و محاسبات توزیع‌شده: هشتمین کنفرانس علوم محاسباتی آسیایی، بمبئی، هند، 10-12 دسامبر، 2003. مجموعه مقالات
موضوع اصلی: ریاضیات محاسباتی
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Greg Morrisett (auth.) – Vijay A. Saraswat (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2003
تعداد صفحه: 312
حجم کتاب: 6 مگابایت
کد کتاب: 3540206329
نوبت چاپ: 1
توضیحات کتاب پیشرفت‌ها در علوم محاسباتی – آسیا 2003. زبان‌های برنامه‌نویسی و زبان‌های برنامه‌نویسی محاسبات توزیع‌شده و محاسبات توزیع‌شده: هشتمین کنفرانس علوم محاسباتی آسیایی، بمبئی، هند، 10-12 دسامبر، 2003. مجموعه مقالات
این کتاب مجموعه مقالات داوری هشتمین کنفرانس علوم محاسباتی آسیایی، آسیایی 2003، برگزار شده در بمبئی، هند در دسامبر 2003 است.
16 مقاله کامل اصلاح شده با هم ارائه شده است. با 2 مقاله دعوت شده به دقت بررسی و از بین 53 مقاله ارسالی انتخاب شد. از جمله موضوعات مطرح شده می توان به نظریه نوع برای حفاظت از سیستم عامل ها، سرورهای قابل تنظیم خود، خدمات شبکه، تشخیص محمول، مشخصات سلسله مراتبی، نظریه اثبات، حراج الکترونیک، محاسبات موبایل ایمن، برنامه نویسی، کنترل دسترسی، میان افزار، منطق برنامه، سیستم های بلادرنگ اشاره کرد. ، و سیستم های توزیع احتمالی.
This book constitutes the refereed proceedings of the 8th Asian Computing Science Conference, ASIAN 2003, held in Mumbai, India in December 2003.
The 16 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 53 submissions. Among the topics addressed are type theory for operating systems protection, self configurable servers, network services, predicate detection, hierarchical specification, proof theory, electronic auctions, secure mobile computing, programming casculi, access control, middleware, program logic, real-time systems, and probabilistic distributed systems.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.