The book is organized in topical sections on trust, authentication, authorization and access control, reputation systems, ...
Lire la suite
“Privacy Enhanced Technology, Methods – Markets – Misuse”. A paper covering his talk is also contained in this book. ...
Lire la suite
This book draws together carefully revised papers on trust, reputation, and security in agent society. Besides workshop papers, ...
Lire la suite
The book focus on providing tools and frameworks for constructing well-behaved applications and for reasoning about their ...
Lire la suite
Tumor Induced Immune Suppression: Mechanisms and Therapeutic Reversal focuses on the critical question of tumor biology: ...
Lire la suite
The book contains methodology, causation, and reduction, and include philosophy of logic and physics, philosophy of psychology ...
Lire la suite
This book concerns footprints of the international environmental conventions in action. Hydropower projects have been selected ...
Lire la suite
This book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, ...
Lire la suite
The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...
Lire la suite
The refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The ...
Lire la suite
The topic of this book was formal reasoning and computer programming based on type theory. Great importance was attached ...
Lire la suite
A definitive reference for graphic designers, providing a comprehensive introduction to the visual word. Done well, typopgraphy ...
Lire la suite
This volume is a compilation of the contributions presented at these satellite events. Workshops at UML 2004 took place during ...
Lire la suite
The last several years have seen significant progress on two related frontsin hardware and software design for electronic ...
Lire la suite
Over recent years most business processes have changed in various dimensions (e. g. , ?exibility, interconnectivity, coordination ...
Lire la suite
Ultra-Low Voltage Nano-Scale Memories provides an in-depth discussion of the state-of-the-art nanometer and sub-1-V memory ...
Lire la suite
The present volume represents the first comprehensive compilation of state-of-the-art research approaches to uncertainty ...
Lire la suite
This book is about Rational Agents, which can be humans, players in a game, software programs or institutions. Typically, ...
Lire la suite
Provides tools and methods in a straight-forward practical manner to guide the management of your cybersecurity program and ...
Lire la suite
Many animators and designers would like to supplement their Maya learning with a less-technical, more helpful book. This ...
Lire la suite