دانلود کتاب Formal Aspects in Security and Trust: Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers
دانلود کتاب Formal Aspects in Security and Trust: Thrid International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers
جنبه های رسمی در امنیت و اعتماد: کارگاه بین المللی ترید، FAST 2005، نیوکاسل آپون تاین، انگلستان، 18-19 ژوئیه، 2005، مقالات منتخب اصلاح شده
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 259 |
| حجم فایل | 3 مگابایت |
| کد کتاب | 3540326286,9783540326281 |
| نوبت چاپ | 1 |
دانلود کتاب Formal Aspects of Security: First International Conference, FASec 2002, London, UK, December 16-18, 2002. Revised Papers
جنبه های رسمی امنیت: اولین کنفرانس بین المللی، FASec 2002، لندن، انگلستان، 16-18 دسامبر 2002. مقالات تجدید نظر شده
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 246 |
| حجم فایل | 2 مگابایت |
| کد کتاب | 3540206930,9783540206934 |
| نوبت چاپ | 1 |
دانلود کتاب ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005. Proceedings
ZB 2005: مشخصات رسمی و توسعه در Z و B: چهارمین کنفرانس بین المللی کاربران B و Z، گیلدفورد، انگلستان، 13-15 آوریل، 2005. مجموعه مقالات
| موضوع اصلی | کنفرانس ها و سمپوزیوم های بین المللی |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer-Verlag Berlin Heidelberg |
| تعداد صفحه | 496 |
| حجم فایل | 7 مگابایت |
| کد کتاب | 3540255591,9783540255598 |
| نوبت چاپ | 1 |