The 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in Nara (Japan) from 21 to ...
Continue readingThe 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...
Continue readingThe topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...
Continue readingThis book offers an unprecedented analysis of child welfare schemes, situating them in the wider context of post-war policy ...
Continue readingThe last several years have seen significant progress on two related frontsin hardware and software design for electronic ...
Continue readingInterference determines the performance of UMTS radio networks. In order to provide good coverage and high capacity, network ...
Continue readingUltra Wideband: Circuits, Transceivers and Systems offers a comprehensive overview of the state of the art of the physical ...
Continue readingUltra-Low Power Wireless Technologies for Sensor Networks is written for academic and professional researchers designing ...
Continue readingUltra-Low Voltage Nano-Scale Memories provides an in-depth discussion of the state-of-the-art nanometer and sub-1-V memory ...
Continue readingSources of ultrashort laser pulses are nowadays commercially available and have entered many areas of research and development. ...
Continue readingThis project aims to develop a novel method for recognizing the shape of an object located behind thin medium utilizing combination ...
Continue readingThe ability to understand and control the unique properties of interfaces has created an entirely new field of magnetism, ...
Continue readingThe ability to understand and control the unique properties of interfaces has created an entirely new field of magnetism, ...
Continue readingThe ability to understand and control the unique properties of interfaces has created an entirely new field of magnetism ...
Continue readingThe ability to understand and control the unique properties of interfaces has created an entirely new field of magnetism ...
Continue readingThe Sun is our main source of UV radiation and its description occupies the first two chapters of the book. The Earth is ...
Continue readingIn the introduction accelerator-based light sources are considered and a comparison is made between free-electron lasers ...
Continue readingThis book deals with uncertainty forecasting based on a fuzzy time series approach, including fuzzy random processes and ...
Continue readingUncertainty theory is a branch of mathematics based on normality, monotonicity, self-duality, and countable subadditivity ...
Continue readingThis book is the outcome of a discussion meeting of leading scholars and critical thinkers with expertise in complex systems ...
Continue reading