The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...
Lee masThe refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The ...
Lee masThe topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...
Lee masIt contains standards for medicines, dosage forms, drug substances, excipients, biologics, compounded preparations, medical ...
Lee masThis book offers an unprecedented analysis of child welfare schemes, situating them in the wider context of post-war policy ...
Lee masThis volume is a compilation of the contributions presented at these satellite events. Workshops at UML 2004 took place during ...
Lee masThe last several years have seen significant progress on two related frontsin hardware and software design for electronic ...
Lee masInterference determines the performance of UMTS radio networks. In order to provide good coverage and high capacity, network ...
Lee masConstitutes the refereed proceedings of the 7th International Conference on Ubiquitous Computing, UbiComp 2005, held in Japan ...
Lee masThis book constitutes the refereed proceedings of the 8th International Conference on Ubiquitous Computing, UbiComp 2006. ...
Lee masThe Ubiquitous Computing conference series provides the premier forum in which to present original research results in all ...
Lee masUCS has become a symposium for the dissemination of state-of-the-art research and engineering practices in ubiquitous computing ...
Lee masThis book is a collection of papers presented at UCS 2004, held on November 8-9 in Tokyo. The submitted papers presented ...
Lee masUbiquitous computing is already with us and is changing our lifestyle, way of thinking and quality of life. Everyday objects ...
Lee masThis book is the refereed proceedings of the Third International Conference on Ubiquitous Intelligence and Computing, UIC ...
Lee masOver recent years most business processes have changed in various dimensions (e. g. , ?exibility, interconnectivity, coordination ...
Lee masThe book starts with an overview on the most important design aspects for autonomous sensor systems. The different building ...
Lee masUltra-Wideband Short-Pulse Electromagnetics 8 is based on the American Electromagnetics 2006 conference held from June 3-7 ...
Lee masUltrafast Phenomena XV presents the latest advances in ultrafast science, including both ultrafast optical technology and ...
Lee masUltrahigh-speed optical transmission technology is a key technology for increasing the communication capacity. In optical ...
Lee mas