Principles of the Spin Model Checker

Mathematical Formulas for Economists

Springer, 2009

The present collection of formulas has been composed for students of economics or management science at universities, colleges and trade schools. It contains basic knowledge in mathematics, financial mathematics and statistics in a compact and clearly arranged form. This volume is meant to be a reference work to be used by students of...

Techno Security's Guide to Managing Risks for IT Managers, Auditors and Investigators

Syngress Publishing, 2007

This book contains some of the most up-to-date information available anywhere on a wide variety of topics related to Techno Security. As you read the book, you will notice that the authors took the approach of identifying some of the risks, threats, and vulnerabilities and then discussing the countermeasures to address them. Some of the topics and...

The Farthest Edge (The Honey Series)

St Martin Press, 2017

Step into the Honey Club, where every sensual boundary will be tested in search of the ultimate pleasure…
Branch doesn’t exist. Living off the grid, he’s looking for a way to forget his past and the guilt that plagues him. But no woman has ever been able to bring him to the edge he craves.
After a...

Linux in a Nutshell

O'Reilly, 2005

Over the last few years, Linux has grown both as an operating system and a tool for personal and business use. Simultaneously becoming more user friendly and more powerful as a back-end system, Linux has achieved new plateaus: the newer filesystems have solidified, new commands and tools have appeared and become standard, and...

IP Addressing Fundamentals

Cisco Press, 2002

The reader-friendly explanation of how the IP address space works and how it is used

* A reader-friendly introduction to the complex and confusing topic of IP addressing
* Thorough and understandable explanations of the binary mathematics behind IP addressing
* Complete coverage of the IPv4 address space without distractions of...

Apache Cookbook: Solutions and Examples for Apache Administrators

O'Reilly, 2008

There's plenty of documentation on installing and configuring the Apache web server, but where do you find help for the day-to-day stuff, like adding common modules or fine-tuning your activity logging? That's easy. The new edition of the Apache Cookbook offers you updated solutions to the problems you're likely to encounter with the new versions...