The book focuses on the practical aspects of computational electrodynamics. A short review of electromagnetic field theory ...
Lire la suite
Provides significant information on some of the promising edible medicinal plants and how these possess both nutritive as ...
Lire la suite
Welcome to the post proceedings of the First International Conference on Embedded Software and Systems (ICESS 2004), which ...
Lire la suite
Embedded systems have gained an enormous amount of processing power and functionality. Many of the formerly external components ...
Lire la suite
Embedded systems have gained an enormous amount of processing power and functionality. Many of the formerly external components ...
Lire la suite
Embedded System Design starts with an introduction into the area and a survey of specification languages for embedded systems. ...
Lire la suite
Embedded systems now include a very large proportion of the advanced products designed in the world, spanning transport (avionics, ...
Lire la suite
Its goal was to discuss the state of the art of empirical software engineering (ESE) by assessing past accomplishments, raising ...
Lire la suite
Its goal was to discuss the state of the art of empirical software engineering (ESE) by assessing past accomplishments, raising ...
Lire la suite
This book provides an overview of the ERIGrid validation methodology for validating CPES, a holistic power system testing ...
Lire la suite
How long can humans live? This open access book documents, verifies and brings to life the advance of the frontier of human ...
Lire la suite
Expert Spring MVC and Web Flow provides in-depth coverage of Spring MVC and Spring Web Flow, two highly customizable and ...
Lire la suite
Fatigue is quite a familiar sensation, one that everyone is likely to have experienced. Its molecular and neural mechanisms ...
Lire la suite
This book demonstrates the application of simulation modelling and network analysis techniques. The book shows the added ...
Lire la suite
Software validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV ...
Lire la suite
This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Formal Aspects in Security ...
Lire la suite
This book presents 19 revised invited keynote lectures and revised tutorial lectures given by top-researchers at the 4th ...
Lire la suite
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design.This ...
Lire la suite
This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open ...
Lire la suite
Advances in automation for electronic commerce require improved understanding and formalization of the objects, processes, ...
Lire la suite