Prodotto Ricercato: testeur de composants
This book constitutes the proceedings of the 39th IFIP WG 6.1 International Conference on Formal Te…
A partire da
Disponibilità
This book constitutes the refereed proceedings of the 42nd IFIP WG 6.1 International Conference on …
This book constitutes the proceedings of the 40th IFIP WG 6.1 International Conference on Formal Te…
This book focuses on the use of natural fiber composites (NFCs) in the automotive industry. The new…
The brief provides a quick introduction to the dynamic modelling of power system components. It giv…
In this book we develop powerful techniques based on formal methods for the verification of correct…
This book written by a world-renowned expert with more than forty years of active gas turbine R&D e…
This book provides a comprehensive introduction to the current status and future trends of material…
French Avec portrait en héliogravure. Paris, 1907. 692 Pages. Belle reliure demi-toile. Titre en or…