trustworthy
کامپایلرهای قابل اعتماد
دانلود کتاب Trustworthy compilers (به فارسی: کامپایلرهای قابل اعتماد) نوشته شده توسط «Vladimir O. Safonov» اطلاعات کتاب کامپایلرهای قابل اعتماد موضوع اصلی: فن آوری نوع: کتاب الکترونیکی ناشر: John Wiley & Sons نویسنده: Vladimir O. Safonov زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2010 تعداد صفحه: 317 حجم کتاب: 1 مگابایت کد کتاب: 0470500956 , 9780470500958 توضیحات کتاب کامپایلرهای قابل اعتماد رویکرد ولادیمیر او. سافونوف به این موضوع پیچیده عالی است. توسعه دهندگانی که تجربه دارند و همچنین کسانی که در حال ساختن تجربه هستند، این متن را ارزشمند خواهند یافت. من از رویکرد…
استفاده از برنامه نویسی جنبه گرا برای توسعه نرم افزار قابل اعتماد
دانلود کتاب Using Aspect-Oriented Programming for Trustworthy Software Development (به فارسی: استفاده از برنامه نویسی جنبه گرا برای توسعه نرم افزار قابل اعتماد) نوشته شده توسط «Vladimir O. Safonov» اطلاعات کتاب استفاده از برنامه نویسی جنبه گرا برای توسعه نرم افزار قابل اعتماد موضوع اصلی: برنامه نويسي نوع: کتاب الکترونیکی ناشر: Wiley-Interscience نویسنده: Vladimir O. Safonov زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2008 تعداد صفحه: 353 حجم کتاب: 4 مگابایت کد کتاب: 0470138173 , 9780470138175 توضیحات کتاب استفاده از برنامه نویسی جنبه گرا برای توسعه نرم افزار قابل اعتماد بیاموزید که چگونه با…
ساخت وب های معنایی قابل اعتماد
دانلود کتاب Building Trustworthy Semantic Webs (به فارسی: ساخت وب های معنایی قابل اعتماد) نوشته شده توسط «Bhavani Thuraisingham» اطلاعات کتاب ساخت وب های معنایی قابل اعتماد موضوع اصلی: شبکه: اینترنت نوع: کتاب الکترونیکی ناشر: Auerbach Publications نویسنده: Bhavani Thuraisingham زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2008 تعداد صفحه: 434 حجم کتاب: 14 مگابایت کد کتاب: 9780849350801 , 0849350808 , 1420062212 , 1420062506 , 0849332591 , 1420046594 , 1420045040 نوبت چاپ: 1 توضیحات کتاب ساخت وب های معنایی قابل اعتماد من از طریق حامی مالی سال اول فعالیت غیرانتفاعی ما به این کتاب…
محاسبات جهانی قابل اعتماد: دومین سمپوزیوم، TGC 2006، لوکا، ایتالیا، 7-9 نوامبر 2006، مقالات منتخب اصلاح شده
دانلود کتاب Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers (به فارسی: محاسبات جهانی قابل اعتماد: دومین سمپوزیوم، TGC 2006، لوکا، ایتالیا، 7-9 نوامبر 2006، مقالات منتخب اصلاح شده) نوشته شده توسط «Christos Kaklamanis (auth.) – Ugo Montanari – Donald Sannella – Roberto Bruni (eds.)» اطلاعات کتاب محاسبات جهانی قابل اعتماد: دومین سمپوزیوم، TGC 2006، لوکا، ایتالیا، 7-9 نوامبر 2006، مقالات منتخب اصلاح شده موضوع اصلی: سازمان و پردازش داده ها نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Christos Kaklamanis (auth.) – Ugo Montanari – Donald Sannella – Roberto Bruni (eds.) زبان:…
طراحی برای نرم افزار قابل اعتماد: ابزارها، تکنیک ها و روش های توسعه نرم افزار قوی
دانلود کتاب Design for Trustworthy Software: Tools, Techniques, and Methodology of Developing Robust Software (به فارسی: طراحی برای نرم افزار قابل اعتماد: ابزارها، تکنیک ها و روش های توسعه نرم افزار قوی) نوشته شده توسط «Bijay K. Jayaswal – Peter C. Patton» اطلاعات کتاب طراحی برای نرم افزار قابل اعتماد: ابزارها، تکنیک ها و روش های توسعه نرم افزار قوی موضوع اصلی: برنامه نويسي نوع: کتاب الکترونیکی ناشر: Prentice Hall نویسنده: Bijay K. Jayaswal – Peter C. Patton زبان: English فرمت کتاب: chm (قابل تبدیل به سایر فرمت ها) سال انتشار: 2006 تعداد صفحه: 840 حجم کتاب: 12 مگابایت کد…
سیستم های قابل اعتماد از طریق مهندسی نرم افزار کمی
دانلود کتاب Trustworthy Systems Through Quantitative Software Engineering (به فارسی: سیستم های قابل اعتماد از طریق مهندسی نرم افزار کمی) نوشته شده توسط «Lawrence Bernstein – C. M. Yuhas» اطلاعات کتاب سیستم های قابل اعتماد از طریق مهندسی نرم افزار کمی موضوع اصلی: فن آوری نوع: کتاب الکترونیکی ناشر: Wiley نویسنده: Lawrence Bernstein – C. M. Yuhas زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2005 تعداد صفحه: 466 حجم کتاب: 9 مگابایت کد کتاب: 0471696919 , 9780471696919 , 9780471750321 نوبت چاپ: First Edition توضیحات کتاب سیستم های قابل اعتماد از طریق مهندسی نرم افزار…
بلاک چین و سیستم های قابل اعتماد: دومین کنفرانس بین المللی، BlockSys 2020، دالی، چین، 6 تا 7 آگوست 2020، مقالات منتخب اصلاح شده
دانلود کتاب Blockchain and Trustworthy Systems: Second International Conference, BlockSys 2020, Dali, China, August 6–7, 2020, Revised Selected Papers (به فارسی: بلاک چین و سیستم های قابل اعتماد: دومین کنفرانس بین المللی، BlockSys 2020، دالی، چین، 6 تا 7 آگوست 2020، مقالات منتخب اصلاح شده) نوشته شده توسط «Zibin Zheng – Hong-Ning Dai – Xiaodong Fu – Benhui Chen» اطلاعات کتاب بلاک چین و سیستم های قابل اعتماد: دومین کنفرانس بین المللی، BlockSys 2020، دالی، چین، 6 تا 7 آگوست 2020، مقالات منتخب اصلاح شده موضوع اصلی: کامپیوترها نوع: کتاب الکترونیکی ناشر: Springer Singapore;Springer نویسنده: Zibin Zheng – Hong-Ning Dai…