This volume contains selected papers from WADT 2004, the 17th International Workshop on Algebraic Development Techniques. ...
اقرأ المزيدFuel cell science and technology is evolving fast for the past two decades as it is thought to be an efficient way of transforming ...
اقرأ المزيدBy mapping algorithms directly into programmable logic, FPGA accelerators offer and deliver 10X-100X performance increases ...
اقرأ المزيدThe idea of reconfigurable hardware systems has represented the Holy Grail for computer system designers.It has been recognized ...
اقرأ المزيدReconfigurable Distributed Control helps meet the challenge of applying distributed control to dynamical systems, integrating ...
اقرأ المزيدThe generation of novel redox systems under nano-space control is one of the most exciting fields in present organic, inorganic, ...
اقرأ المزيدThis monograph presents a detailed and unified treatment of the theory of reduced order systems. Covered topics include reduced ...
اقرأ المزيدThis book is a data book for atomic and plasma physicists. Numerical data are given for atoms, atomic processes and atomic ...
اقرأ المزيدThis tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software ...
اقرأ المزيدThe book addressed span a wide range of problems and solutions associated with the teaching of programming such as introductory ...
اقرأ المزيدA series of reforms have greatly improved the efficiency, reliability, and environmental performance of the Chinese power ...
اقرأ المزيدPostgraduates, researchers, and practitioners in reliability engineering, maintenance engineering, operations research, industrial ...
اقرأ المزيدThe volume brings together eleven chapters to highlight the importance of the interrelated reliability and maintenance disciplines. ...
اقرأ المزيدAn understanding of the techniques used to make distributed computing systems and networks reliable, fault-tolerant and secure ...
اقرأ المزيدReliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 7th International Conference on Reliable Software Technologies, Ada-Europe ...
اقرأ المزيدThis book covers topics ranging from formal verification to real-time systems via concurrency, embedded systems, language ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 11th International Conference on Reliable Software Technologies, Ada- ...
اقرأ المزيدStarted on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference ...
اقرأ المزيدThis book constitutes the refereed post-proceedings of the 12th International Monterey Workshop on Networked Systems with ...
اقرأ المزيد