Trustworthy Global Computing : Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers
The book focus on providing tools and frameworks for constructing well-behaved applications and for reasoning about their ...
Weiterlesen
Turmeric and Curcumin for Neurodegenerative Diseases / Magisetty Obulesu
Examines protective mechanisms of turmeric products and novel nanotechnological therapeutics and biomaterial design strategies ...
Weiterlesen
Two Algebraic Byways from Differential Equations: Gröbner Bases and Quivers
This edited volume presents a fascinating collection of lecture notes focusing on differential equations from two viewpoints: ...
Weiterlesen
Types for Proofs and Programs
The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...
Weiterlesen
Types for Proofs and Programs
The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The ...
Weiterlesen
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 ...
Weiterlesen
UMTS Radio Network Planning: Mastering Cell Coupling for Capacity Optimization
Interference determines the performance of UMTS radio networks. In order to provide good coverage and high capacity, network ...
Weiterlesen
Ultra Wideband - Circuits, Transceivers and Systems : Circuits, Transceivers and Systems
Ultra Wideband: Circuits, Transceivers and Systems offers a comprehensive overview of the state of the art of the physical ...
Weiterlesen
Ultra-Low Power Wireless Technologies for Sensor Networks
Ultra-Low Power Wireless Technologies for Sensor Networks is written for academic and professional researchers designing ...
Weiterlesen
Unconventional Computing : 7th International Conference, UC 2008 Vienna, Austria, August 25-28, 2008. Proceedings
The book is devoted to all aspects of unconventional computation ranging from theoretical and experimental aspects to various ...
Weiterlesen
Understanding Digital Marketing : A Complete Guide to Engaging Customers and Implementing Successful Digital Campaigns / Damian Ryan
A practical, no-nonsense guide to digital marketing, giving readers all the information they need to feel confident engaging ...
Weiterlesen
Understanding IPv6
Covers the basic materials and up-to-date information to understand IPv6, including site local address often overlooked by ...
Weiterlesen
Understanding Intrusion Detection through Visualization
This book presents Understanding Intrusion Detection through Visualization presents research on why false alarms are, and ...
Weiterlesen
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 ...
WeiterlesenUnderstanding 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 ...
Weiterlesen
Understanding the Bigger Energy Picture
This book gives an overview of today’s energy problem in the context of a rising world population, climate change and the ...
Weiterlesen
Undocumented Migrants and their Everyday Lives The Case of Finland
This monograph provides an overview of the everyday lives of undocumented migrants, thereby focusing on housing, employment, ...
Weiterlesen
Une politique mondiale pour Nourrir le monde
Edgard Pisani, whose work in favor of French and European agriculture as well as of development is known, brought together ...
Weiterlesen
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 ...
Weiterlesen
Unifying Theories of Programming
A number of formal notations and theories have now emerged and proved them-selves effective as tools for the practisingsoftware ...
Weiterlesen
