Книги. Художественная литература. Учебники и пособия.

Oded Goldreich

Various types of probabilistic proof systems have played a central role in the development of computer science in the last couple of decades. These proof systems deviate from the traditional concept of a proof by introducing randomization and interaction into the verification process. Probabilistic proof systems carry an error probability (which is explicitly bounded and can be decreased by repetitions), but they offer various advantages over deterministic proof systems. This primer concentrates on three types of probabilistic proof systems: interactive proofs, zero-knowledge proofs, and probabilistically checkable proofs (PCP). Surveying the basic results regarding these proof systems, the primer stresses the essential role of randomness in each of them.

Edited by Douglas Self

All the design and development inspiration and direction an audio engineer needs in one blockbuster book! Douglas Self has selected the very best sound engineering design material from the Focal and Newnes portfolio and complied it into this volume. The result is a book covering the gamut of sound engineering. The material has been selected for its timelessness as well as for its relevance to contemporary sound engineering issues.

Joakim Nivre

-

Kenneth Leitch

In this study, the use of digital close-range terrestrial photogrammetry(DCRTP) for measuring bridge deformations under dead and live load is investigated. A DCRTP system is shown to provide a non-contact, non-destructive means of measurement with the added benefits of digital photography and computer-aided photogrammetry analysis. The fundamental concepts of photogrammetric data gathering and processing are first presented followed by a review of research related to the use of close-range photogrammetry for measurement of structural deformations over the last twenty-five years. Theoretical formulas and finite element analyses were used to further validate the photogrammetry results.

Stan Hendricks

Stan Hendricks, who has never played a serious game of table poker, has nevertheless been able to parlay his engineering background, analytical mind and years of experience with computer spreadsheets into the development of a really simple method that enables anyone...expert or novice...to "play the odds" and maximize the likelihood of success in playing video poker. This book will show you, among other things, why... * A casino can afford to offer nearly 100% payoff. * It's usually better to hold a Jack than an Ace. * Four cards of a flush is a better bet than an outside straight. * Betting the maximum coins doesn't always give you better odds. * A low pair is better to hold than a whole bunch of other options that might seem at first glance to be more desirable. * Sometimes it may be worthwhile to "take a flyer" at a big winner even though the odds say otherwise. * Your chances of getting an honest deal are pretty good. * The cards you...

This book constitutes the symposia and workshops of the 10th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP. Each of the sympois and workshops focuses on a particular theme and complements the spectrum of the main conference.

Susan H. Vanhuss, Connie M. Forde, Donna L. Woo

John Paul Mueller, John Paul Mueller

John guides the reader through the new and unfamiliar Windows interface, while introducing the new features. The book provides information in several formats, all integrated with theory, tutorials, procedures, tips and comprehensive. Topics rangefrom:* Installation of Windows XP * Whether to upgrade and if so, how to do it * Configuring services and setting up users * Navigation of the new menus * Explanation of the new internet options, such as third party cookiealert, firewalls, and web publishing wizard * Registry configurations * Integration ideas for home networks and explanations about using the networking wizards * Accessory overview * Using XP on laptops * Working with Linux Maintaining the system & productivity tips

Randy Shih

This book contains a series of ten tutorial style lessons designed to introduce Autodesk Inventor, solid modeling, and parametric modeling. It uses a hands-on, exercise-intensive approach to all the import parametric modeling techniques and concepts. Thelessons guide the user from constructing basic shapes to building intelligent solid models and creating multi-view drawings.

Rinzen