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)
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)
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)
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 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
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...
|Result Page: 21 20 19 18 17 16 15 14 13 12 11 10 9 |