الناشر | Springer |
رقم الكتاب المعياري الدولي 10 | 3540336893 |
اللغة | English |
تاريخ النشر | 18 April 2006 |
رقم الكتاب المعياري الدولي 13 | 9783540336891 |
الكاتب | Gilles Barthe |
وصف الكتاب | This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 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. |
عدد الصفحات | 192 pages |
نحن دائماً جاهزون لمساعدتك
تواصل معنا من خلال أي من قنوات الدعم التالية:
الإلكترونيات
الهواتف المتحركةأجهزة التابلتأجهزة الكمبيوتر المحمولةالأجهزة المنزليةالكاميرات والصور وتسجيل الفيديوالتلفزيوناتسماعات الرأسألعاب الفيديوالأزياء
أزياء نسائيةأزياء رجاليةأزياء البناتأزياء الأولادالساعاتالمجوهراتحقائب اليد النسائيةنظارات الرجالالمطبخ والأجهزة المنزلية
مستلزمات الحمامديكورات المنازلالمطبخ وأدوات الطعامالأدوات وتحسين المنزلأجهزة الصوت والفيديوالأثاثمستلزمات الحدائقمستلزمات الحيوانات الأليفةالجمال
العطورالمكياجالعناية بالشعرالعناية بالبشرة الجسم والإستحمامأدوات الجمال الإلكترونيةمنتجات العناية بالرجالمنتجات الرعاية الصحية