About four years ago David Luckham hinted to me the possibility of verifying a "real" compiler. At that time the idea seemed unrealistic, even absurd. After looking closer at the problem and getting more familiar with the possibilities of the Stanford verifier a verified compiler appeared not so impossible after all. In...

"Harley Hahn's Guide to Unix and Linux" is a modern, comprehensive text for...

Step-by-step practice...

Programmable logic controllers (PLCs) continue to evolve as new technologies are added to their capabilities. The PLC started out as a replacement for hardwired relay control systems. Gradually, various math and logic manipulation functions were added. Today PLCs are the controller of choice for the vast majority of automated...

This book follows the...

MDX-related books often dedicate a significant part of their content to explaining the concepts of multidimensional cubes, the MDX language and its functions, and other specifics related to working with Analysis Services. And that's perfectly fine, there should be books like that, the tutorials that teach the concepts. However, that also...

Organizations of all sizes today find themselves increasingly awash in data, yet hungering for information to help them meet their business objectives. These corporations, from Main Street and Wall Street alike, have spent large amounts of time and money over the past 10 or so years implementing systems to help collect data on and...

Welcome to Internet Research—Illustrated, Fifth Edition. If this is your first experience with the Illustrated series, you’ll see that this book has a unique design: each skill is presented on two facing pages, with steps on the left and screens on the right. The layout makes it easy to learn a skill without having to...

Programmers may spend a good part of their careers scripting code to conform to commercial statistics packages, visualization tools, and domain-specific third-party software. The same tasks can force end users to spend countless hours in copy-paste purgatory, each minor change necessitating another grueling round of formatting tabs and...

The D5100 is an amazing bit of technology and a very capable tool for creating photographs that you will be proud to show others. The intention of this book is not to be a rehash of the owner’s manual that came with the camera, but rather to be a resource for learning how to improve your photography while specifically using your...

When Alex told me he was about to write a Yii cookbook about a year ago, I was wondering how original it would be, considering the fact that there was already an online user-contributed cookbook (also known as Yii wiki). It turned out Alex produced a book that is not only full of wisdom about how to use Yii effectively, but also...

Network monitoring serves as basis for a wide scope of network operations, engineering and management. Precise network monitoring involves inspecting every packet traversing in a network. However, this is infeasible in today’s and future high-speed networks, due to significant overheads of processing, storing, and transferring...