Typed Lambda Calculi and Applications
This book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, ...
Lire la suite
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 ...
Lire la suite
Types for Proofs and Programs
The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The ...
Lire la suite
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 ...
Lire la suite
U.S. Pharmacopeia National Formulary 2018 USP 41 NF 36 / United States Pharmacopœial Convention
It contains standards for medicines, dosage forms, drug substances, excipients, biologics, compounded preparations, medical ...
Lire la suite
Ubiquitous and Pervasive Commerce
This book brings together the technological and business aspects of conducting commerce using ubiquitous and pervasive computing ...
Lire la suite
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 ...
Lire la suite
Ultradian Rhythms from Molecules to Mind
5. 1. 1 Biological Rhythms and Clocks From an evolutionary perspective, the adaptation of an organism’s behavior to its ...
Lire la suite
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. ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
Uncertainty, Rationality, and Agency
This book is about Rational Agents, which can be humans, players in a game, software programs or institutions. Typically, ...
Lire la suite
Unconventional Computation (vol. # 3699)
The Fourth International Conference on Unconventional Computation, UC 2005, organized under the auspices of EATCS by the ...
Lire la suite
Underdetermination : An Essay on Evidence and the Limits of Natural Knowledge
Underdetermination. An Essay on Evidence and the Limits of Natural Knowledge is a wide-ranging study of the thesis that scientific ...
Lire la suite
Understanding Biology Using Peptides
Understanding Biology Using Peptides: Proceedings of the 19th American Peptide Symposium highlights many of the recent developments ...
Lire la suite
Understanding Carbon Nanotubes
This volume presents the foundations of carbon nanotube science including the most recent developments and the prospects ...
Lire la suite
Understanding Cities: Method in Urban Design / Alexander R. Cuthbert
Creates the vital link between urban design theory and praxis and opens the required methodological gateway to a new and ...
Lire la suite
Understanding Dental Caries : From Pathogenesis to Prevention and Therapy / Michel Goldberg
Explains the biological background of dental caries and the formation of carious lesions, providing the reader with a sound ...
Lire la suite
Understanding Fluorescein Angiography
the present book deals with the morphological prerequisites and structural changes on which the individual phenomena are ...
Lire la suite
Understanding Non-equilibrium Thermodynamics : Foundations, Applications, Frontiers
Our time is characterized by an explosion of information and by an accel- ation of knowledge. A book cannot compete with ...
Lire la suite
