Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
The Verilog® Hardware Description Language
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
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

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...

Measurement, Modeling, and Evaluation of Computing Systems and Dependability and Fault Tolerance
Measurement, Modeling, and Evaluation of Computing Systems and Dependability and Fault Tolerance

This book constitutes the refereed proceedings of the 16th International GI/ITG Conference on Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2012, held in Kaiserslautern, Germany, in March 2012.

The 16 revised full papers presented together with 5 tool papers and 5...

Programming Erlang: Software for a Concurrent World
Programming Erlang: Software for a Concurrent World
Erlang solves one of the most pressing problems facing developers today: how to write reliable, concurrent, high-performance systems. It's used worldwide by companies who need to produce reliable, efficient, and scalable applications. Invest in learning Erlang now.

Moore's Law is the observation that the amount you can do on a single chip...

Models in Hardware Testing: Lecture Notes of the Forum in Honor of Christian Landrault (Frontiers in Electronic Testing)
Models in Hardware Testing: Lecture Notes of the Forum in Honor of Christian Landrault (Frontiers in Electronic Testing)

Model based testing is the most powerful technique for testing hardware and software systems. Models in Hardware Testing describes the use of models at all the levels of hardware testing. The relevant fault models for nanoscaled CMOS technology are introduced, and their implications on fault simulation, automatic test pattern...

Digital Video Distribution in Broadband, Television, Mobile and Converged Networks: Trends, Challenges and Solutions
Digital Video Distribution in Broadband, Television, Mobile and Converged Networks: Trends, Challenges and Solutions

A unique treatment of digital video distribution technology in a business context, Digital Video Distribution in Broadband, Television, Mobile and Converged Networks explores a range of diverse topics within the field through a combination of theory and practice to provide the best possible insight and exposure. The theoretical...

Programmable Logic Controllers, Sixth Edition
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
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
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...

Result Page: 22 21 20 19 18 17 16 15 14 13 12 11 10 
©2019 LearnIT (support@pdfchm.net) - Privacy Policy