Office 2010 Bible
The best of the best from the bestselling authors of Excel, Word, and PowerPoint Bibles!
Take your pick of applications from the Office 2010 suite and your choice of leading experts to show you how to use them. This Office 2010 Bible features the best-of-the-best content from the Excel 2010 Bible,... | | HP-UX 11i Systems Administration Handbook and Toolkit, Second EditionYour complete single source for HP-UX system administration!
Now, there's a single source for all the information HP-UX administrators needto succeed! Marty Poniatowski has updated the world's #1 HP-UX systemadministration guide to cover all the latest HP-UX 11i enhancements, plus all theUNIX commands... | | The Calculus of Computation: Decision Procedures with Applications to VerificationComputational logic is a fast-growing field with applications in artificial intelligence, constraint solving, and the design and verification of software and hardware systems. Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to state-of-the-art... |