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 ...
Lire la suite
Turmeric and Curcumin for Neurodegenerative Diseases / Magisetty Obulesu
Examines protective mechanisms of turmeric products and novel nanotechnological therapeutics and biomaterial design strategies ...
Lire la suite
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: ...
Lire la suite
Types for Proofs and Programs
The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...
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
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 ...
Lire la suite
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 ...
Lire la suite
Ultra-Low Power Wireless Technologies for Sensor Networks
Ultra-Low Power Wireless Technologies for Sensor Networks is written for academic and professional researchers designing ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
Understanding IPv6
Covers the basic materials and up-to-date information to understand IPv6, including site local address often overlooked by ...
Lire la suite
Understanding Intrusion Detection through Visualization
This book presents Understanding Intrusion Detection through Visualization presents research on why false alarms are, and ...
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 suiteUnderstanding 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 ...
Lire la suite
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 ...
Lire la suite
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, ...
Lire la suite
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 ...
Lire la suite
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 ...
Lire la suite
Unifying Theories of Programming
A number of formal notations and theories have now emerged and proved them-selves effective as tools for the practisingsoftware ...
Lire la suite
