![Probabilistic Analysis using Theorem Proving Probabilistic Analysis using Theorem Proving](https://bilder.buecher.de/produkte/25/25530/25530705m.jpg)
Broschiertes Buch
A Higher-order Logic Based Approach
2008
VDM Verlag Dr. Müller
![Formalized Probability Theory and Applications Using Theorem Proving Formalized Probability Theory and Applications Using Theorem Proving](https://bilder.buecher.de/produkte/42/42567/42567252m.jpg)
Gebundenes Buch
26. März 2015
Information Science Reference
![Formal Analysis of Future Energy Systems Using Interactive Theorem Proving Formal Analysis of Future Energy Systems Using Interactive Theorem Proving](https://bilder.buecher.de/produkte/61/61793/61793341m.jpg)
Broschiertes Buch
1st ed. 2022
15. August 2021
Springer / Springer International Publishing / Springer, Berlin
978-3-030-78408-9
eBook, PDF | 53,95 € |
![Formal Analysis of Future Energy Systems Using Interactive Theorem Proving (eBook, PDF) Formal Analysis of Future Energy Systems Using Interactive Theorem Proving (eBook, PDF)](https://bilder.buecher.de/produkte/62/62426/62426657m.jpg)
eBook, PDF
13. August 2021
Springer International Publishing
Ähnliche Artikel
![Probabilistic Approach to Hydraulic Analysis and Modeling Probabilistic Approach to Hydraulic Analysis and Modeling](https://bilder.buecher.de/produkte/25/25710/25710682m.jpg)
Broschiertes Buch
Modeling of 2-D velocity distribution and discharge estimation in open channel flow
2009
VDM Verlag Dr. Müller
![PROBABILISTIC PERFORMANCE PREDICTION OF FLEXIBLE PAVEMENTS PROBABILISTIC PERFORMANCE PREDICTION OF FLEXIBLE PAVEMENTS](https://bilder.buecher.de/produkte/26/26541/26541788m.jpg)
Broschiertes Buch
2009
VDM Verlag Dr. Müller
![PROBABILISTIC MODELING OF FAILURE IN ROCK SLOPES PROBABILISTIC MODELING OF FAILURE IN ROCK SLOPES](https://bilder.buecher.de/produkte/27/27204/27204036m.jpg)
Broschiertes Buch
A Reliability Based Modeling
2009
VDM Verlag Dr. Müller
![Probabilistic Failure Analysis of Pile Foundations Probabilistic Failure Analysis of Pile Foundations](https://bilder.buecher.de/produkte/39/39896/39896006n.jpg)
Broschiertes Buch
Reliability Estimates and Modeling of Structural Systems
27. Juni 2013
LAP Lambert Academic Publishing
![Data Fusion for WSN Using Probabilistic Method and Particle Filter Data Fusion for WSN Using Probabilistic Method and Particle Filter](https://bilder.buecher.de/produkte/54/54854/54854331n.jpg)
Broschiertes Buch
A technique to reduce your sensor data
6. Dezember 2018
LAP Lambert Academic Publishing
![Probabilistic segmentation of intravascular ultrasound sequences Probabilistic segmentation of intravascular ultrasound sequences](https://bilder.buecher.de/produkte/33/33316/33316125n.jpg)
Broschiertes Buch
Image-based method for the automatic detection of the lumen contour on 20MHz IVUS images
12. April 2011
LAP Lambert Academic Publishing
![Lectures on the Mordell-Weil Theorem Lectures on the Mordell-Weil Theorem](https://bilder.buecher.de/produkte/39/39945/39945185m.jpg)
Broschiertes Buch
3. Aufl.
13. November 2013
Vieweg+Teubner / Vieweg+Teubner Verlag
![Probabilistic Structural Mechanics Handbook Probabilistic Structural Mechanics Handbook](https://bilder.buecher.de/produkte/39/39508/39508848m.jpg)
Broschiertes Buch
Theory and Industrial Applications
Softcover reprint of the original 1st ed. 1995
21. Oktober 2012
Springer US / Springer, Berlin
![Probabilistic Safety Assessment of WWER440 Reactors Probabilistic Safety Assessment of WWER440 Reactors](https://bilder.buecher.de/produkte/40/40936/40936672m.jpg)
Gebundenes Buch
Prediction, Quantification and Management of the Risk
2014
27. Oktober 2014
Springer / Springer International Publishing / Springer, Berlin
86366458,978-3-319-08547-0
![Probabilistic Maneuver Recognition in Traffic Scenarios Probabilistic Maneuver Recognition in Traffic Scenarios](https://bilder.buecher.de/produkte/42/42060/42060338n.jpg)
Broschiertes Buch
5. Januar 2015
KIT Scientific Publishing
Ähnlichkeitssuche: Fact®Finder von OMIKRON