 |
|
|
|
 Verification of Sequential and Concurrent Programs (Texts in Computer Science)
This widely anticipated third edition provides a systematic exploration of one of the most common approaches to program verification, known as the assertional approach. This approach is applied to deterministic and nondeterministic sequential programs of varying complexity, together with both parallel and distributed concurrent programs. The... |  |  Ubuntu Linux Bible: Featuring Ubuntu 10.04 LTS
The best resource on the very latest for Ubuntu users!
Ubuntu is a free, open-source, Linux-based operating system that can run on desktops, laptops, netbooks, and servers. If you've joined the millions of users around the world who prefer open-source OS-and Ubuntu in particular-this book is perfect for you. It brings... |  |  Fundamentals of RF Circuit Design: with Low Noise Oscillators
The art of RF circuit design made simple.....
Radio Frequency circuits are the fundamental building blocks in a vast array of consumer electronics and wireless communication devices. Jeremy Everard's unique combination of theory and practice provides insight into the principles of operation, together with invaluable guidance to... |
|
 |  |  |  |  Photoshop Elements 7 All-in-One For Dummies (Computer/Tech)Photoshop Elements has evolved through several generations to become a sophisticated photo editor. What was once a low-end, consumer-grade product is now a tool for novice photo editors, amateur photographers, and professionals alike.
Elements shines on its own turf and is distinguished from Adobe Photoshop in many ways. Not only a... |
|
Result Page: 46 45 44 43 42 41 40 39 38 37 36 35 34 33 32 |