Søk: 'Formal methods in systems engineering'
-
Formal methods in systems engineering
ISBN 9783540197515 , 1993 , Peter Ryan
-
Formal Methods for Open Object-Based Distributed Systems
ISBN 9783540204916 , 2003 , Elie Najm, Uwe Nestmann, Perdita Stevens
-
Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude
ISBN 9781447166863 , 2018 , Peter Csaba Olveczky
-
Engineering Systems Integration: Theory, Metrics, and Methods
ISBN 9781439852897 , 2016
-
Engineering Systems Integration: Theory, Metrics, and Methods
ISBN 9781439852880 , 2012 , Gary O. Langford
-
Control Systems Engineering
ISBN 9781119590132 , 2019 , Norman S. Nise
-
Mechatronics: Electronic Control Systems in Mechanical and Electrical Engineering
ISBN 9780273742869 , 2011 , W. Bolton
-
Formal Methods Applications and Technology
ISBN 9783540709510 , 2007 , Boudewijn R. Haverkort, Lubos Brim,m.fl.
-
Biopolymer Methods in Tissue Engineering
ISBN 9781617372803 , 2010 , Anthony P. Hollander, Paul V. Hatton
-
Biopolymer Methods in Tissue Engineering
ISBN 9780896039674 , 2003 , Anthony P. Hollander, Paul V. Hatton
-
The Engineering Design of Systems: Models and Methods
ISBN 9780470164020 , 2009 , Dennis M. Buede
-
Mathematical Methods in Engineering and Physics
ISBN 9781118449608 , 2015 , Gary N. Felder, Kenny M. Felder
-
Research Methods in Politics
ISBN 9780230019850 , 2008 , Peter Burnham, Wyn Grant, Zig Layton-Henry
-
Control Systems Engineering
ISBN 9781118170519 , 2013 , Norman S. Nise
-
Agile Systems Engineering
ISBN 9780128021200 , 2015 , Bruce Powel Douglass
-
Monte Carlo Methods in Financial Engineering
ISBN 9781441918222 , 2010 , Paul Glasserman
-
Spacecraft Systems Engineering
ISBN 9780470750124 , 2011 , Peter Fortescue, John Stark
-
Human Factors in Systems Engineering
ISBN 9780471137825 , 1996 , Alphonse Chapanis
-
Probabilistic Methods in Structural Engineering
ISBN 9780412222306 , 1984 , Giuliano Augusti, Alessandro Baratta,m.fl.
-
Computational Methods in Engineering and Science
ISBN 9783540482598 , 2006 , Z. H. Yao, M. W. Yuan
-
Systems Design and Engineering
ISBN 9781498751261 , 2015 , G. Maarten Bonnema, Jan F. Broenink
-
A Formal Model of Visualization in Computer Graphics Systems
ISBN 9783540523956 , 1990 , Tamiya Onodera, Satoru Kawai
-
Communication Systems Engineering
ISBN 9780130950079 , 2002 , John G. Proakis, Masoud Salehi
-
Monte Carlo Methods in Financial Engineering
ISBN 9780387004518 , 2003 , Glasserman Paul
-
Nise's Control Systems Engineering
ISBN 9781119382973 , 2017
-
Control Systems Engineering
ISBN 9780471366010 , 2000 , Norman S. Nise
-
Numerical Methods in Engineering with Python 3
ISBN 9781107033856 , 2013 , 3. utgave , Kiusalaas Jaan
-
Statistical Methods for Recommender Systems
ISBN 9781107036079 , 2016 , Deepak K. Agarwal, Bee-Chung Chen
-
Mathematical Methods 1
ISBN 9781839610004 , 2019 , 1. utgave , Hans Hornaes
-
Communication Systems Engineering
ISBN 9780130617934 , 2002 , John G. Proakis, Masoud Salehi