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
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 Preserving Data Mining
Data mining has emerged as a significant technology for gaining knowledge from vast quantities of data. However, concerns ...
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
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 2.0 Windows Forms and Custom Controls in C#
Renowned author Matthew MacDonald combines careful treatment of the API with detailed user-interface design principles. Further, ...
Lee mas
Pro ASP.NET 2.0 in VB.NET 2005
With its added improvements, ASP.NET 2.0 is becoming the standard technology for creating dynamic web pages on the Windows ...
Lee mas
Pro Access 2007
This book provides good, short, solid information with as little waffle as possible. And the book includes solid examples ...
Lee mas
Pro Active Record
Pro Active Record helps you take advantage of the full power of your database engine from within your Ruby programs and Rails ...
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 C# 10 with .NET 6 : Foundational Principles and Practices in Programming / Andrew Troelsen; Phil Japikse
Explore C# 10 features and updates in records and record structs, global and implicit using directives, file level namespaces, ...
Lee mas
Pro C# 2005 and the .NET 2.0 Platform
C# 2005 changed the .NET 2.0 landscape. To name just a few improvements, C# now supports generics, partial types and nullable ...
Lee mas
Pro Hibernate 3
Pro Hibernate 3 is the first book to offer complete coverage of the open source lightweight Hibernate 3 and its features. ...
Lee mas
Pro Java Programming
Pro Java Programming, Second Edition covers the J2SE 5.0 platform and the core Java development kit. It takes advantage of ...
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 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
Pro Oracle Application Express
Application Express, or APEX, is one of the most innovative products to come out of Oracle in years. APEX is an application ...
Lee mas
Pro SQL Server 2005 Database Design and Optimization
Pro SQL Server 2005 Database Design and Optimization will teach you effective strategies for designing proper databases. ...
Lee mas
