جستجو در کتاب ها   جستجو در مقالات   جستجو در کل سایت
Verified Software - Theories, Tools, and Experiments - 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13–14, 2019, Revised Selected Papers
نویسنده:
سال انتشار: 2020
تعداد صفحات: 208
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 10MB
رمز فایل: www.ketabdownload.com
قیمت: 200,000ريال

افزودن به سبد دانلود

کتاب دانلود - دانلود کتاب های علمی و دانشگاهی

This volume constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2019, held in New York City, NY, USA, in July 2019. The 9 full papers presented were carefully revised and selected from 17 submissions. The papers describe large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge as well as novel experiments and case studies evaluating verification techniques and technologies

 


علوم مهندسی و فناوری>رایانه، اینترنت و فناوری اطلاعات

نام و نام خانوادگی:
متن:
تصویر:
Software Engineering - A Practitioner’s Approach
نویسنده:
سال انتشار: 2015
تعداد صفحات: 977
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 23MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

افزودن به سبد دانلود توضیحات بیشتر

دانلود کتاب مهندسی نرم افزار - رویکرد یک متخصص
Mastering Adobe Photoshop Elements 2020 - Supercharge your image editing using the latest features and techniques in Photoshop Elements
نویسنده:
سال انتشار: 2020
تعداد صفحات: 544
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 27MB
رمز فایل: www.ketabdownload.com
قیمت: 200,000ريال

افزودن به سبد دانلود توضیحات بیشتر

دانلود کتاب تسلط بر عناصر فتوشاپ - با استفاده از جدیدترین ویژگی ها و تکنیک های موجود در عناصر فتوشاپ ویرایش تصویر خود را سوپرشارژ کنید
Build Your Own Cybersecurity Testing Lab - Low-cost Solutions for Testing in Virtual and Cloud-based Environments
نویسنده:
سال انتشار: 2020
تعداد صفحات: 556
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 34MB
رمز فایل: www.ketabdownload.com
قیمت: 200,000ريال

افزودن به سبد دانلود توضیحات بیشتر

دانلود کتاب آزمایشگاه تست امنیت سایبری خود را بسازید - راه حل های کم هزینه برای آزمایش در محیط های مجازی و مبتنی بر ابر
Professional WordPress Plugin Development
نویسنده:
سال انتشار: 2020
تعداد صفحات: 468
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 13MB
رمز فایل: www.ketabdownload.com
قیمت: 200,000ريال

افزودن به سبد دانلود توضیحات بیشتر

دانلود کتاب توسعه افزونه (پلاگین) حرفه ای وردپرس
Official Google Cloud Certified Professional Data Engineer Study Guide
نویسنده:
سال انتشار: 2020
تعداد صفحات: 341
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 17MB
رمز فایل: www.ketabdownload.com
قیمت: 200,000ريال

افزودن به سبد دانلود توضیحات بیشتر

دانلود کتاب راهنمای مطالعه رسمی مهندس داده ها با مجوز رسمی ابر گوگل
Speech-to-Speech Translation
نویسنده:
سال انتشار: 2020
تعداد صفحات: 103
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 4MB
رمز فایل: www.ketabdownload.com
قیمت: 200,000ريال

افزودن به سبد دانلود توضیحات بیشتر

دانلود کتاب ترجمه گفتار به گفتار
Semantic Technology - 9th Joint International Conference, JIST 2019, Hangzhou, China, November 25–27, 2019, Proceedings
نویسنده:
سال انتشار: 2020
تعداد صفحات: 398
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 37MB
رمز فایل: www.ketabdownload.com
قیمت: 200,000ريال

افزودن به سبد دانلود توضیحات بیشتر

دانلود کتاب فناوری معنایی
Secure Knowledge Management In Artificial Intelligence Era - 8th International Conference, SKM 2019, Goa, India, December 21–22, 2019, Proceedings
نویسنده:
سال انتشار: 2020
تعداد صفحات: 218
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 11MB
رمز فایل: www.ketabdownload.com
قیمت: 200,000ريال

افزودن به سبد دانلود توضیحات بیشتر

دانلود کتاب مدیریت دانش ایمن در عصر هوش مصنوعی
Requirements Engineering - Foundation for Software Quality - 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24–27, 2020, Proceedings
نویسنده:
سال انتشار: 2020
تعداد صفحات: 313
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 19MB
رمز فایل: www.ketabdownload.com
قیمت: 200,000ريال

افزودن به سبد دانلود توضیحات بیشتر

دانلود کتاب مهندسی ملزومات - مبانی برای کیفیت نرم افزار
Protocols for Authentication and Key Establishment
نویسنده:
سال انتشار: 2020
تعداد صفحات: 542
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 5MB
رمز فایل: www.ketabdownload.com
قیمت: 200,000ريال

افزودن به سبد دانلود توضیحات بیشتر

دانلود کتاب پروتکل ها برای تأیید اعتبار و استقرار کلید

نظرات و پیشنهادات

عضویت در سایت

پشتیبانی آنلاین

نام و نام خانوادگی:
پست الکترونیک:
متن:

نام کاربری:
کلمه عبور:
کلمه عبور را بخاطر بسپار
کلمه عبور خود را فراموش کرده ام
عضویت در سایت

نام و نام خانوادگی:
پست الکترونیک:
شماره موبایل:
گفتگو با:


کتاب دانلود : دانلود کتاب های علمی و دانشگاهی روز دنیا. هرگونه کپی برداری از محتوا، قالب، و طرح های به کار رفته در این سایت شرعا و قانونا ممنوع می باشد، و پیگرد قانونی دارد.