جستجو در کتاب ها   جستجو در مقالات   جستجو در کل سایت
Programming with Types
نویسنده:
سال انتشار: 2020
تعداد صفحات: 338
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 5MB
رمز فایل: www.ketabdownload.com
قیمت: 200,000ريال

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

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

Type-related failures are common and can be very costly. Famously, in 1999, NASA's Mars Climate Orbiter burned up in the atmosphere because of an error that could have easily been prevented with typing. By taking advantage of the strong type systems available in most modern programming languages, you can eliminate whole classes of errors. Programming with Types teaches you type system techniques for writing software that's safe, correct, easy to test and maintain, and that practically documents itself. Master these techniques, and you may even help prevent an interstellar catastrophe

 

دانلود کتاب برنامه نویسی با تایپ ها Programming with Types


دانلود کتاب برنامه نویسی با تایپ ها , دانلود کتاب , برنامه نویسی با تایپ ها , Programming with Types
علوم مهندسی و فناوری>رایانه، اینترنت و فناوری اطلاعات

نام و نام خانوادگی:
متن:
تصویر:
Domain-Specific Knowledge Graph Construction
نویسنده:
سال انتشار: 2019
تعداد صفحات: 115
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 3MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

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

دانلود کتاب ساخت نمودار دانش خاص
IoT as a Service - 4th EAI International Conference, IoTaaS 2018, Xi’an, China, November 17-18, 2018, Proceedings
نویسنده:
سال انتشار: 2019
تعداد صفحات: 502
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 37MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

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

دانلود کتاب IoT به عنوان یک سرویس
Video Analytics. Face and Facial Expression Recognition - Third International Workshop, FFER 2018, and Second International Workshop, DLPR 2018, Beijing, China, August 20, 2018, Revised Selected Papers
نویسنده:
سال انتشار: 2019
تعداد صفحات: 96
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 9MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

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

دانلود کتاب آنالیز ویدیویی - تشخیص بیان چهره و صورت
Smart and Digital Cities - From Computational Intelligence to Applied Social Sciences
نویسنده:
سال انتشار: 2019
تعداد صفحات: 311
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 6MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

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

دانلود کتاب شهرهای هوشمند و دیجیتالی - از هوش محاسباتی تا علوم اجتماعی کاربردی
Security and Privacy Trends in the Industrial Internet of Things
نویسنده:
سال انتشار: 2019
تعداد صفحات: 312
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 6MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

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

دانلود کتاب روند های امنیتی و حریم خصوصی در اینترنت صنعتی اشیاء
Risks and Security of Internet and Systems - 13th International Conference, CRiSIS 2018, Arcachon, France, October 16-18, 2018, Revised Selected Papers
نویسنده:
سال انتشار: 2019
تعداد صفحات: 248
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 14MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

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

دانلود کتاب ریسک ها و امنیت اینترنت و سیستم ها
Macrotask Crowdsourcing - Engaging the Crowds to Address Complex Problems
نویسنده:
سال انتشار: 2019
تعداد صفحات: 279
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 6MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

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

دانلود کتاب منبع ازدحام ماکروتاسک - درگیر کردن ازدحام برای پرداختن به مسائل پیچیده
Information Security and Cryptology - ICISC 2018 - 21st International Conference, Seoul, South Korea, November 28-30, 2018, Revised Selected Papers
نویسنده:
سال انتشار: 2019
تعداد صفحات: 375
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 12MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

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

دانلود کتاب امنیت اطلاعات و رمزنگاری
Computer Vision, Imaging and Computer Graphics - Theory and Applications - 12th International Joint Conference, VISIGRAPP 2017, Porto, Portugal, February 27 – March 1, 2017, Revised Selected Papers
نویسنده:
سال انتشار: 2019
تعداد صفحات: 393
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 73MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

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

دانلود کتاب ویژوال رایانه، تصویربرداری و گرافیک رایانه
Automotive Systems and Software Engineering - State of the Art and Future Trends
نویسنده:
سال انتشار: 2019
تعداد صفحات: 364
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 12MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

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

دانلود کتاب سیستم های خودرو و مهندسی نرم افزار - پیشرفت و روند های آتی

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

عضویت در سایت

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

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

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

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


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