دانلود کتاب Theoretical Aspects of Computer Software: Third International Symposium, TACS’97 Sendai, Japan, September 23–26, 1997 Proceedings
36,000 تومان
جنبه های نظری نرم افزار کامپیوتر: سومین سمپوزیوم بین المللی، TACS’97 Sendai، ژاپن، 23-26 سپتامبر 1997 مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 648 |
| حجم فایل | 7 مگابایت |
| کد کتاب | 354063388X,9783540633884 |
| نوبت چاپ | 1 |
| نویسنده | , , |
|---|---|
| زبان |
انگلیسی |
| فرمت |
DJVU |
| سال انتشار |
1997 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
جنبه های نظری نرم افزار کامپیوتر: سومین سمپوزیوم بین المللی، TACS’97 Sendai، ژاپن، 23-26 سپتامبر 1997 مجموعه مقالات
این کتاب مجموعه مقالات داوری سومین سمپوزیوم بین‌المللی جنبه‌های نظری نرم‌افزار رایانه‌ای، TACS’97 است که در سندای، ژاپن، در سپتامبر 1997 برگزار شد. این کتاب 20 مقاله کامل اصلاح‌شده را ارائه می‌کند که از مجموع 46 مقاله ارسالی انتخاب شده‌اند. همچنین شامل هفت مقاله دعوت شده توسط دانشمندان برجسته بین المللی است. از جمله موضوعاتی که به آنها پرداخته می شود، محاسبات عمل، چندشکلی ها، نظریه نوع، محاسبات لامبدا، پالایش، سیستم های انتقال محدود، بررسی مدل، جبرهای فرآیند، چارچوب های منطقی، منطق های مرتبه بالاتر و غیره هستند.
This book constitutes the refereed proceedings of the Third International Symposium on Theoretical Aspects of Computer Software, TACS’97, held in Sendai, Japan, in September 1997. The book presents 20 revised full papers selected from a total of 46 submissions. Also included are seven invited papers by internationally leading scientists. Among the topics addressed are action calculi, polymorphisms, type theory, lambda calculi, refinement, finite transition systems, model checking, process algebras, logical frameworks, higher-order logics, etc.
برای فرستادن دیدگاه، باید وارد شده باشید.
محصولات مرتبط
دانلود کتاب Blockchain – ICBC 2019: Second International Conference, Held as Part of the Services Conference Federation, SCF 2019, San Diego, CA, USA, June 25–30, 2019, Proceedings
| نوع کالا | کتاب الکترونیکی |
|---|---|
| ناشر | Springer International Publishing |
| تعداد صفحه | 231 |
| حجم فایل | 14.04 مگابایت |
| کد کتاب | 3030234045 , 9783030234041 |
| نوبت چاپ | اولین ویرایش |
نقد و بررسی‌ها
هنوز بررسی‌ای ثبت نشده است.