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