The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The ...
WeiterlesenThe topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...
WeiterlesenUltra-Low Voltage Nano-Scale Memories provides an in-depth discussion of the state-of-the-art nanometer and sub-1-V memory ...
WeiterlesenSources of ultrashort laser pulses are nowadays commercially available and have entered many areas of research and development. ...
WeiterlesenThe present volume represents the first comprehensive compilation of state-of-the-art research approaches to uncertainty ...
WeiterlesenThis book is about Rational Agents, which can be humans, players in a game, software programs or institutions. Typically, ...
WeiterlesenThe Fourth International Conference on Unconventional Computation, UC 2005, organized under the auspices of EATCS by the ...
Weiterlesenpresents the core information of an introductory nutrition course for majors, with active learning that prepares students ...
WeiterlesenThis book is about describing the meaning of programming languages. While a compiler or an interpreter offers a form of formal ...
WeiterlesenIn this edited open access book leading scholars from different disciplinary backgrounds wrestle with social science integration ...
WeiterlesenAt the core of institutional theories, ‘values’ is a central term and figures in most definitions; however it remains ...
WeiterlesenThis volume one of this two-volume set introduces readers to a behind the scenes account showing how during Milgram’s unpublished ...
WeiterlesenIn this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem ...
WeiterlesenThis volume includes a target paper, taking up the challenge to revive, within a modern (formal) framework, a medieval solution ...
WeiterlesenThis book discusses basic clinical concepts of myopia, prevention of progression and surgical treatments for myopia and ...
WeiterlesenTechnological changes have often produced important social changes that translate into spatial and planning practice. Whereas ...
WeiterlesenLaparoscopy has allowed surgeons to perform major surgical procedures through small incisions. The introduction of laparoscopy ...
WeiterlesenThis book outlines developments in all areas of urological cancer, bringing together, in one volume, summaries of clinical ...
WeiterlesenUrological Oncology provides a comprehensive overview of the multi-disciplinary management of adult genito-urinary (GU) cancers. ...
WeiterlesenThe purpose of this volume of "Essentials in Ophthalmology" is to provide the ophthalmologist with our present understanding ...
Weiterlesen