Typed Lambda Calculi and Applications
The 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in Nara (Japan) from 21 to ...
اقرأ المزيد
Types for Proofs and Programs
The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...
اقرأ المزيد
Types for Proofs and Programs : International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers
The topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...
اقرأ المزيد
UK Child Migration to Australia, 1945-1970 A Study in Policy Failure
This book offers an unprecedented analysis of child welfare schemes, situating them in the wider context of post-war policy ...
اقرأ المزيد
UML for SOC Design
The last several years have seen significant progress on two related frontsin hardware and software design for electronic ...
اقرأ المزيد
UMTS Radio Network Planning: Mastering Cell Coupling for Capacity Optimization
Interference determines the performance of UMTS radio networks. In order to provide good coverage and high capacity, network ...
اقرأ المزيد
Ultra Wideband - Circuits, Transceivers and Systems : Circuits, Transceivers and Systems
Ultra Wideband: Circuits, Transceivers and Systems offers a comprehensive overview of the state of the art of the physical ...
اقرأ المزيد
Ultra-Low Power Wireless Technologies for Sensor Networks
Ultra-Low Power Wireless Technologies for Sensor Networks is written for academic and professional researchers designing ...
اقرأ المزيد
Ultra-Low Voltage Nanoscale Memories
Ultra-Low Voltage Nano-Scale Memories provides an in-depth discussion of the state-of-the-art nanometer and sub-1-V memory ...
اقرأ المزيد
Ultrashort Laser Pulses in Biology and Medicine
Sources of ultrashort laser pulses are nowadays commercially available and have entered many areas of research and development. ...
اقرأ المزيدUltrasonic ranging and object detection using arduino / Ghazi Al-Sibai ; Mohamad Saeed Al Haddad ; Kenan Al Rakhlane
This project aims to develop a novel method for recognizing the shape of an object located behind thin medium utilizing combination ...
اقرأ المزيد
Ultrathin Magnetic Structures I
The ability to understand and control the unique properties of interfaces has created an entirely new field of magnetism, ...
اقرأ المزيد
Ultrathin Magnetic Structures II
The ability to understand and control the unique properties of interfaces has created an entirely new field of magnetism, ...
اقرأ المزيد
Ultrathin Magnetic Structures III
The ability to understand and control the unique properties of interfaces has created an entirely new field of magnetism ...
اقرأ المزيد
Ultrathin Magnetic Structures IV
The ability to understand and control the unique properties of interfaces has created an entirely new field of magnetism ...
اقرأ المزيد
Ultraviolet Radiation in the Solar System
The Sun is our main source of UV radiation and its description occupies the first two chapters of the book. The Earth is ...
اقرأ المزيد
Ultraviolet and Soft X-Ray Free-Electron Lasers : Introduction to Physical Principles, Experimental Results, Technological Challenges
In the introduction accelerator-based light sources are considered and a comparison is made between free-electron lasers ...
اقرأ المزيد
Uncertainty Forecasting in Engineering
This book deals with uncertainty forecasting based on a fuzzy time series approach, including fuzzy random processes and ...
اقرأ المزيدUncertainty Theory
Uncertainty theory is a branch of mathematics based on normality, monotonicity, self-duality, and countable subadditivity ...
اقرأ المزيد
Uncertainty and Surprise in Complex Systems
This book is the outcome of a discussion meeting of leading scholars and critical thinkers with expertise in complex systems ...
اقرأ المزيد
