دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Practical Aspects of Declarative Languages: Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11–12, 2001 Proceedings
دانلود کتاب جنبه های عملی زبان های اعلانی: سومین سمپوزیوم بین المللی، PADL 2001 لاس وگاس، نوادا، 11–12 مارس، 2001 مجموعه مقالات
مشخصات کتاب
Practical Aspects of Declarative Languages: Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11–12, 2001 Proceedings
ویرایش: [1 ed.] نویسندگان: C. R. Ramakrishnan (auth.), I. V. Ramakrishnan (eds.) سری: Lecture Notes in Computer Science 1990 ISBN (شابک) : 3540417680, 9783540417682 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2001 تعداد صفحات: 352 [360] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 Mb
قیمت کتاب (تومان) : 37,000
در صورت تبدیل فایل کتاب Practical Aspects of Declarative Languages: Third International Symposium, PADL 2001 Las Vegas, Nevada, March 11–12, 2001 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب جنبه های عملی زبان های اعلانی: سومین سمپوزیوم بین المللی، PADL 2001 لاس وگاس، نوادا، 11–12 مارس، 2001 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب جنبه های عملی زبان های اعلانی: سومین سمپوزیوم بین المللی، PADL 2001 لاس وگاس، نوادا، 11–12 مارس، 2001 مجموعه مقالات
این کتاب مجموعه مقالات داوری سومین سمپوزیوم بین‌المللی
جنبه‌های کاربردی برنامه‌نویسی اعلامی، PADL 2001 است که در لاس
وگاس، نوادا، ایالات متحده آمریکا در مارس 2001 برگزار شد.
23 مقاله کامل اصلاح‌شده ارائه‌شده با دقت بررسی و از مجموع
مقالات انتخاب شدند. از 40 ارسال از جمله موضوعات تحت پوشش
Mu-calculus، زبان های مشخصات، جاوا، برنامه نویسی اینترنتی،
VRML، پروتکل های امنیتی، امنیت پایگاه داده، پروتکل های احراز
هویت، برنامه نویسی Prolog، پیاده سازی، برنامه نویسی محدودیت،
ردیابی بصری، و بررسی مدل هستند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the Third
International Symposium on Practical Aspects of Declarative
Programming, PADL 2001, held in Las Vegas, Nevada, USA in March
2001.
The 23 revised full papers presented were carefully reviewed
and selected from a total of 40 submissions. Among the topics
covered are Mu-calculus, specification languages, Java,
Internet programming, VRML, security protocols, database
security, authentication protocols, Prolog programming,
implementation, constraint programming, visual tracking, and
model checking.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Clinical Biochemistry An Illustrated Colour Text, 5e
دانلود کتاب Materials for Rigid and Flexible Printed Wiring Boards (Electrical and Computer Engineering)
دانلود کتاب The Cambridge Introduction to Twentieth-Century American Poetry (Cambridge Introductions to Literature)
دانلود کتاب Домашний самогон
