جستجو در کتاب ها   جستجو در مقالات   جستجو در کل سایت
Dynamic Logic - New Trends and Applications - First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
نویسنده:
سال انتشار: 2018
تعداد صفحات: 211
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 3MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

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

This book constitutes the proceedings of the First International Workshop on Dynamic Logic, DALI 2017, held in Brasilia, Brazil, in September 2017. Both its theoretical relevance and practical potential make Dynamic Logic a topic of interest in a number of scientific venues, from wide-scope software engineering conferences to modal logic specific events. The workshop is promoted by an R&D project on dynamic logics for cyber-physical systems. The 12 full papers presented in this volume were carefully reviewed and selected from 25 submissions. The workshop is based on the project DaLí – Dynamic logics for cyber-physical systems: towards contract based design

 

دانلود کتاب منطق پویا - روند ها و برنامه های جدید Dynamic Logic - New Trends and Applications - First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings


دانلود کتاب منطق پویا , روند ها و برنامه های جدید , دانلود کتاب , منطق پویا , روند ها و برنامه های جدید , Dynamic Logic , New Trends and Applications , First International Workshop, DALI 2017, Brasilia, Brazil, September 23, 24, 2017, Proceedings
علوم مهندسی و فناوری>سایر موارد

نام و نام خانوادگی:
متن:
تصویر:
Discrete Fourier Analysis and Wavelets - Applications to Signal and Image Processing, Second Edition
نویسنده:
سال انتشار: 2018
تعداد صفحات: 455
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 6MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب آنالیز فوریه گسسته و موجک ها - برنامه های کاربردی برای پردازش سیگنال و تصویر
Multidimensional Analysis of Conversational Telephone Speech
نویسنده:
سال انتشار: 2018
تعداد صفحات: 195
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 3MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب آنالیز چند بعدی گفتار مکالمه تلفنی
Advances in Contact Angle, Wettability and Adhesion, III
نویسنده:
سال انتشار: 2018
تعداد صفحات: 407
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 7MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب پیشرفت ها در زاویه تماس، رطوبت و چسبندگی، III
Envisioning Holograms - Design Breakthrough Experiences for Mixed Reality
نویسنده:
سال انتشار: 2017
تعداد صفحات: 321
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 16MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب تجسم هولوگرام - تجارب موفقیت آمیز طراحی برای واقعیت مخلوط
Engineering Women - Re-visioning Women’s Scientific Achievements and Impacts
نویسنده:
سال انتشار: 2017
تعداد صفحات: 97
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 2.5MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب مهندسی زنان - بازبینی دستاوردها و تاثیرات علمی زنان
Modeling, Simulation, and Optimization
نویسنده:
سال انتشار: 2018
تعداد صفحات: 133
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 3MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب مدل سازی، شبیه سازی و بهینه سازی
Modeling of Gas-to-Particle Mass Transfer in Turbulent Flows
نویسنده:
سال انتشار: 2018
تعداد صفحات: 71
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 3MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب مدل سازی انتقال جرمی گاز به ذره در جریانات آشفته
Mobility of Visually Impaired People - Fundamentals and ICT Assistive Technologies
نویسنده:
سال انتشار: 2018
تعداد صفحات: 659
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 10MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب تحرک افراد مبتلا به آسیب دید - اصول و فن آوری های کمک رسانی ICT
Mobility Analytics for Spatio-Temporal and Social Data - First International Workshop, MATES 2017, Munich, Germany, September 1, 2017, Revised Selected Papers
نویسنده:
سال انتشار: 2018
تعداد صفحات: 186
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 15MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب علم تجزیه و تحلیل تحرک برای داده های فضایی زمانی و اجتماعی
Embedded Systems Architecture for Agile Development - A Layers-Based Model
نویسنده:
سال انتشار: 2017
تعداد صفحات: 222
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 6MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب معماری سیستم های جاسازی شده برای توسعه سریع العمل - یک مدل مبتنی بر لایه

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

عضویت در سایت

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

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

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

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


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