دانلود کتاب Construction and Analysis of Safe, Secure, and Interoperable Smart Devices: Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
49,000 تومان
ساخت و تجزیه و تحلیل دستگاه های هوشمند ایمن، ایمن و قابل همکاری: دومین کارگاه بین المللی، CASSIS 2005، نیس، فرانسه، 8-11 مارس 2005، مقالات منتخب اصلاح شده
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 173 |
| حجم فایل | 2 مگابایت |
| کد کتاب | 3540336893,9783540336891 |
| نوبت چاپ | 1 |
| نویسنده | Benjamin Grégoire, Claudio A. Ardagna, Gilles Barthe, Jean-Louis Lanet (eds.), Marco Cremonini (auth.), Marieke Huisman |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2006 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 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 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
ساخت و تجزیه و تحلیل دستگاه های هوشمند ایمن، ایمن و قابل همکاری: دومین کارگاه بین المللی، CASSIS 2005، نیس، فرانسه، 8-11 مارس 2005، مقالات منتخب اصلاح شده
این کتاب مجموعه مقالات پس از داوری کامل دومین کارگاه بین المللی ساخت و تجزیه و تحلیل دستگاه های هوشمند ایمن، ایمن و قابل همکاری، CASSIS 2005، در نیس، فرانسه، در مارس 2005 است.
<P9 مقاله کامل اصلاح شده ارائه شده در طی دو دور بررسی و بهبود از حدود 30 گفتگوی کارگاهی به دقت انتخاب شدند. این مقالات در بخشهای موضوعی در مورد روندهای تحقیقاتی در دستگاههای هوشمند، خدمات وب، فناوری ماشین مجازی، امنیت، اعتبارسنجی و روشهای رسمی، کد حامل اثبات، و دستگاههای جاسازی شده سازماندهی شدهاند.
This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2005, held in Nice, France, in March 2005.
The 9 revised full papers presented were carefully selected during two rounds of reviewing and improvement from about 30 workshop talks. The papers are organized in topical sections on research trends in smart devices, Web services, virtual machine technology, security, validation and formal methods, proof-carrying code, and embedded devices.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.