دانلود کتاب Trustworthy Global Computing: International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers
49,000 تومان
محاسبات جهانی قابل اعتماد: سمپوزیوم بین المللی، TGC 2005، ادینبورگ، انگلستان، 7-9 آوریل، 2005. مقالات منتخب اصلاح شده
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 371 |
| حجم فایل | 6 مگابایت |
| کد کتاب | 3540300074,9783540300076 |
| نوبت چاپ | 1 |
| نویسنده | Benjamin C. Pierce (auth.), Davide Sangiorgi (eds.), Rocco De Nicola |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2005 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
محاسبات جهانی قابل اعتماد: سمپوزیوم بین المللی، TGC 2005، ادینبورگ، انگلستان، 7-9 آوریل، 2005. مقالات منتخب اصلاح شده
این کتاب مجموعه مقالات پس از داوری کامل سمپوزیوم بین المللی در مورد محاسبات جهانی قابل اعتماد، TGC 2005 است که در ادینبورگ، انگلستان، در آوریل 2005 برگزار شد و با رویدادهای ETAPS 2005 همراه بود.
11 مقاله کامل اصلاح شده ارائه شده همراه با 8 مقاله ارائه شده توسط سخنرانان دعوت شده طی 2 دور بررسی و بهبود از بین ارسال های متعدد، با دقت انتخاب شدند. موضوعات موضوعی تحت پوشش این کارگاه عبارتند از: استفاده از منابع، امنیت مبتنی بر زبان، تئوری های اعتماد و احراز هویت، حریم خصوصی، قابلیت اطمینان و کنترل دسترسی یکپارچگی تجاری و مکانیسم های اعمال آنها، مدل های تعامل و مدیریت مؤلفه های پویا، مفاهیم زبان و مکانیسم های انتزاعی، آزمون. ژنراتورها، مفسرهای نمادین، بررسیکنندههای نوع، بررسیکنندههای مدل حالت محدود، اثباتکنندههای قضیه، اصول نرمافزاری برای پشتیبانی از اشکالزدایی و تأیید.
This book constitutes the thoroughly refereed post-proceedings of the International Symposium on Trustworthy Global Computing, TGC 2005, held in Edinburgh, UK, in April 2005, and colocated with the events of ETAPS 2005.
The 11 revised full papers presented together with 8 papers contributed by the invited speakers were carefully selected during 2 rounds of reviewing and improvement from numerous submissions. Topical issues covered by the workshop are resource usage, language-based security, theories of trust and authentication, privacy, reliability and business integrity access control and mechanisms for enforcing them, models of interaction and dynamic components management, language concepts and abstraction mechanisms, test generators, symbolic interpreters, type checkers, finite state model checkers, theorem provers, software principles to support debugging and verification.
برای فرستادن دیدگاه، باید وارد شده باشید.
محصولات مرتبط
دانلود کتاب Data Privacy Management, Cryptocurrencies and Blockchain Technology: ESORICS 2018 International Workshops, DPM 2018 and CBT 2018, Barcelona, Spain, September 6-7, 2018, Proceedings
| نوع کالا | کتاب الکترونیکی |
|---|---|
| ناشر | Springer International Publishing |
| تعداد صفحه | 445 |
| حجم فایل | 15.80 مگابایت |
| کد کتاب | 3540784780 , 9783540784784 |
| نوبت چاپ | اولین ویرایش |
نقد و بررسیها
هنوز بررسیای ثبت نشده است.