Electronic Books

Total Books: 2221 - 2240 /2342

The book focus on providing tools and frameworks for constructing well-behaved applications and for reasoning about their ...

Examines protective mechanisms of turmeric products and novel nanotechnological therapeutics and biomaterial design strategies ...

This edited volume presents a fascinating collection of lecture notes focusing on differential equations from two viewpoints: ...

The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...

The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The ...

The topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...

Interference determines the performance of UMTS radio networks. In order to provide good coverage and high capacity, network ...

Ultra Wideband: Circuits, Transceivers and Systems offers a comprehensive overview of the state of the art of the physical ...

Ultra-Low Power Wireless Technologies for Sensor Networks is written for academic and professional researchers designing ...

The book is devoted to all aspects of unconventional computation ranging from theoretical and experimental aspects to various ...

A practical, no-nonsense guide to digital marketing, giving readers all the information they need to feel confident engaging ...

Covers the basic materials and up-to-date information to understand IPv6, including site local address often overlooked by ...

This book presents Understanding Intrusion Detection through Visualization presents research on why false alarms are, and ...

Our time is characterized by an explosion of information and by an accel- ation of knowledge. A book cannot compete with ...

In this edited open access book leading scholars from different disciplinary backgrounds wrestle with social science integration ...

This book gives an overview of today’s energy problem in the context of a rising world population, climate change and the ...

This monograph provides an overview of the everyday lives of undocumented migrants, thereby focusing on housing, employment, ...

Edgard Pisani, whose work in favor of French and European agriculture as well as of development is known, brought together ...

In this book the authors introduce unfoldings, an approach to model checking which alleviates the state explosion problem ...

A number of formal notations and theories have now emerged and proved them-selves effective as tools for the practisingsoftware ...

Total Books: 2221 - 2240 /2342