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