Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
The Calculus of Computation: Decision Procedures with Applications to Verification
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...
Chart Your Way To Profits: The Online Trader's Guide to Technical Analysis (Wiley Trading)
Chart Your Way To Profits: The Online Trader's Guide to Technical Analysis (Wiley Trading)
One of my favorite photographs was taken by my wife on our honeymoon. We were on the second leg of our trip, the first of which was in Dubrovnik, Croatia (part of the former Yugoslavia), and the second in central Italy. The photo shows me in bed, apparently asleep. The title of the book I am holding across my chest is clearly legible: Technical...
Combinatorial Algorithms for Computers and Calculators (Computer science and applied mathematics)
Combinatorial Algorithms for Computers and Calculators (Computer science and applied mathematics)

Since the appearance in 1975 of this work, the field of combinatorial algorithms has continued its rapid evolution. We have substantially rewritten several of the chapters in order to take account of theoretical or algorithmic improvements, and to clarify the presentation.

The result has been that a number of speedups,
...

OpenCL Parallel Programming Development Cookbook
OpenCL Parallel Programming Development Cookbook

OpenCL (Open Computing Language) is the first royalty-free standard for cross platform, parallel programming of modern processors found in personal computers, servers, mobiles, and embedded devices. OpenCL greatly improves speed and responsiveness for a wide spectrum of applications in numerous market categories, from gaming and entertainment...

Seven Concurrency Models in Seven Weeks: When Threads Unravel (The Pragmatic Programmers)
Seven Concurrency Models in Seven Weeks: When Threads Unravel (The Pragmatic Programmers)

Your software needs to leverage multiple cores, handle thousands of users and terabytes of data, and continue working in the face of both hardware and software failure. Concurrency and parallelism are the keys, and Seven Concurrency Models in Seven Weeks equips you for this new world. See how emerging technologies such as actors and...

Jump-Starting America: How Breakthrough Science Can Revive Economic Growth and the American Dream
Jump-Starting America: How Breakthrough Science Can Revive Economic Growth and the American Dream
The untold story of how America once created the most successful economy the world has ever seen and how we can do it again.

The American economy glitters on the outside, but the reality is quite different. Job opportunities and economic growth are increasingly concentrated in a few crowded coastal enclaves.
...
Professional .NET Network Programming
Professional .NET Network Programming

Network programming is one of the core tasks of enterprise-level development-the need for disparate computers to communicate efficiently and securely, whether within the same building, or across the world, remains fundamental to the success of many systems. With the .NET Framework comes a new set of classes for tackling...

Non-Radioactive Labelling: A Practical Introduction (Biological Techniques Series)
Non-Radioactive Labelling: A Practical Introduction (Biological Techniques Series)
Biological Techniques is a series of volumes aimed at introducing to a wide audience the latest advances in methodology. The pitfalls and problems of new techniques are given due consideration, as are those small but vital details not always explicit in the methods sections of journal papers.

In recent years, most
...
Maran Illustrated Computers Guided Tour
Maran Illustrated Computers Guided Tour
Produced by the award-winning maranGraphics Group, "Maran Illustrated™ Computers – Guided Tour" is a valuable resource for all readers, regardless of experience. "Maran Illustrated™ Computers – Guided Tour" is packed with information useful to readers who are interested in purchasing their first computer...
Ubiquitous Multimedia Computing
Ubiquitous Multimedia Computing

Computing 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
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 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.

...
unlimited object storage image
Result Page: 153 152 151 150 149 148 147 146 145 144 143 142 141 140 
©2021 LearnIT (support@pdfchm.net) - Privacy Policy