Home | Amazing | Today | Tags | Publishers | Years | Account | Search 
Principles of Model Checking
Principles of Model Checking
Our 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 Pros
Home Recording Studio Build it Like the Pros
With 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)
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 Dummies
Wiring Your Digital Home For Dummies
Enjoy 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...

5 Steps to a 5 AP Statistics, 2010-2011 Edition (5 Steps to a 5 on the Advanced Placement Examinations Series)
5 Steps to a 5 AP Statistics, 2010-2011 Edition (5 Steps to a 5 on the Advanced Placement Examinations Series)

A Perfect Plan for the Perfect Score

We want you to succeed on your AP* exam. That's why we've created this 5-step plan to help you study more effectively, use your preparation time wisely, and get your best score. This easy-to-follow guide offers you a complete review of your AP course, strategies to give you the edge on test...

Frommer's Moscow and St. Petersburg (Frommer's Complete)
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...

Handbook of Software Engineering and Knowledge Engineering: Recent Advances
Handbook of Software Engineering and Knowledge Engineering: Recent Advances

The Handbook of Software Engineering and Knowledge Engineering is the first comprehensive handbook covering these two important areas that have become interwoven in recent years. Many international experts contribute to this Hand book. Each article is written in a way that a practitioner of software engineering and knowledge engineering can...

Metasploit Penetration Testing Cookbook
Metasploit Penetration Testing Cookbook

Penetration testing is one of the core aspects of network security in today's scenario. It involves a complete analysis of the system by implementing real-life security tests. It helps in identifying potential weaknesses in the system's major components which can occur either in its hardware or software. The reason which makes...

Murach's ADO.NET 4 Database Programming with C# 2010 (Murach: Training & Reference)
Murach's ADO.NET 4 Database Programming with C# 2010 (Murach: Training & Reference)

Now in its 4th Edition, this book shows C# developers how to use Visual Studio and ADO.NET to develop database applications the way the best professionals do. You'll learn how to:

  • quickly create Windows and web applications by dragging-and-dropping data controls in Visual Studio 2010
  • code your own...
Frommer's Sweden (Frommer's Complete Guides)
Frommer's Sweden (Frommer's Complete Guides)

You'll never fall into the tourist traps when you travel with Frommer's. It's like having a friend show you around, taking you to the places locals like best. Our expert authors have already gone everywhere you might go -- they've done the legwork for you, and they're not afraid to tell it like it is, saving you time and...

Software Systems for Astronomy (SpringerBriefs in Astronomy)
Software Systems for Astronomy (SpringerBriefs in Astronomy)

This book covers the use and development of software for astronomy. It describes the control systems used to point the telescope and operate its cameras and spectrographs, as well as the web-based tools used to plan those observations. In addition, the book also covers the analysis and archiving of astronomical data once it has been acquired....

Ant Colony Optimization and Constraint Programming
Ant Colony Optimization and Constraint Programming

Ant colony optimization is a metaheuristic which has been successfully applied to a wide range of combinatorial optimization problems. The author describes this metaheuristic and studies its efficiency for solving some hard combinatorial problems, with a specific focus on constraint programming. The text is organized into three parts.

...
unlimited object storage image
Result Page: 470 469 468 467 466 465 464 463 462 461 460 459 458 457 456 455 454 
©2021 LearnIT (support@pdfchm.net) - Privacy Policy