The Calculus of Computation: Decision Procedures with Applications to Verification Computational 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...
Bash Pocket Reference: Help for Power Users and Sys Admins
It’s simple: if you want to interact deeply with Mac OS X, Linux, and other Unix-like systems, you need to know how to work with the Bash shell. This concise little book puts all of the essential information about Bash right at your fingertips.
You’ll quickly find answers to the annoying questions that...
Kalman Filtering: Theory and Practice Using MATLAB
From Reviews of the First Edition
"An authentic magnum opus worth much more than its weight in gold!"
—IEEE Transactions on Automatic Control
The proven textbook on Kalman filtering—now fully updated, revised, and expanded
Fourier Analysis: An Introduction (Princeton Lectures in Analysis)
This first volume, a three-part introduction to the subject, is intended for students with a beginning knowledge of mathematical analysis who are motivated to discover the ideas that shape Fourier analysis. It begins with the simple conviction that Fourier arrived at in the early nineteenth century when studying problems in the physical...
|Result Page: 14 13 12 11 10 9 8 7 6 5 |