Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Interactive Theorem Proving and Program Development
Interactive Theorem Proving and Program Development

A practical introduction to the development of proofs and certified programs using Coq.

An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

...
Official Ubuntu Server Book, The (2nd Edition)
Official Ubuntu Server Book, The (2nd Edition)

Ubuntu Server is a complete, free server operating system that just works, with the extra Ubuntu polish, innovation, and simplicity that administrators love.

Now, there’s a definitive, authoritative guide to getting up-and-running quickly with the newest, most powerful versions of Ubuntu Server. Written...

Fault Analysis in Cryptography (Information Security and Cryptography)
Fault Analysis in Cryptography (Information Security and Cryptography)

In the 1970s researchers noticed that radioactive particles produced by elements naturally present in packaging material could cause bits to flip in sensitive areas of electronic chips. Research into the effect of cosmic rays on semiconductors, an area of particular interest in the aerospace industry, led to methods of hardening electronic...

The Definitive Guide to Linux Network Programming (Expert's Voice)
The Definitive Guide to Linux Network Programming (Expert's Voice)

This book is…one nice and convenient package that I will keep on the shelf as a reference manual.

The Definitive Guide to Linux Network Programming offers a clear, concise treatment of creating clients and servers under the Linux operating system. This book assumes that you know C and have experience developing code on...

Advanced Automotive Fault Diagnosis, Second Edition
Advanced Automotive Fault Diagnosis, Second Edition
The aspect I still enjoy most about working on vehicles is being able to diagnose a fault that has beaten others! This skill takes a few years to develop but it is worth the effort. Diagnostic work is much like that of a detective solving a difficult crime, all the clues are usually there – if you know where to look. I think it was Sherlock...
Fix Your Own Computer For Seniors For Dummies
Fix Your Own Computer For Seniors For Dummies

Learn to diagnose and fix simple PC problems with this easy-to-follow guide

When something goes wrong with your computer, it's frustrating and potentially expensive. With Fix Your Own Computer For Seniors For Dummies, you can find out what's wrong, how to fix it, whether you need to call in professional help, and how to practice...

Microsoft Windows Server 2003 Administrator's Companion
Microsoft Windows Server 2003 Administrator's Companion

Get your mission-critical systems up and running quickly—and maximize your organization’s productivity—with the essential guide to installing, configuring, and managing the Windows Server 2003 family. This comprehensive administrator’s reference details operating system features and capabilities and provides...

RF Components and Circuits
RF Components and Circuits
*A complete course in understanding and designing RF circuits
*Practical design knowhow from a world-class author

A comprehensive introduction to designing and understanding RF circuits

RF Components and Circuits covers the practicalities of designing and building circuits, including fault-finding and use of test
...
Software Fault Tolerance Techniques and Implementation (Artech House Computer Security Series)
Software Fault Tolerance Techniques and Implementation (Artech House Computer Security Series)
The scope, complexity, and pervasiveness of computer-based and controlled systems continue to increase dramatically. The consequences of these systems failing can range from the mildly annoying to catastrophic, with serious injury occurring or lives lost, human-made and natural systems destroyed, security breached, businesses failed, or...
Oracle Distributed Systems
Oracle Distributed Systems
Any organization that uses the Oracle relational database management system (RDBMS) these days needs to use multiple databases. There are many reasons to use more than a single database in a distributed database system:
  • Different databases may be associated with particular business functions, such as manufacturing or...
Elasticsearch: A Complete Guide
Elasticsearch: A Complete Guide

End-to-end Search and Analytics

About This Book

  • Solve your data analytics problems with the Elastic Stack
  • Improve your user search experience with Elasticsearch and develop your own Elasticsearch plugins
  • Design your index, configure it, and distribute it ― you'll...
The SPARC Architecture Manual Version 9
The SPARC Architecture Manual Version 9
This is the definitive reference for the latest generation of the enormously popular and influential SPARC microprocessors — the 64-bit SPARC-V9 — which is now being used by a variety of computer system vendors and is destined to set the standard for high performance capacity into the next century. Describes the architecture and...
Result Page: 21 20 19 18 17 16 15 14 13 12 11 10 9 
©2019 LearnIT (support@pdfchm.net) - Privacy Policy