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