دانلود کتاب Theoretical Computer Science: 7th Italian Conference, ICTCS 2001 Torino, Italy, October 4–6, 2001 Proceedings (به فارسی: علوم کامپیوتر نظری: هفتمین کنفرانس ایتالیا، ICTCS 2001 تورینو، ایتالیا، 4 تا 6 اکتبر 2001 مجموعه مقالات) نوشته شده توسط «Antonio Restivo – Simona Ronchi Della Rocca – Luca Roversi (auth.)»
اطلاعات کتاب علوم کامپیوتر نظری: هفتمین کنفرانس ایتالیا، ICTCS 2001 تورینو، ایتالیا، 4 تا 6 اکتبر 2001 مجموعه مقالات
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Antonio Restivo – Simona Ronchi Della Rocca – Luca Roversi (auth.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2001
تعداد صفحه: 448
حجم کتاب: 4 مگابایت
کد کتاب: 3540426728 , 9783540426721
نوبت چاپ: 1
توضیحات کتاب علوم کامپیوتر نظری: هفتمین کنفرانس ایتالیا، ICTCS 2001 تورینو، ایتالیا، 4 تا 6 اکتبر 2001 مجموعه مقالات
این کتاب مجموعه مقالات داوری هفتمین کنفرانس ایتالیایی در زمینه علوم کامپیوتر نظری، ICTCS 2001 است که در تورینو، ایتالیا در اکتبر 2001 برگزار شد.
25 مقاله کامل اصلاح شده ارائه شده همراه با دو مقاله دعوت شده با دقت بررسی و انتخاب شدند. از 45 ارسال این مقالات در بخش‌های موضوعی در مورد محاسبات و انواع لامبدا، الگوریتم‌ها و ساختارهای داده، پارادایم‌های محاسباتی جدید، زبان‌های رسمی، اشیاء و تحرک، پیچیدگی محاسباتی، امنیت، و برنامه‌نویسی منطقی و منطقی سازماندهی شده‌اند.
This book constitutes the refereed proceedings of the 7th Italian Conference on Theoretical Computer Science, ICTCS 2001, held in Torino, Italy in October 2001.
The 25 revised full papers presented together with two invited papers were carefully reviewed and selected from 45 submissions. The papers are organized in topical sections on lambda calculus and types, algorithms and data structures, new computing paradigms, formal languages, objects and mobility, computational complexitiy, security, and logics and logic programming.
