جستجو در کتاب ها   جستجو در مقالات   جستجو در کل سایت
Logical Foundations of Computer Science - International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings
نویسنده:
سال انتشار: 2020
تعداد صفحات: 297
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 7MB
رمز فایل: www.ketabdownload.com
قیمت: 200,000ريال

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

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

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2020, held in Deerfield Beach, FL, USA, in January 2020. The 17 revised full papers were carefully reviewed and selected from 30 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; parameterized complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logics; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple-agent system logics; logics of proof and justification; non-monotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; other logics in computer science

 


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

نام و نام خانوادگی:
متن:
تصویر:
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ريال

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

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

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

دانلود کتاب نرم افزار تأیید شده - نظریه ها، ابزار ها و آزمایش ها
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ريال

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

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

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

عضویت در سایت

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

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

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

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


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