Formal methods applied to industrial complex systems /

Formal methods applied to industrial complex systems /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Άλλοι συγγραφείς:	Boulanger, Jean-Louis (Επιμελητής έκδοσης)
Μορφή:	Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	London : Hoboken, NJ : ISTE, Ltd. ; Wiley, 2014.
Σειρά:	Computer engineering series (London, England)
Θέματα:	Formal methods (Computer science) Industrial management > Mathematical models. TECHNOLOGY & ENGINEERING > Engineering (General) TECHNOLOGY & ENGINEERING > Reference. Electronic books.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Formal methods applied to complex systems : implementation of the B Method /
Έκδοση: (2014)

Formal methods : industrial use from model to the code /
Έκδοση: (2012)

Modelling under risk and uncertainty : an introduction to statistical, phenomenological, and computational methods /
ανά: Rocquigny, Etienne de
Έκδοση: (2012)

Industrial used of formal method : formal verification /
Έκδοση: (2012)

Discrete element method to model 3D continuous materials /
ανά: Jebahi, Mohamed, κ.ά.
Έκδοση: (2015)

Monitoring and control of information-poor systems /
ανά: Dexter, A. L. (Arthur L.)
Έκδοση: (2012)

Formal methods for industrial critical systems : a survey of applications /
Έκδοση: (2013)

Non-smooth deterministic or stochastic discrete dynamical systems : applications to models with friction or impact /
ανά: Bastien, Jérôme
Έκδοση: (2013)

Formulas for dynamics, acoustics and vibration /
ανά: Blevins, Robert D.
Έκδοση: (2015)

Noise and vibration analysis : signal analysis and experimental procedures /
ανά: Brandt, Anders
Έκδοση: (2011)

Diversity and non-integer differentiation for system dynamics /
ανά: Oustaloup, Alain
Έκδοση: (2014)

Analytical and numerical methods for vibration analyses /
ανά: Wu, Jong-Shyong
Έκδοση: (2013)

Applied reliability engineering and risk analysis : probabilistic models and statistical inference /
Έκδοση: (2014)

Structural dynamic analysis with generalized damping models : identification /
ανά: Adhikari, Sondipon
Έκδοση: (2014)

Applied mathematics for science and engineering /
ανά: Glasgow, Larry A., 1950-
Έκδοση: (2014)

Heat and moisture transfer between human body and environment /
ανά: Fohr, Jean-Paul
Έκδοση: (2015)

Hilbert transform applications in mechanical vibration /
ανά: Feldman, Michael, 1951-
Έκδοση: (2011)

Mesoscale modeling in chemical engineering.
Έκδοση: (2015)

Mesoscale modeling in chemical engineering.
Έκδοση: (2015)

Model based systems engineering : fundamentals and methods /
ανά: Micouin, Patrice
Έκδοση: (2013)

Advanced kalman filtering, least-squares and modeling : a practical handbook /
ανά: Gibbs, Bruce. P., 1946-
Έκδοση: (2011)

Molecular modeling of corrosion processes : scientific development and engineering applications /
Έκδοση: (2015)

Handbook in Monte Carlo simulation : applications in financial engineering, risk management, and economics /
ανά: Brandimarte, Paolo
Έκδοση: (2014)

Optical design using Excel : practical calculations for laser optical systems /
ανά: Nakajima, Hiroshi
Έκδοση: (2015)

Optimization in engineering sciences : approximate and metaheuristic methods /
ανά: Stefanoiu, Dan
Έκδοση: (2014)

Managing and engineering complex technological systems /
ανά: Zonnenshain, Avigdor
Έκδοση: (2015)

Statistical analysis of profile monitoring /
ανά: Noorossana, Rassoul, 1959-
Έκδοση: (2011)

A two-step perturbation method in nonlinear analysis of beams, plates, and shells /
ανά: Shen, Hui-Shen
Έκδοση: (2013)

Extended finite element method : theory and applications /
ανά: Khoei, Amir R.
Έκδοση: (2015)

Asymptotic methods in the theory of plates with mixed boundary conditions /
ανά: Andrianov, I. V. (Igorʹ Vasilʹevich), 1948-
Έκδοση: (2014)

Mathematical modeling in science and engineering : an axiomatic approach /
ανά: Herrera, Ismael, κ.ά.
Έκδοση: (2012)

Modeling and Simulation Support for System of Systems Engineering Applications
Έκδοση: (2015)

CFD modeling and simulation in materials processing /
Έκδοση: (2012)

Industrial statistics with Minitab /
ανά: Grima Cintas, Pedro
Έκδοση: (2012)

Process engineering and industrial management /
Έκδοση: (2012)

Ceramic materials for energy applications IV /
Έκδοση: (2015)

Numerical analysis with applications in mechanics and engineering /
ανά: Teodorescu, P. P.
Έκδοση: (2013)

Radiation processing of polymer materials and its industrial applications /
ανά: Makuuchi, Keizou
Έκδοση: (2011)

Modeling of complex systems : application to aeronautical dynamics /
ανά: Grunn, Emmanuel
Έκδοση: (2013)

Modern industrial statistics : with applications in R, MINITAB and JMP /
ανά: Kenett, Ron
Έκδοση: (2014)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών