Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security : Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010, Revised Selected Papers /

محفوظ في:
التفاصيل البيبلوغرافية
المؤلف الرئيسي: Alessandro Armando, Gavin Lowe (edición)
التنسيق: كتاب
اللغة:الإنجليزية
منشور في: Berlín, Alemania : Springer, 2010, c2010
سلاسل:(Lecture Notes in Computer Science)
الوصول للمادة أونلاين:Ver documento en línea
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!

النظام قيد الصيانة

نظام إدارة مكتبتنا قيد الصيانة حاليا.

معلومات إتاحة المواد والمقتنيات غير متاحة حاليا. الرجاء قبول اعتذارنا عن أي إزعاج قد يسببه ذلك والاتصال بنا للمزيد من المساعدة:

biblioteca@iteso.mx

الانترنت

Ver documento en línea