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
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. # 4258)
The papers in this volume represent the proceedings of The 6th Workshop on Privacy Enhancing Technologies, PET 2006, was ...
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 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 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 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
Pro ASP.NET 3.5 Server Controls and AJAX Components
Pro ASP.NET 3.5 Server Controls and AJAX Components is a reference for the serious ASP.NET developer who understands the ...
Lee mas
Pro ASP.NET 3.5 in VB 2008 : Includes Silverlight 2
ASP.NET 3.5 is the principal standard for creating dynamic web pages on the Windows platform. Pro ASP.NET 3.5 in VB 2008: ...
Lee mas
Pro Apache Ant
Pro Apache Ant is ideal for Java developers who need to use the leading open source build tool out there for development ...
Lee mas
Pro Drupal Development
Drupal is one of the most popular content management systems in use today. With it, you can create a variety of community-driven ...
Lee mas
Pro Drupal Development
Widely praised for its in–depth coverage of Drupal internals, bestselling Pro Drupal Development has been updated for Drupal ...
Lee mas
Pro Excel 2007 VBA
Pro Excel 2007 VBA is the complete guide to creating Excel VBA applications, including coverage of new features in Excel ...
Lee mas
Pro JavaScript Design Patterns
As a web developer, you'll already know that JavaScript is a powerful language, allowing you to add an impressive array ...
Lee mas
Pro Java™ EE Spring Patterns Best Practices and Design Strategies Implementing Java™ EE Patterns with the Spring Framework
“The Java™ landscape is littered with libraries, tools, and specifications. What’s been lacking is the expertise to ...
Lee mas
Pro LINQ : Language Integrated Query in C# 2008
LINQ is the project name for a set of extensions to the .NET Framework that provide a generic approach to querying data from ...
Lee mas
Pro LINQ Object Relational Mapping with C# 2008
It is nearly impossible today to write enterprise software without the use of one or more relational databases. Granted, ...
Lee mas
