Home | Amazing | Today | Tags | Publishers | Years | Search 
The SPIN Model Checker: Primer and Reference Manual
The SPIN Model Checker: Primer and Reference Manual
SPIN is the world's most popular, and arguably one of the world's most powerful, tools for detecting software defects
in concurrent system designs. Literally thousands of people have used SPIN since it was first introduced almost fifteen
years ago. The tool has been applied to everything from the verification of complex call processing
...
Practical OCaml
Practical OCaml

Objective Caml (OCaml) is an open source programming language that allows you to utilize both functional and object-oriented programming. Sporting features such as a robust object system, type safety, and an expansive standard library, OCaml is a language that encourages pragmatic solutions instead of dogmatic ones. Boasting performance on par...

High Availability and Disaster Recovery: Concepts, Design, Implementation
High Availability and Disaster Recovery: Concepts, Design, Implementation

Companies and other organizations depend more than ever on the availability of their Information Technology, and most mission critical business processes are IT-based processes. Business continuity is the ability to do business under any circumstances and is an essential requirement modern companies are facing. High availability and disaster...

OS X for Hackers at Heart: The Apple of Every Hacker's Eye
OS X for Hackers at Heart: The Apple of Every Hacker's Eye
The sexy, elegant design of the Apple PowerBook combined with the Unix-like OS X operating system based on FreeBSD, have once again made OS X the Apple of every hackers eye. In this unique and engaging book covering the brand new OS X 10.4 Tiger, the worlds foremost true hackers unleash the power of OS X for everything form cutting edge research...
Essential SourceSafe
Essential SourceSafe
This training aid and reference manual assists casual users, software developers, and SourceSafe administrators in installing, configuring, and maintaining SourceSafe in a variety of development environments. A broad spectrum of topics are covered, from the basics of installation and maintenance, to more advanced features such as reporting, to...
Making Use of Ruby
Making Use of Ruby
Ruby is an interpreted language, capable of saving programmers considerable time during program development since no compilation and linking are necessary. It is ideal for writing text-processing applications, server-side scripts, application prototypes, mathematics, and for many everyday programming tasks.

* Reviews Ruby's clever
...
Python Scripting for Computational Science (Texts in Computational Science and Engineering)
Python Scripting for Computational Science (Texts in Computational Science and Engineering)
The goal of this book is to teach computational scientists and engineers how to develop tailored, flexible, and efficient working environments built from small programs (scripts) written in the easy-to-learn, very high-level language Python. The focus is on examples and applications of relevance to computational science: gluing existing...
eDirectory Field Guide
eDirectory Field Guide

eDirectory Field Guide is a handy reference for configuring, troubleshooting, and optimizing Novells eDirectory on NetWare, Linux, Unix, and Windows. Along with Sun ONE Directory Server and Microsoft Active Directory, Novells eDirectory is a leader in directory server software, the specialized database that enterprises employ to store...

Cisco: A Beginner's Guide, Fourth Edition (Osborne Mcgraw Hill)
Cisco: A Beginner's Guide, Fourth Edition (Osborne Mcgraw Hill)
You generally can't pick up knowledge of Cisco products casually, the way you can learn about Microsoft Windows, Unix, and other products that are more generally accessible. For this reason, Cisco: A Beginner's Guide performs a valuable service. It introduces internetworking novices to the language and fact base that underlie routers,...
Beginning Excel Services (Programmer to Programmer)
Beginning Excel Services (Programmer to Programmer)
Given the prominent role Excel plays in today's companies, the need for users to better manage, distribute, and incorporate spreadsheets in larger applications is greater than ever. Written by Microsoft's lead developers of Excel Services, this book shares their insights into the benefits and usage of Excel's new server technology so that you can...
CompTIA A+ Complete Study Guide
CompTIA A+ Complete Study Guide
All-in-one guide prepares you for CompTIA's new A+ Certification

Candidates aiming for CompTIA's revised, two-exam A+ Certified Track will find everything they need in this value-packed book. Prepare for the required exam, CompTIA A+ Essentials (220-601), as well as your choice of one of three additional exams focusing on...

Pro WCF: Practical Microsoft SOA Implementation
Pro WCF: Practical Microsoft SOA Implementation
Part of Microsofts radical new WinFX API is the Indigo foundation, more formally known as the Windows Communication Foundation, or WCF. Pro WCF: Practical Microsoft SOA Implementation is a complete guide to WCF from the SOA architecture perspective and shows you why WCF is important to web service development and architecture.

The book...

Result Page: 32 31 30 29 28 27 26 25 24 23 22 21 20 19 18 17 16 15 14 
©2024 LearnIT (support@pdfchm.net) - Privacy Policy