Sách điện tử > Khoa học > Toán > Osman Hasan & Sofiene Tahar: Formalized Probability Theory and Applications Using Theorem Proving (ePUB)

Osman Hasan & Sofiene Tahar
Formalized Probability Theory and Applications Using Theorem Proving [EPUB ebook]

Ủng hộ

Bìa của Osman Hasan & Sofiene Tahar: Formalized Probability Theory and Applications Using Theorem Proving (ePUB)

€250.94

Mua cuốn sách điện tử này và nhận thêm 1 cuốn MIỄN PHÍ!

định dạng EPUB ● Trang 298 ● ISBN 9781466683174 ● Nhà xuất bản IGI Global ● Được phát hành 2015 ● Có thể tải xuống 3 lần ● Tiền tệ EUR ● TÔI 8056416 ● Sao chép bảo vệ Adobe DRM

Yêu cầu trình đọc ebook có khả năng DRM

Thêm sách điện tử từ cùng một tác giả / Biên tập viên

Osman Sofiene Osman Hasan Sofiene Tahar

50.053 Ebooks trong thể loại này

Bìa của Jitendra R. (National Aerospace Laboratories (CSIR-NAL), India) Raol & Jatinder (National Aerospace Laboratories (CSIR-NAL), India) Singh: Flight Mechanics Modeling and Analysis

Jitendra R. (National Aerospace Laboratories (CSIR-NAL), India) Raol & Jatinder (National Aerospace Laboratories (CSIR-NAL), India) Singh: Flight Mechanics Modeling and Analysis

Flight Mechanics Modeling and Analysis comprehensively covers flight mechanics and flight dynamics using a systems approach. This book focuses on applied mathematics and control theory in its discuss …

Bìa của Jason M. (George Mason University, Fairfax, VA USA) Kinser: Image Operators

Jason M. (George Mason University, Fairfax, VA USA) Kinser: Image Operators

For decades, researchers have been developing algorithms to manipulate and analyze images. From this, a common set of image tools now appear in many high-level programming languages. Consequently, th …

Bìa của Charles (Indiana State University, Terre Haute, USA) Roberts: Elementary Differential Equations

Charles (Indiana State University, Terre Haute, USA) Roberts: Elementary Differential Equations

Elementary Differential Equations, Second Edition is written with the knowledge that there has been a dramatic change in the past century in how solutions to differential equations are calculat …

Bìa của Gabriel (Point Pleasant, New Jersey, USA) Abellan & Nelson (Point Pleasant, New Jersey, USA) Bolivar: Quantum Mechanics

Gabriel (Point Pleasant, New Jersey, USA) Abellan & Nelson (Point Pleasant, New Jersey, USA) Bolivar: Quantum Mechanics

This volume will act as a guide through the various aspects of quantum mechanics. It not only covers the basics but also addresses new themes developed in the field of quantum mechanics in recent yea …

Bìa của Lance D. (Metro Transport Directorate, Perth, Western Australia) Chambers: Practical Handbook of Genetic Algorithms

Lance D. (Metro Transport Directorate, Perth, Western Australia) Chambers: Practical Handbook of Genetic Algorithms

Practical Handbook of Genetic Algorithms, Volume 3: Complex Coding Systems contains computer-code examples for the development of genetic algorithm systems – compiling them from an array of practitio …

Bìa của Vladislav V Kravchenko & Michael Shapiro: Integral Representations For Spatial Models of Mathematical Physics

Vladislav V Kravchenko & Michael Shapiro: Integral Representations For Spatial Models of Mathematical Physics

This book provides a new mathematical theory for the treatment of an ample series of spatial problems of electrodynamics, particle physics, quantum mechanics and elasticity theory. This technique pro …

Bìa của Frederick Bloom: Mathematical Problems of Classical Nonlinear Electromagnetic Theory

Frederick Bloom: Mathematical Problems of Classical Nonlinear Electromagnetic Theory

A survey of some problems of current interest in the realm of classical nonlinear electromagnetic theory. …

Bìa của Vineetha (CSIR-NAL, Kodihalli, Bangalore, India) Joy & Raveendranath U. (CSIR-NAL, Kodihalli, Bangalore, India) Nair: Optimization of Multilayered Radar Absorbing Structures (RAS) using Nature Inspired Algorithm

Vineetha (CSIR-NAL, Kodihalli, Bangalore, India) Joy & Raveendranath U. (CSIR-NAL, Kodihalli, Bangalore, India) Nair: Optimization of Multilayered Radar Absorbing Structures (RAS) using Nature Inspired Algorithm

Stealth technology is a crucial pre-requisite in the combat zone, where swiftness, surprise and initiative are the decisive elements for survivability. The supreme goal here is to reduce the visibili …

Bìa của Nadiya (Silesian University of Technology, Poland) Gubareni: Introduction to Modern Algebra and Its Applications

Nadiya (Silesian University of Technology, Poland) Gubareni: Introduction to Modern Algebra and Its Applications

The book provides an introduction to modern abstract algebra and its applications. It covers all major topics of classical theory of numbers, groups, rings, fields and finite dimensional algebras. Th …

Bìa của Abduhamid Dzhuraev: Degenerate and Other Problems

Abduhamid Dzhuraev: Degenerate and Other Problems

This Monograph contains a collection of problems arising in partial differential equations investigated by means of complex analysis approached in elementary ways. …

Trang tiếp theo >>>