|
|
|
|
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... | | | | Database Performance Tuning and OptimizationThe book provides comprehensive coverage of database performance tuning and optimization using Oracle 8i as the RDBMS. The chapters contain both theoretical discussions dealing with principles and methodology as well as actual SQL scripts to implement the methodology. The book combines theory with practice so as to make it useful for DBAs and... |
|
| | | | Acoustic Diffusers and Absorbers: Theory, Design and ApplicationEvery book tells a story and there is a story behind every book. This story begins in 1980, in the conference room of the laboratory for the structure of matter at the Naval Research Laboratory (NRL) in Washington, DC, where Peter D’Antonio was employed as a diffraction physicist. Knowing Peter’s interest in music, a colleague handed... |
|
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... | | Botnets: The Killer Web AppThis is the first book to explain the newest internet threat - Botnets, zombie armies, bot herders, what is being done, and what you can do to protect your enterprise!
The book begins with real world cases of botnet attacks to underscore the need for action. Next the book will explain botnet fundamentals using real world... | | |
|
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... | | The Artful Universe ExpandedOur love of art, writes John Barrow, is the end product of millions of years of evolution. How we react to a beautiful painting or symphony draws upon instincts laid down long before humans existed. Now, in this enhanced edition of the highly popular The Artful Universe, Barrow further explores the close ties between our aesthetic appreciation and... | | 3D Computer Vision: Efficient Methods and Applications (X.media.publishing)This book provides an introduction to the foundations of three-dimensional computer vision and describes recent contributions to the field. Geometric methods include linear and bundle adjustment based approaches to scene reconstruction and camera calibration, stereo vision, point cloud segmentation, and pose estimation of rigid, articulated, and... |
|
|
Result Page: 1263 1262 1261 1260 1259 1258 1257 1256 1255 1254 1253 1252 1251 1250 1249 1248 1247 1246 1245 |