موضوعات کتاب ها

دانلود کتاب » علوم پایه، مهندسی و فناوری » آمار، جبر و ریاضیات

دانلود کتاب تئوری احتمالات نرمال و کاربردها با استفاده از اثبات قضیه

( Formalized Probability Theory and Applications Using Theorem Proving )
دانلود کتاب تئوری احتمالات نرمال و کاربردها با استفاده از اثبات قضیه
Formalized Probability Theory and Applications Using Theorem Proving
نویسنده:
زبان: انگلیسی
مترجم: ...
سال انتشار: 2015
تعداد صفحات: 298
فرمت فایل: PDF
حجم فایل: 3.4 مگابایت
قیمت: رایگان
   
دانلود کتاب

دانلود کتاب

Scientists and engineers often have to deal with systems that exhibit random or unpredictable elements and must effectively evaluate probabilities in each situation. Computer simulations, while the traditional tool used to solve such problems, are limited in the scale and complexity of the problems they can solve. Formalized Probability Theory and Applications Using Theorem Proving discusses some of the limitations inherent in computer systems when applied to problems of probabilistic analysis, and presents a novel solution to these limitations, combining higher-order logic with computer-based theorem proving. Combining practical application with theoretical discussion, this book is an important reference tool for mathematicians, scientists, engineers, and researchers in all STEM fields.

www.downloadketab.com

دانلود کتاب ، کتاب دانلود ،  دانلود کتاب راهنمای انتقال و پردازش گاز طبیعی ، دانلود رایگان ، دانلود کتاب دانشگاهی، دانلود مقاله ، مقاله رایگان  کتاب رایگان ٬ دانلود رایگان کتابهای فارسی ، شیمی تجزیه ، شیمی معدنی ، شیمی آلی ، شیمی فیزیک ، الکترو شیمی ، رایانه و فناوری اطلاعات ، علوم زمین و معدن ،  زمین شناسی و ژئوفیزیک ، خاک شناسی ، نجوم و کیهان شناسی ، علوم هوا و اقیانوس شناسی ، مهندسی صنایع ، مهندسی هوا فضا ، مهندسی پزشکی ، مهندسی شیمی ، مهندسی عمران و راه ساختمان ، مهندسی برق و الکترونیک ، مهندسی محیط زیست ، مهندسی مکانیک، مهندسی انرژی  ،   GIS سنجش از راه دور ، مهندسی نقلیه ، علم مواد ، آمار، جبر و ریاضیات ، نانو تکنولوژی و نانو مواد ، فیزیک ، رباتیک ، تکنولوژی ، معماری ، صنایع نساجی ، متالوژی ، آب شناسی ، پتروشیمی، نفت و گاز ،  مخابرات و فناوری ارتباطات ٬ فروشگاه اینترنتی ٬ خرید اینترنتی ٬ فروشگاه اینترنتی کتاب ٬ فروشگاه ٬ خرید اینترنتی کتاب

 

خوانندگان این کتاب، به کتابهای زیر هم علاقه دارند ...
دانلود کتاب جبر خطی و کاربردهای آن
Linear Algebra and Its Applications, 4th Edition
قیمت: 25,000 ریال
مقدمه ای بر توپولوژی و هندسه
Introduction to Topology and Geometry

مقدمه ای بر توپولوژی و هندسه

نویسنده: 
موضوع: , علوم پایه، مهندسی و فناوری , آمار، جبر و ریاضیات
سال انتشار:

قیمت: 20,000 ريال
دانلود کتاب رگرسیون کوانتایل: نظریه و کاربردها
Quantile Regression: Theory and Applications

دانلود کتاب رگرسیون کوانتایل: نظریه و کاربردها

نویسنده: 
موضوع: , علوم پایه، مهندسی و فناوری , آمار، جبر و ریاضیات
سال انتشار:

قیمت: 35,000 ریال
		دانلود کتاب روش های آماری برای معادلات دیفرانسیل تصادفی
Statistical Methods for Stochastic Differential Equations
قیمت: 30,000 ریال
دانلود کتاب جبر خطی و کاربرد ها
LINEAR ALGEBRA WITH APPLICATIONS
قیمت: 25,000 ریال
 کاربرد های از زمان گسسته زنجیر مارکف و فرآیندهای پواسون مدلسازی در مطالعات آلودگی هوا
Applications of Discrete-time Markov Chains and Poisson Processes to Air Pollution Modeling and Studies (SpringerBriefs in Mathematics)
قیمت: 35,000 ریال