Types for Proofs and Programs
The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The ...
Lee mas
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 ...
Lee mas
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 ...
Lee mas
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. ...
Lee mas
Uncertainty Reasoning for the Semantic Web I : ISWC International Workshops, URSW 2005-2007, Revised Selected and Invited Papers
The present volume represents the first comprehensive compilation of state-of-the-art research approaches to uncertainty ...
Lee mas
Uncertainty, Rationality, and Agency
This book is about Rational Agents, which can be humans, players in a game, software programs or institutions. Typically, ...
Lee mas
Unconventional Computation (vol. # 3699)
The Fourth International Conference on Unconventional Computation, UC 2005, organized under the auspices of EATCS by the ...
Lee masUnderstanding Nutrition / Eleanor Noss Whitney ; Sharon Rady Rolfes
presents the core information of an introductory nutrition course for majors, with active learning that prepares students ...
Lee mas
Understanding Programming Languages
This book is about describing the meaning of programming languages. While a compiler or an interpreter offers a form of formal ...
Lee masUnderstanding Society and Natural Resources : Forging New Strands of Integration Across the Social Sciences
In this edited open access book leading scholars from different disciplinary backgrounds wrestle with social science integration ...
Lee mas
Understanding Values Work Institutional Perspectives in Organizations and Leadership
At the core of institutional theories, ‘values’ is a central term and figures in most definitions; however it remains ...
Lee mas
Understanding Willing Participants, Volume 2
This volume one of this two-volume set introduces readers to a behind the scenes account showing how during Milgram’s unpublished ...
Lee mas
Unfoldings : A Partial-Order Approach to Model Checking
In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem ...
Lee mas
Unity, Truth and the Liar : The Modern Relevance of Medieval Solutions to the Liar Paradox
This volume includes a target paper, taking up the challenge to revive, within a modern (formal) framework, a medieval solution ...
Lee mas
Updates on Myopia A Clinical Perspective
This book discusses basic clinical concepts of myopia, prevention of progression and surgical treatments for myopia and ...
Lee masUrban Planning in the Digital Age / Nicolas Douay
Technological changes have often produced important social changes that translate into spatial and planning practice. Whereas ...
Lee mas
Urologic Robotic Surgery
Laparoscopy has allowed surgeons to perform major surgical procedures through small incisions. The introduction of laparoscopy ...
Lee mas
Urological Cancers
This book outlines developments in all areas of urological cancer, bringing together, in one volume, summaries of clinical ...
Lee mas
Urological Oncology
Urological Oncology provides a comprehensive overview of the multi-disciplinary management of adult genito-urinary (GU) cancers. ...
Lee mas
Uveitis and Immunological Disorders
The purpose of this volume of "Essentials in Ophthalmology" is to provide the ophthalmologist with our present understanding ...
Lee mas
