جستجو در کتاب ها   جستجو در مقالات   جستجو در کل سایت
Models and Analysis in Distributed Systems
نویسنده:
سال انتشار: 2011
تعداد صفحات: 346
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 3.5MB
رمز فایل: www.ketabdownload.com

دانلود رایگان

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

Nowadays, distributed systems are increasingly present, for public software applications as well as critical systems. software applications as well as critical systems. This title and Distributed Systems: Design and Algorithms – from the same editors – introduce the underlying concepts, the associated design techniques and the related security issues. The objective of this book is to describe the state of the art of the formal methods for the analysis of distributed systems. Numerous issues remain open and are the topics of major research projects. One current research trend consists of profoundly mixing the design, modeling, verification and implementation stages. This prototyping-based approach is centered around the concept of model refinement. This book is more specifically intended for readers that wish to gain an overview of the application of formal methods in the design of distributed systems. Master’s and PhD students, as well as engineers in industry, will find a global understanding of the techniques as well as references to the most up-to-date works in this area

دانلود کتاب مدل ها و تجزیه و تحلیل در سیستم های توزیع شده مدل ها و آنالیز در سیستم های توزیع شده Models and Analysis in Distributed Systems


Models and Analysis in Distributed Systems, مدل ها و آنالیز در سیستم های توزیع شده, دانلود کتاب مدل ها و تجزیه و تحلیل در سیستم های توزیع شده
علوم مهندسی و فناوری>سایر موارد

نام و نام خانوادگی:
متن:
تصویر:
3D Concrete Printing Technology
نویسنده:
سال انتشار: 2019
تعداد صفحات: 431
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 35MB
رمز فایل: www.ketabdownload.com
قیمت: 150,000ريال

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

دانلود کتاب فناوری چاپ بتن سه بعدی بتن
Advanced Mobility and Transport Engineering
نویسنده:
سال انتشار: 2012
تعداد صفحات: 253
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 4.5MB
رمز فایل: www.ketabdownload.com

دانلود رایگان توضیحات بیشتر

دانلود کتاب تحرک پیشرفته و مهندسی حمل و نقل
The Automotive Body Manufacturing Systems and Processes
نویسنده:
سال انتشار: 2011
تعداد صفحات: 383
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 23MB
رمز فایل: www.ketabdownload.com

دانلود رایگان توضیحات بیشتر

دانلود کتاب سیستم ها و فرآیند های ساخت بدنه خودرو
Code of Practice for Project Management for Construction and Development, Fifth Edition
نویسنده:
سال انتشار: 2014
تعداد صفحات: 341
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 1MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب کد عمل برای مدیریت پروژه برای ساخت و توسعه
Classics in Cartography - Reflections on Influential Articles from Cartographica
نویسنده:
سال انتشار: 2011
تعداد صفحات: 415
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 40MB
رمز فایل: www.ketabdownload.com

دانلود رایگان توضیحات بیشتر

دانلود کتاب کلاسیک در کارتوگرافی (نقشه کشی) - بازتاب ها در مقالات مهم از کارتوگرافیکا
Active Disturbance Rejection Control for Nonlinear Systems - An Introduction
نویسنده:
سال انتشار: 2016
تعداد صفحات: 356
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 8.5MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب کنترل رد اختلال فعال برای سیستم های غیرخطی - مقدمه
Chi-squared Goodness-of-fit Tests for Censored Data, Volume 3
نویسنده:
سال انتشار: 2017
تعداد صفحات: 153
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 1.5MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب آزمایش های خوب بودن مربع خی برای داده های سانسور شده، جلد 3
Accelerated Reliability and Durability Testing Technology
نویسنده:
سال انتشار: 2012
تعداد صفحات: 421
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 3.5MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب فناوری تست قابلیت اطمینان و دوام تسریع شده
Trip Generation Manual
نویسنده:
سال انتشار: 2017
تعداد صفحات: 70
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 6MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب راهنمای تولید سفر
Radical Technologies - The Design of Everyday Life
نویسنده:
سال انتشار: 2017
تعداد صفحات: 292
زبان فایل: انگلیسی
فرمت فایل: pdf
حجم فایل: 1.5MB
رمز فایل: www.ketabdownload.com
قیمت: 100,000ريال

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

دانلود کتاب فناوری های رادیکال - طراحی زندگی روزمره

علم آنلاین : آخرین یافته های علمی جهان
خبرهای دست اول از منابع معتبر -- با علم آنلاین در علم آنلاین باشید!

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

عضویت در سایت

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

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

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

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


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