This book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, ...
Lire la suiteThe 7th International Conference on Typed Lambda Calculi and Applications (TLCA 2005) was held in Nara (Japan) from 21 to ...
Lire la suiteThe refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The ...
Lire la suiteThe topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...
Lire la suiteIt contains standards for medicines, dosage forms, drug substances, excipients, biologics, compounded preparations, medical ...
Lire la suiteThis book brings together the technological and business aspects of conducting commerce using ubiquitous and pervasive computing ...
Lire la suiteUltra-Low Voltage Nano-Scale Memories provides an in-depth discussion of the state-of-the-art nanometer and sub-1-V memory ...
Lire la suite5. 1. 1 Biological Rhythms and Clocks From an evolutionary perspective, the adaptation of an organism’s behavior to its ...
Lire la suiteSources of ultrashort laser pulses are nowadays commercially available and have entered many areas of research and development. ...
Lire la suiteIn the introduction accelerator-based light sources are considered and a comparison is made between free-electron lasers ...
Lire la suiteThe present volume represents the first comprehensive compilation of state-of-the-art research approaches to uncertainty ...
Lire la suiteThis book is about Rational Agents, which can be humans, players in a game, software programs or institutions. Typically, ...
Lire la suiteThe Fourth International Conference on Unconventional Computation, UC 2005, organized under the auspices of EATCS by the ...
Lire la suiteUnderdetermination. An Essay on Evidence and the Limits of Natural Knowledge is a wide-ranging study of the thesis that scientific ...
Lire la suiteUnderstanding Biology Using Peptides: Proceedings of the 19th American Peptide Symposium highlights many of the recent developments ...
Lire la suiteThis volume presents the foundations of carbon nanotube science including the most recent developments and the prospects ...
Lire la suiteCreates the vital link between urban design theory and praxis and opens the required methodological gateway to a new and ...
Lire la suiteExplains the biological background of dental caries and the formation of carious lesions, providing the reader with a sound ...
Lire la suitethe present book deals with the morphological prerequisites and structural changes on which the individual phenomena are ...
Lire la suiteOur time is characterized by an explosion of information and by an accel- ation of knowledge. A book cannot compete with ...
Lire la suite