جستجو در کتاب ها   جستجو در مقالات (انگلیسی سرچ کنید)  جستجو در کل سایت
Logic, Language, and Computation - 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers
نویسنده:
سال انتشار: 2015
تعداد صفحات: 346
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 18.5MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

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

This book constitutes the refereed proceedings of the 10th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2013, held in Gudauri, Georgia, in September 2013. The conference series is centered around the interaction between logic, language and computation. The contributions represent these three fields and the symposia aim to foster interaction between them.The book consists of 16 papers that were carefully reviewed and selected from 26 submissions. Each paper has passed through a rigorous peer-review process before being accepted for publication. The volume also contains two summaries of the tutorials that took place at the symposium: the one on admissible rules and the one on the formal semantics of aspectual meaning from a cross-linguistic perspective

 

دانلود کتاب منطق، زبان، و محاسبات Logic, Language, and Computation - 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers


دانلود کتاب منطق، زبان، و محاسبات , دانلود کتاب , منطق، زبان، و محاسبات , Logic, Language, and Computation , 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23, 27, 2013. Revised Selected Papers , کتاب دانلود
علوم مهندسی و فناوری>رایانه، اینترنت و فناوری اطلاعات

نام و نام خانوادگی:
متن:
تصویر:
Introducing Bootstrap 4
نویسنده:
سال انتشار: 2016
تعداد صفحات: 226
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 4MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب معرفی بوت استرپ 4
Internet of Vehicles – Technologies and Services - Third International Conference, IOV 2016, Nadi, Fiji, December 7–10, 2016, Proceedings
نویسنده:
سال انتشار: 2016
تعداد صفحات: 254
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 28.5MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب اینترنت وسایل نقلیه - فن آوری ها و خدمات
Invasive Tightly Coupled Processor Arrays
نویسنده:
سال انتشار: 2016
تعداد صفحات: 165
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 6.5MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب آرایه های پردازشگر محکم متصل تهاجمی
Information Theoretic Security - 9th International Conference, ICITS 2016, Tacoma, WA, USA, August 9-12, 2016, Revised Selected Papers
نویسنده:
سال انتشار: 2016
تعداد صفحات: 300
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 4MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب امنیت تئورتیک اطلاعات
High Performance Computing in Science and Engineering 16
نویسنده:
سال انتشار: 2016
تعداد صفحات: 665
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 38MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب محاسبات با کارایی بالا در علم و مهندسی
Hiding Data - Selected Topics - Rudolf Ahlswede’s Lectures on Information Theory 3
نویسنده:
سال انتشار: 2016
تعداد صفحات: 367
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 2.5MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب پنهان کردن داده ها - موضوعات انتخاب شده - سخنرانی های رودولف آهلسوید در نظریه اطلاعات 3
HCI Redux - The Promise of Post-Cognitive Interaction
نویسنده:
سال انتشار: 2016
تعداد صفحات: 174
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 2MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب HCI Redux - وعده تعامل پس از شناخت
Hardware and Software - Verification and Testing - 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
نویسنده:
سال انتشار: 2016
تعداد صفحات: 225
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 7MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب سخت افزار و نرم افزار - تأیید و تست
Guide to Computing Fundamentals in Cyber-Physical Systems
نویسنده:
سال انتشار: 2016
تعداد صفحات: 435
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 6MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب راهنمای ارزیابی محاسبات در سیستم های سایبر فیزیکی
Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
نویسنده:
سال انتشار: 2016
تعداد صفحات: 503
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 19MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

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

ترجمه متون علمی و تخصصی علوم پایه و پزشکی  خرید اینترنتی کتاب میکروب شناسی جاوتز 2

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

عضویت در سایت

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

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

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

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


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