|
|
|
|
|
Programmable Logic Controllers, Sixth Edition
This textbook, now in its sixth edition, continues to be straightforward and easy-to-read, presenting the principles of PLCs while not tying itself to one manufacturer or another. Extensive examples and chapter ending problems utilize several popular PLCs, highlighting understanding of fundamentals that can be used regardless... | | Grading Knowledge: Extracting Degree Information from Texts
If you are sitting in a basement room without a view — not to mention the
bars in front of the windows — and writing a book, then you better have
good company. I had the best company you could imagine. Waltraud Hiltl,
Katja Markert, Martin Romacker, Klemens Schnattinger, Andreas Klee and I
shared very little office... | | 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... | | |
|
|
|
Result Page: 23 22 21 20 19 18 17 16 15 14 13 12 |