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