Electronic Books

Total Books: 3381 - 3400 /3500
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
Total Books: 3381 - 3400 /3500