Prodotto Ricercato: comprobador de componentes
This book provides a comprehensive introduction to the current status and future trends of material…
A partire da
Disponibilità
The brief provides a quick introduction to the dynamic modelling of power system components. It giv…
This book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal Te…
Pro ASP.NET 3.5 Server Controls and AJAX Components is a reference for the serious ASP.NET develope…
In this book we develop powerful techniques based on formal methods for the verification of correct…
This book constitutes the refereed proceedings of the 43rd IFIP WG 6.1 International Conference on …
This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Te…
This book presents the theory, analysis, and design of ultra-wideband (UWB) radar and sensor system…
This book constitutes the proceedings of the 38th IFIP WG 6.1 International Conference on Formal Te…
This book presents modern approaches to improving the energy efficiency, safety and environmental p…
