|
|
|
|
Principles of Model CheckingOur growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a... | | Home Recording Studio Build it Like the ProsWith the advances in digital technology, musicians can now produce their own music. But the gear is only part of the equation when it comes to recording and mixing. The next part is finding a soundproof room that you can produce it in. Unfortunately, any old room in your house will not suffice for a quality recording. Without a decent room, you'l... | | Schaum's Outline of Trigonometry, 4ed (Schaum's Outline Series)Get a firm grasp of trigonometry with this simple-to-use guide! It can help you pump up your problem-solving skills, ace your exams, and reduce the time you need to spend studying. Students love Schaum's Outlines! Each and every year, students purchase hundreds of thousands of the best study guides available anywhere. Students know that Schaum's... |
|
Wiring Your Digital Home For DummiesEnjoy your home more and boost its value
Get wired for sound, home theater, VoIP, whole house Internet access, and more
If you've ever started a sentence with "I wish my home was wired for . . . ", this book is for you! Whether you're a do-it-yourselfer, a builder, or... | | | | Frommer's Moscow and St. Petersburg (Frommer's Complete)
Russia breathes superlatives: the world’s biggest country; its largest supplier of natural gas and second-largest oil producer; home of the planet’s longest railroads, busiest subway system (Moscow’s), and one of its deepest, biggest, and oldest lakes (Baikal, in Siberia). It even boasts balmy beach resorts (on the Black... |
|
|
|
|
Result Page: 470 469 468 467 466 465 464 463 462 461 460 459 458 457 456 455 454 |