Abstraction, refinement and proof for probabilistic systems /
| Main Author: | McIver, Annabelle |
|---|---|
| Corporate Author: | SpringerLink (Online service) |
| Other Authors: | Morgan, Carroll, 1952- |
| Format: | eBook |
| Language: | English |
| Published: |
New York :
Springer,
[2005]
|
| Series: | Monographs in computer science.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book Publisher description |
Similar Items
Advanced fuzzy logic approaches in engineering science /
Published: (2019)
Published: (2019)
Demystifying numerical models : step-by step modeling of engineering systems /
by: Mo, John P. T., et al.
Published: (2019)
by: Mo, John P. T., et al.
Published: (2019)
Probability and statistics for engineers /
by: Miller, Irwin, 1928-
Published: (1985)
by: Miller, Irwin, 1928-
Published: (1985)
Engineering computation : an introduction using MATLAB and Excel /
by: Musto, Joseph C., et al.
Published: (2021)
by: Musto, Joseph C., et al.
Published: (2021)
Advanced engineering mathematics /
by: O'Neil, Peter V.
Published: (2003)
by: O'Neil, Peter V.
Published: (2003)
Singular perturbation theory : mathematical and analytical techniques with applications to engineering /
by: Johnson, R. S. (Robin Stanley), 1944-
Published: (2005)
by: Johnson, R. S. (Robin Stanley), 1944-
Published: (2005)
The probability companion for engineering and computer science /
by: Prugel-Bennett, Adam, 1963-
Published: (2019)
by: Prugel-Bennett, Adam, 1963-
Published: (2019)
Data analysis using the method of least squares : extracting the most information from experiments /
by: Wolberg, John R.
Published: (2006)
by: Wolberg, John R.
Published: (2006)
Decentralized systems with design constraints /
by: Mahmoud, Magdi S.
Published: (2011)
by: Mahmoud, Magdi S.
Published: (2011)
Systems engineering : a 21st century systems methodology /
by: Hitchins, Derek K.
Published: (2007)
by: Hitchins, Derek K.
Published: (2007)
System engineering management /
by: Blanchard, Benjamin S., et al.
Published: (2016)
by: Blanchard, Benjamin S., et al.
Published: (2016)
Transaction-Level Power Modeling /
by: Darwish, Amr Baher
Published: (2020)
by: Darwish, Amr Baher
Published: (2020)
Transdisciplinary systems engineering : exploiting convergence in a hyper-connected world /
by: Madni, Azad M.
Published: (2018)
by: Madni, Azad M.
Published: (2018)
Systems engineering : design principles and models /
by: Liu, Dahai
Published: (2016)
by: Liu, Dahai
Published: (2016)
Systems engineering in research and industrial practice : foundations, developments and challenges /
Published: (2019)
Published: (2019)
Requirements engineering /
by: Hull, Elizabeth, 1953-
Published: (2004)
by: Hull, Elizabeth, 1953-
Published: (2004)
Model-based systems engineering with OPM and SysML /
by: Dori, Dov
Published: (2016)
by: Dori, Dov
Published: (2016)
Interactive granular computations in networks and systems engineering : a practical perspective /
by: Jankowski, Andrzej
Published: (2017)
by: Jankowski, Andrzej
Published: (2017)
Systems engineering for ethical autonomous systems /
by: Gillespie, Anthony
Published: (2019)
by: Gillespie, Anthony
Published: (2019)
Systems design and engineering : facilitating multidisciplinary development projects /
by: Bonnema, G. Maarten, et al.
Published: (2016)
by: Bonnema, G. Maarten, et al.
Published: (2016)
No more muddling through : mastering complex projects in engineering and management /
by: Züst, Rainer, 1959-
Published: (2006)
by: Züst, Rainer, 1959-
Published: (2006)
Introduction to engineering design and problem solving /
by: Burghardt, M. David
Published: (1999)
by: Burghardt, M. David
Published: (1999)
Probabilistic symmetries and invariance principles /
by: Kallenberg, Olav
Published: (2005)
by: Kallenberg, Olav
Published: (2005)
Decomposition techniques in mathematical programming : engineering and science applications /
Published: (2006)
Published: (2006)
Fuzzy logic applications in engineering science /
by: Harris, J. (John), 1929-2003
Published: (2006)
by: Harris, J. (John), 1929-2003
Published: (2006)
Monitoring and control of information-poor systems /
by: Dexter, A. L. (Arthur L.)
Published: (2012)
by: Dexter, A. L. (Arthur L.)
Published: (2012)
Advanced engineering mathematics /
by: Kreyszig, Erwin
Published: (1979)
by: Kreyszig, Erwin
Published: (1979)
Hardware/software codesign /
by: Schaumont, Patrick R. (Patrick Robert)
Published: (2010)
by: Schaumont, Patrick R. (Patrick Robert)
Published: (2010)
Emergent behavior in complex systems engineering : a modeling and simulation approach /
Published: (2018)
Published: (2018)
Engineering design in the multi-discipline era : a systems approach /
by: Wiese, Paul R.
Published: (2003)
by: Wiese, Paul R.
Published: (2003)
Systems approach to engineering design /
by: Sydenham, P. H.
Published: (2004)
by: Sydenham, P. H.
Published: (2004)
Advances in reliability and system engineering /
Published: (2017)
Published: (2017)
Developments and trends in intelligent technologies and smart systems /
Published: (2018)
Published: (2018)
Synchronization control for large-scale network systems /
by: Wu, Yuanqing, et al.
Published: (2016)
by: Wu, Yuanqing, et al.
Published: (2016)
System dynamics : modeling, analysis, simulation, design /
by: Doebelin, Ernest O.
Published: (1998)
by: Doebelin, Ernest O.
Published: (1998)
Data-driven technology for engineering systems health management : design approach, feature construction, fault diagnosis, prognosis, fusion and decisions /
by: Niu, Gang
Published: (2017)
by: Niu, Gang
Published: (2017)
No fault found : the search for the root cause /
by: Kahn, Samir, et al.
Published: (2015)
by: Kahn, Samir, et al.
Published: (2015)
Advances in Systems Engineering /
Published: (2016)
Published: (2016)
Intelligence-based systems engineering /
by: Tolk, Andreas
Published: (2011)
by: Tolk, Andreas
Published: (2011)
Random data : analysis and measurement procedures /
by: Bendat, Julius S.
Published: (2010)
by: Bendat, Julius S.
Published: (2010)