جستجو در کتاب ها   جستجو در مقالات   جستجو در کل سایت
Logical Foundations of Computer Science - International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings
نویسنده:
سال انتشار: 2018
تعداد صفحات: 378
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 4.5MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

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

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018. The 22 revised full papers were carefully reviewed and selected from 22 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; and other logics in computer science

 

دانلود کتاب مبانی منطقی علم رایانه Logical Foundations of Computer Science - International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings


دانلود کتاب مبانی منطقی علم رایانه , دانلود کتاب , مبانی منطقی علم رایانه , Logical Foundations of Computer Science , International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8, 11, 2018, Proceedings
علوم مهندسی و فناوری>رایانه، اینترنت و فناوری اطلاعات

نام و نام خانوادگی:
متن:
تصویر:
Computational Science and Technology - 5th ICCST 2018, Kota Kinabalu, Malaysia, 29-30 August 2018
نویسنده:
سال انتشار: 2019
تعداد صفحات: 572
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 40MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

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

دانلود کتاب علم و فناوری محاسباتی
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXI - Special Issue on Data and Security Engineering
نویسنده:
سال انتشار: 2017
تعداد صفحات: 156
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 6MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب شرح مذاکرات در سیستم های داده و دانش محور مقیاس بزرگ  XXXI - مسئله ویژه ای در زمینه مهندسی داده ها و امنیت
Transactions on Computational Science XXIX
نویسنده:
سال انتشار: 2017
تعداد صفحات: 150
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 13MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب شرح مذاکرات در علوم محاسباتی XXIX
Text Mining - Concepts, Implementation, and Big Data Challenge
نویسنده:
سال انتشار: 2019
تعداد صفحات: 376
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 10MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

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

دانلود کتاب استخراج متن (متن کاوی) - مفاهیم، پیاده سازی و چالش بزرگ داده
Research on Tibetan Spelling Formal Language and Automata with Application
نویسنده:
سال انتشار: 2019
تعداد صفحات: 266
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 9MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

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

دانلود کتاب تحقیق در زبان رسمی املای تبتی و اتوماتا با اپلیکیشن
Hardware Accelerators in Data Centers
نویسنده:
سال انتشار: 2019
تعداد صفحات: 280
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 7MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

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

دانلود کتاب شتاب دهنده های سخت افزاری در مراکز داده
Microsoft Word 2019 For Dummies
نویسنده:
سال انتشار: 2019
تعداد صفحات: -
زبان فایل: انگلیسی
فرمت فایل: epub
حجم فایل: 7MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

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

دانلود کتاب مایکروسافت ورد 2019 به زبان ساده
Autodesk 3ds Max 2019 - A Comprehensive Guide
نویسنده:
سال انتشار: 2018
تعداد صفحات: -
زبان فایل: انگلیسی
فرمت فایل: epub
حجم فایل: 68MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب اتودسک تری دی اس مکس 2019 - راهنمای جامع
The Windows 10 Productivity Handbook - Discover Expert Tips, Tricks, and Hidden Features in Windows 10
نویسنده:
سال انتشار: 2017
تعداد صفحات: 134
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 6.5MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب راهنمای بهره وری ویندوز 10 - نکات کارشناس، ترفندها و ویژگی های پنهان در ویندوز 10 را کشف کنید
Software Engineering - Proceedings of CSI 2015
نویسنده:
سال انتشار: 2019
تعداد صفحات: 711
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 14MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

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

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

تولید اکسیژن از تنفس فضانوردان در فضا آمریکا با سلاح‌های لیزری به جنگ پهپادها می‌رود قطع صدای باد در گوش موتورسواران با کلاه ایمنی جدید آزمایش ترکیبات جدید ضدپیری برای درمان آلزایمر توالت های آینده مشاوره سلامتی می دهند! کشف کهکشان شبح در فاصله ۱۳۰ هزار سال نوری راه شیری فضاپیمای ناسا روی قمرهای مشتری و زحل فرود می آید اسکنر مافوق صوت آلزایمر را ۱۰سال زودتر تشخیص می دهد دانلود نماهنگ بسیار زیبای سرانجام، با صدای حامد زمانی (به مناسبت اربعین سالار شهیدان) چین ماه مصنوعی به آسمان می فرستد تکه ای از ماه ۶۰۰ هزار دلار فروخته شد کشف راز پرواز قاصدک ها برای تولید پهپاد ربات ها در دانشگاه تدریس می کنند موبایل تاشو مجهز به اینترنت نسل پنجم عرضه می شود آینه ای که عیب های صورتتان را پیدا می کند تشخیص زردی کودک با تلفن هوشمند در ۱۰ دقیقه ماهواره مخابراتی نظامی آمریکا به مدار زمین رفت ماهواره هایی به اندازه قرص نان به آسمان می روند در مراسم نوبل ۲۰۱۸ چه گذشت؟ حقایقی درباره جایزه نوبل فیزیک طراحی ایمپلنت اختصاصی برای هر انسان تولید کاشی آنتی باکتریال با خاصیت ضدبو و خود تمیزشوندگی یافته های جدید محققان ایرانی در درمان آلزایمر پیش‌بینی ابتلا به آلزایمر با کمک هوش مصنوعی نمایشگاه کتاب های شما - تبلیغ رایگان کتاب های نویسندگان و مترجمان در سایت کتاب دانلود کتاب دانلود را در اینستاگرام دنبال کنید. تنهایی ژنتیکی است! اگر احساس جوانی می‌کنید، مغز سالم‌تری دارید باکتری های بازگشته از فضا برای زمین خطرناک هستند تصاویر ابر قایق تفریحی مخصوص سفر به قطب جنوب

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

عضویت در سایت

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

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

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

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


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