system of notations
1Formal Methods for Industrial Critical Systems. A Survey of Applications , Margaria Tiziana
Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all… 7332.55 руб электронная книга2Diagrammatic Reasoning in AI , Robbie Nakatsu T.
Pioneering work shows how using Diagrams facilitates the design of better AI systems The publication of Diagrammatic Reasoning in AI marks an important milestone for anyone seeking to design… 10926.64 руб электронная книга3Introduction to Bayesian Estimation and Copula Models of Dependence , Alexander Kniazev
Presents an introduction to Bayesian statistics, presents an emphasis on Bayesian methods (prior and posterior), Bayes estimation, prediction, MCMC,Bayesian regression, and Bayesian analysis of… 8879.91 руб электронная книга