Now available in eBook formats! Volume 4, Fascicle 6 presents full details of seven different SAT solvers, ranging from simple algorithms suitable for small problems to state-of-the-art algorithms of industrial strength. More than 500 exercises are provided, arranged carefully for self-instruction, together with detailed answers.
As 2015 winds down to a close, I reflect on what 2015 brought IT.
It's that time of the year again. With 2016 right around the corner, every tech and culture website is busy pumping out predictions for 2016. Some of these predictions will be right yet most will be wrong. In this quick piece, I want to offer a word to the wise: predictions are like sphincters, everyone has one and most of them stink.
Why Grandfather clocks? What links are there between IT and clock movements?
New Mac OS X Means New Tricks...
Wow, who abducted our Windows 10 assumptions and left this smooth running and easy-to-use Operating System in their place?
It's time to consider the foibles of Laptop Life...
And now, let us remember the great advances of a world gone tablet...
I have several types of mobile devices, both low-cost Android tablets and iPads and smartphones of all types and vendors. Maybe you've discovered problems similar to these I list?
Smartphones on sale! Heavily discounted! Get a smartphone free with your dataplan two-year contract! And an order of fries!!
The Cloud is mighty! All Hail the Cloud, The Slayer of PCs!
Windows 8 was envisioned as a desktop OS capable of fighting the consumers' fling with Tablets. Now that the war is against Tablets AND PC's, can Windows 10 draw consumers to it?