جستجو در کتاب ها   جستجو در مقالات   جستجو در کل سایت
Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings
نویسنده:
سال انتشار: 2017
تعداد صفحات: 1006
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 23MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

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

This book constitutes the proceedings of the 26th European Symposium on Programming, ESOP 2017, which took place in Uppsala, Sweden in April 2017, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017. The 36 papers presented in this volume were carefully reviewed and selected from 112 submissions. They cover traditional as well as emerging topics in programming languages. In detail they deal with semantic foundation and type system for probabilistic programming; techniqu3es for verifying concurrent or higher-order programs; programming languages for arrays or web data; program analysis and verification of non-standard program properties; foundation and application of interactive theorem proving; graph rewriting; separation logic; session type; type theory; and implicit computational complexity

 

دانلود کتاب زبان ها و سیستم های برنامه نویسی Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings


دانلود کتاب زبان ها و سیستم های برنامه نویسی , دانلود کتاب , زبان ها و سیستم های برنامه نویسی , Programming Languages and Systems , 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017, Proceedings
علوم مهندسی و فناوری>رایانه، اینترنت و فناوری اطلاعات

نام و نام خانوادگی:
متن:
تصویر:
Scaling Networks v6 - Labs & Study Guide - Lab Companion
نویسنده:
سال انتشار: 2018
تعداد صفحات: 1121
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 26MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب مقیاس شبکه های v6- راهنمای آزمایشگاه ها و مطالعه - همراه آزمایشگاهی
Programming the BBC micro:bit - Getting Started with MicroPython
نویسنده:
سال انتشار: 2018
تعداد صفحات: -
زبان فایل: انگلیسی
فرمت فایل: epub
حجم فایل: 10MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب برنامه ریزی BBC میکرو:بیت - شروع به کار با میکروپیتون
PHP, MySQL & JavaScript - All in One - Sams Teach Yourself
نویسنده:
سال انتشار: 2018
تعداد صفحات: -
زبان فایل: انگلیسی
فرمت فایل: epub
حجم فایل: 14MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب پی اچ پی، مای اس کیو ال و جاوا اسکریپت - همه در یک
Optical Fiber Sensors for loT and Smart Devices
نویسنده:
سال انتشار: 2017
تعداد صفحات: 101
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 2.5MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب حسگر های فیبر نوری برای اینترنت اشیاء (IoT)و دستگاه های هوشمند
New Frontiers in Artificial Intelligence - JSAI-isAI 2016 Workshops, LENLS, HAT-MASH, AI-Biz, JURISIN and SKL, Kanagawa, Japan, November 14-16, 2016, Revised Selected Papers
نویسنده:
سال انتشار: 2017
تعداد صفحات: 347
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 15MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب مرزهای جدید در هوش مصنوعی
Network+ Guide to Networks
نویسنده:
سال انتشار: 2019
تعداد صفحات: 881
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 31.5MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب شبکه+ راهنمای شبکه ها
MySQL and JSON - A practical Programming Guide
نویسنده:
سال انتشار: 2018
تعداد صفحات: 108
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 1MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب MySQL و JSON - راهنمای برنامه نویسی عملی
MCSA 70-742 Cert Guide - Identity with Windows Server 2016
نویسنده:
سال انتشار: 2017
تعداد صفحات: -
زبان فایل: انگلیسی
فرمت فایل: epub
حجم فایل: 13MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب MCSA 70-742 - راهنمای Cert - هویت با ویندوز سرور 2016
MCSA 70-741 Cert Guide - Networking with Windows Server 2016
نویسنده:
سال انتشار: 2017
تعداد صفحات: 829
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 39MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب MCSA 70-741 - راهنمای Cert - شبکه سازی با ویندوز سرور 2016
MCSA 70-740 Cert Guide - Installation, Storage, and Compute with Windows Server 2016
نویسنده:
سال انتشار: 2017
تعداد صفحات: -
زبان فایل: انگلیسی
فرمت فایل: epub
حجم فایل: 12MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب MCSA 70-740 - راهنمای Cert - نصب، ذخیره و محاسبه با ویندوز سرور 2016

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

عضویت در سایت

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

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

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

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


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