جستجو در کتاب ها   جستجو در مقالات   جستجو در کل سایت
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
علوم مهندسی و فناوری>رایانه، اینترنت و فناوری اطلاعات

نام و نام خانوادگی:
متن:
تصویر:
Adobe Premiere Pro CC Classroom in a Book
نویسنده:
سال انتشار: 2019
تعداد صفحات: 1121
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 36MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

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

دانلود کتاب کلاس درس آدوب پریمیئر پرو سی سی در یک کتاب
Topics in Cryptology - CT-RSA 2019 - The Cryptographers’ Track at the RSA Conference 2019, San Francisco, CA, USA, March 4-8, 2019, Proceedings
نویسنده:
سال انتشار: 2019
تعداد صفحات: 589
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 15MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

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

دانلود کتاب مباحث در رمزنگاری
Fitting Splines to a Parametric Function
نویسنده:
سال انتشار: 2019
تعداد صفحات: 86
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 3MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

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

دانلود کتاب اتصالات اسپلین ها به یک عملکرد پارامتری
Deep Learning Applications for Cyber Security
نویسنده:
سال انتشار: 2019
تعداد صفحات: 260
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 7MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

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

دانلود کتاب برنامه های یادگیری عمیق برای امنیت سایبر
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ريال

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

دانلود کتاب ریسک ها و امنیت اینترنت و سیستم ها

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

عضویت در سایت

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

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

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

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


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