دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Computer Safety, Reliability, and Security: 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings
دانلود کتاب ایمنی ، قابلیت اطمینان و امنیت رایانه: سی و دومین کنفرانس بین المللی ، SAFECOMP 2013 ، تولوز ، فرانسه ، 24-27 سپتامبر 2013. مجموعه مقالات
مشخصات کتاب
Computer Safety, Reliability, and Security: 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings
ویرایش: [1 ed.] نویسندگان: John Rushby (auth.), Friedemann Bitsch, Jérémie Guiochet, Mohamed Kaâniche (eds.) سری: Lecture Notes in Computer Science 8153 ISBN (شابک) : 9783642407925, 9783642407932 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 304 [317] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 Mb
قیمت کتاب (تومان) : 41,000
در صورت تبدیل فایل کتاب Computer Safety, Reliability, and Security: 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 24-27, 2013. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ایمنی ، قابلیت اطمینان و امنیت رایانه: سی و دومین کنفرانس بین المللی ، SAFECOMP 2013 ، تولوز ، فرانسه ، 24-27 سپتامبر 2013. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ایمنی ، قابلیت اطمینان و امنیت رایانه: سی و دومین کنفرانس بین المللی ، SAFECOMP 2013 ، تولوز ، فرانسه ، 24-27 سپتامبر 2013. مجموعه مقالات
این کتاب مجموعه مقالات داوری سی و دومین کنفرانس بین‌المللی ایمنی، قابلیت اطمینان و امنیت رایانه، SAFECOMP 2013، در تولوز، فرانسه، در سپتامبر 2013 است. مقالات ارائه شده همراه با 5 گزارش تجربی عملی با دقت بررسی و از بین بیش از 88 مقاله ارسالی انتخاب شدند. مقالات در بخش‌های موضوعی در مورد الزامات ایمنی و تضمین، آزمایش و تأیید، امنیت، ارزیابی قابلیت اطمینان نرم‌افزار، گزارش‌ها و ابزارهای تجربی عملی، تضمین ایمنی در خودرو، کدهای کنترل خطا، رابط‌های کاربری قابل اعتماد، و تجزیه و تحلیل حالت خطر و خرابی سازمان‌دهی شده‌اند. /p>
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2013, held in Toulouse, France, in September 2013.
The 20 revised full papers presented together with 5 practical experience reports were carefully reviewed and selected from more than 88 submissions. The papers are organized in topical sections on safety requirements and assurance, testing and verification, security, software reliability assessment, practical experience reports and tools, safety assurance in automotive, error control codes, dependable user interfaces, and hazard and failure mode analysis.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Bernstein Operators and Their Properties
دانلود کتاب Strategic Planning for Public and Nonprofit Organizations: A Guide to Strengthening and Sustaining Organizational Achievement, 3rd Edition
دانلود کتاب Advancing Equality: How Constitutional Rights Can Make a Difference Worldwide
دانلود کتاب Formulas Of The Moral Law
