 |
|
|
|
The Verilog® Hardware Description Language
The Verilog language is a hardware description language that provides a means of specifying a digital system at a wide range of levels of abstraction. The language supports the early conceptual stages of design with its behavioral level of abstraction, and the later implementation stages with its structural abstractions. The language includes... | | Windows Small Business Server 2011 Administrator's Companion
If you run a small business, you don’t need us to tell you that the highly competitive
marketplace, unpredictable economic cycles, time pressures, and technological
demands are constantly exerting pressure on your bottom line.
Your business needs the same technologies that large companies do. You need
the... | | BizTalk Server 2002 Design and Implementation
BizTalk Server 2002 Design and Implementation shows developers how to write BizTalk Server 2002 applications by example. Readers will learn BizTalk Server 2002 step-by-step as they read through the chapters and build an actual BizTalk Server application. Readers will also be exposed to the many invaluable lessons that Xin... |
|
|
| | 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: 22 21 20 19 18 17 16 15 14 13 12 11 10 |
