Principles of the Spin Model Checker
Principles of Spin is an introductory book for students and practicing software engineers who wish to learn Promela and Spin. ...
Lee mas
Principles, Systems and Applications of IP Telecommunications. Services and Security for Next Generation Networks : Second International Conference, IPTComm 2008, Heidelberg, Germany, July 1-2, 2008. Revised Selected Papers
This book constitutes the thoroughly refereed proceedings of the 10th International Workshop on Principles, Systems and Applications ...
Lee mas
Prions
Prion diseases recently have attracted interest not only scientifically but also socially because of the bovine spongiform ...
Lee mas
Privacy Enhancing Technologies
This book constitutes the thoroughly refereed post-proceedings of the 7th International Symposium on Privacy Enhancing Technologies, ...
Lee mas
Privacy Enhancing Technologies (vol. # 3424)
Traditional methods for evaluating the amount of anonymity afforded by various Mix configurations have depended on either ...
Lee mas
Privacy Enhancing Technologies (vol. # 3856)
The papers in this volume represent the proceedings of the 5th International Workshop, PET 2005, Cavtat, Croatia, May 30-June ...
Lee mas
Privacy Enhancing Technologies : 8th International Symposium, PETS 2008 Leuven, Belgium, July 23-25, 2008 Proceedings
Constitutes the thoroughly refereed post-proceedings of the 8th International Symposium on Privacy Enhancing Technologies, ...
Lee mas
Privacy Preserving Data Mining
Data mining has emerged as a significant technology for gaining knowledge from vast quantities of data. However, concerns ...
Lee mas
Privacy and Data Protection in Software Services
The aim of the book is to create a bridge between two ‘lands’ that are usually kept separate: technical tools and legal ...
Lee mas
Privacy and Technologies of Identity
Privacy and Technologies of Identity: A Cross-Disciplinary Conversation provides an overview of ways in which technological ...
Lee mas
Privacy in Statistical Databases : UNESCO Chair in Data Privacy International Conference, PSD 2008, Istanbul, Turkey, September 24-26, 2008. Proceedings
Constitutes the refereed proceedings of the International Conference on Privacy in Statistical Databases, PSD 2008, held ...
Lee mas
Privacy, Security and Trust within the Context of Pervasive Computing
Privacy, Security and Trust within the Context of Pervasive Computing is an edited volume based on a post workshop at the ...
Lee mas
Privacy, Security, and Trust in KDD : First ACM SIGKDD International Workshop, PinKDD 2007, San Jose, CA, USA, August 12, 2007, Revised Selected Papers
Vast amounts of data are collected by service providers and system administ- tors, and are available in public information ...
Lee mas
Privacy-Preserving Data Mining:Models and Algorithms
Privacy Preserving Data Mining: Models and Algorithms proposes a number of techniques to perform the data mining tasks in ...
Lee mas
Privacy-Respecting Intrusion Detection
With our society's growing dependency on information technology systems (IT), IT security is crucial. To properly respond ...
Lee mas
Private Equity Exits
Examining the efficiency of exits, this book offers recommendations and guidelines for an integrated and exit-oriented private ...
Lee mas
Private Military and Security Companies
The present collection of contributions to this topic by distinct experts in the field is unique as it covers most, if not ...
Lee mas
Privileged structures in drug discovery : medicinal chemistry and synthesis / Larry Yet
A comprehensive guide to privileged structures and their application in the discovery of new drugs The use of privileged ...
Lee mas
Pro .NET 1.1, Remoting, Reflection, and Threading
This book begins by discussing the most fundamental of the three techniques: .NET Remoting in Visual Basic .NET, which allows ...
Lee mas
Pro .NET 2.0 Extreme Programming
While other extreme programming (XP) books are usually theoretical in approach, this book steers you through the practical ...
Lee mas
