|
|
|
|
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... | | | | |
|
|
|
Ubiquitous Multimedia ComputingComputing is ubiquitous and if you think otherwise, that in itself might be the best evidence that it is so. Computers are omnipresent in modern life and the multimedia computing environment of today is becoming more and more seamless.
Bringing together contributions from dozens of leading experts, Ubiquitous Multimedia... | | Supercharged JavaScript Graphics: with HTML5 canvas, jQuery, and More
With HTML5 and improved web browser support, JavaScript has become the tool of choice for creating high-performance web graphics. This faced-paced book shows you how to use JavaScript, jQuery, DHTML, and HTML5's Canvas element to create rich web applications for computers and mobile devices.
By following real-world... | | gnuplot Cookbook
gnuplot is a free, open source plotting program that has been in wide use since 1986.
It's used as the graphics backend by many other programs, so plenty of people use gnuplot
without knowing it. If you've used Octave, Maxima, statist, gretl, or the Emacs graphing
calculator, you've already used gnuplot.
... |
|
|
Result Page: 153 152 151 150 149 148 147 146 145 144 143 142 141 140 |