![]() |
Opamp Technical Books 1033 N. Sycamore Ave. Los Angeles, CA 90038 WWW.OPAMP.COM 1 - 800 - 468 - 4322 8:00am-4:30pm M-F 9:00am-5:30pm Sat |
|
|---|
![]() |
Keywords: roof
Your search found 167 books Now viewing Books 1 - 25 In stock items ship IMMEDIATELY. Other titles usually ship within 2-3 days. |
![]() |
|---|
| 2006 IRC INTERNATIONAL RESIDENTIAL CODE DVD SERIES, VIDEO 7 CEILING & ROOF CONSTRUCTION | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
| Covers basic requirement for ceiling and roof construction including: Methods of construction Framing of Openings Lateral support Cutting and Notching | |||||||
| ICC - INTERNATIONAL CODE COUNCIL | ISBN-10: 1050DVD67 ISBN-13: | PGS: N/A | List: 51.00 YOUR PRICE: 48.45 | ||||
| 2006 IRC INTERNATIONAL RESIDENTIAL CODE DVD SERIES, VIDEO 7: CEILING & ROOF CONSTRUCTION - WORKBOOK ONLY | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
| Workbook only. Covers basic requirement for ceiling and roof construction including: Methods of construction Framing of Openings Lateral support Cutting and Notching | |||||||
| ICC - INTERNATIONAL CODE COUNCIL | ISBN-10: 1050S67 ISBN-13: | PGS: N/A | List: 16.50 YOUR PRICE: 15.68 | ||||
| 2006 IRC INTERNATIONAL RESIDENTIAL CODE DVD SERIES, VIDEO 9: ROOF & ROOF COVERINGS | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
| This video discusses the basic requirements for roof and roof coverings including: Roof covering classification Methods of construction Draftstopping and ventilation Attic access requirements | |||||||
| ICC - INTERNATIONAL CODE COUNCIL | ISBN-10: 1050DVD69 ISBN-13: | PGS: N/A | List: 51.00 YOUR PRICE: 48.45 | ||||
| 2006 IRC INTERNATIONAL RESIDENTIAL CODE DVD SERIES, VIDEO 9: ROOF & ROOF COVERINGS - WORKBOOK ONLY | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
| Workbook only. This video discusses the basic requirements for roof and roof coverings including: Roof covering classification Methods of construction Draftstopping and ventilation Attic access requirements | |||||||
| ICC - INTERNATIONAL CODE COUNCIL | ISBN-10: 1050S69 ISBN-13: | PGS: N/A | List: 16.50 YOUR PRICE: 15.68 | ||||
| Abstraction, Refinement and Proof for Probabilistic Systems | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
| The book is a highly focused survey on probabilistic program semantics, edited and rationalized to tell a coherent story with a uniform notation. It is grouped into three themes: Part I is for 'users' of the techniques who will be developing actual progra, * Introduction to pGCL * Invariants and variants for probabilistic loops * Case studies in probabilistic primality and choice- coordination * Probabilistic Steam Boiler--data refinement * Theory for the demonic model * Geometry of probabilistic progams * | |||||||
| SPRINGER VERLAG | H | ISBN-10: 0387401157 ISBN-13: 9780387401157 | PGS: N/A | List: 109.00 YOUR PRICE: 103.55 | |||
| Abuse Proofing Your Facility : Practical Guide for Preventing Abuse , 1st Ed. | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
| In straightforward, well-organized sections, Abuse-Proofing Your Facility gives you all the tools you need to dramatically lessen resident abuse in your facility. Written by three leading experts, this book can protect your residents and it can protect you from costly liability exposure. | |||||||
| Thomson Delmar Learning - CENGAGE | S | ISBN-10: 0965362930 ISBN-13: 9780965362931 | PGS: 112 | List: 54.95 YOUR PRICE: 52.20 | |||
| Adapting Proofs-as-Programs | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
Finding new applications for an old idea, this monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with, Part I. Prologue * Introduction * Part II. Generalizing proofs-as-programs * Functional program synthesis * The Curry-Howard protocol * Part III. Imperative proofs-as-programs * Intuitionistic Hoare logic * Properties of intuitionistic Hoare logic * | |||||||
| SPRINGER VERLAG | H | ISBN-10: 0387237596 ISBN-13: 9780387237596 | PGS: N/A | List: 89.95 YOUR PRICE: 85.45 | |||
| Age-Proof Your Body, 1st Ed. | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
Learn the secret to living a longer, healthier, and more vital life, from one of the "Today" show's most popular nutritionists In this newly revised edition of her bestselling book, nutritionist Elizabeth Somer offers you a total program for slowing the aging process while reducing your risk of many age-related diseases. Drawing upon the latest research, Age-Proof Your Body provides information on how you can extend your life expectancy and look and feel younger by making simple lifestyle changes. | |||||||
| McGraw-Hill | S | ISBN-10: 0071462643 ISBN-13: 9780071462648 | PGS: N/A | List: 18.95 YOUR PRICE: 18.00 | |||
| Algebraic and Proof-theoretic Aspects of Non-classical Logics | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
| Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the third volume of the FoLLI LNAI subline. The 17 revised papers of this Festschrift volume - published in honour of Daniele Mundici on the occa, | |||||||
| SPRINGER VERLAG | S | ISBN-10: 3540759386 ISBN-13: 9783540759386 | PGS: N/A | List: 69.95 YOUR PRICE: 66.45 | |||
| An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
| This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, , | |||||||
| SPRINGER VERLAG | H | ISBN-10: 1402007637 ISBN-13: 9781402007637 | PGS: N/A | List: 139.00 YOUR PRICE: 132.05 | |||
| Analysis: With an Introduction to Proof, 4th Ed. | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
| Chapter 1. Logic and Proof. Section 1. Logical Connectives Section 2. Quantifiers Section 3. Techniques of Proof: I Section 4. Techniques of Proof: II 2. | |||||||
| Prentice Hall - PEARSON | H | ISBN-10: 0131481010 ISBN-13: 9780131481015 | PGS: N/A | List: 114.67 YOUR PRICE: 108.94 | |||
| And Then the Roof Caved In: How Wall Street's Greed and Stupidity Brought Capitalism to Its Knees | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
| And Then the Roof Caved In skillfully explores the causes and consequences of the recent financial collapse. Written by David Faber—the award-winning CNBC correspondent—this compelling account is filled with the candid reflections of th CONTENTS: Acknowledgments.@pPrologue “On the Verge”.@pChapter 1 Bubble to Bubble.@pGreenspan’s Shock and Awe.@pHouses Built on Cow Dung.@pChapter 2 Home Sweet Home.@pOpening Doors.@pAn Industry Is Born.@pSubprime Returns.@pChapter 3 The Subprime M | |||||||
| Wiley | ISBN-10: 0470474238 ISBN-13: 9780470474235 | PGS: N/A | List: 26.95 YOUR PRICE: 25.60 | ||||
| And Then the Roof Caved In: How Wall Street's Greed and Stupidity Brought Capitalism to Its Knees, Revised and Updated | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
| And Then the Roof Caved In, Revised and Updated lays bare the truth of the credit crisis, whose defining emotion at every turn has been greed, and whose defining failure is the complicity of the U.S. government in letting that greed rule the day. It lays that truth out in painstaking detail with compelling characters who offer their first-hand accounts of what they did and why they did it. Faber explains the events of the previous seven years that created the crisis of confidence that culminated on September 18th. He begins in 2001, when the Federal Reserve embarked on an unprecedented effort to help the economy recover from the attacks of 9/11 by sending interest rates to all time lows. One result was the start of a housing bubble, the likes of which our nation had never witnessed. Readers will hear from the man behind that bubble, Dr. Alan Greenspan, who vigorously defended his decisions during this period, as well as the men and women who used sub-prime mortgages to buy their homes and now find themselves in the depths of despair. Faber also gives readers a deep, inside look at Wall Street, where the crisis was incubated and unleashed on the world. Bankers who led that effort admit to their only true motivation and share their secrets. Faber introduces readers to insiders from the ratings agencies, who take their former employers to task for abandoning any promise of integrity in their much valued credit ratings; regulators, who tried to stop this problem before it swung out of control; and the hedge fund managers who correctly foresaw the coming housing crash and profited from it. | |||||||
| Wiley | S | ISBN-10: 0470607386 ISBN-13: 9780470607381 | PGS: N/A | List: 16.95 YOUR PRICE: 16.10 | |||
| Applied Proof Theory: Proof Interpretations and their Use in Mathematics | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
This is the first treatment in book format of proof-theoretic transformations -- known as proof interpretations -- that focuses on applications to ordinary mathematics. It covers both the necessary logical machinery behind the proof interpretations tha, Preface.- Introduction.- Unwinding of proofs (`Proof Mining').- Intuitionistic and classical arithmetic in all finite types.- Representation of Polish metric spaces.- Modified realizability.- Majorizability and the fan rule.- Semi-intuitionistic system | |||||||
| SPRINGER VERLAG | H | ISBN-10: 3540775324 ISBN-13: 9783540775324 | PGS: N/A | List: 99.00 YOUR PRICE: 94.05 | |||
| AUTODESK ARCHITECTURAL DESKTOP INTERMEDIATE: Through the Roof, Release 3.3 | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
| Contents: Overview; Mass Elements & Mass Groups; Creating a Multi-Storied Building; Working with Walls & Window Assemblies; Curtain Walls; Window Assemblies; Floor Slabs; Column Grids & Structural Members; Vertical Transportation; Roofs; Commercial Lavatories. | |||||||
| SCHROFF DEVELOPMENT CORPORATION | S | ISBN-10: 1585030945 ISBN-13: 9781585030941 | PGS: 397 | List: 59.95 YOUR PRICE: 56.95 | |||
| Basic Proof Theory, 2nd Ed. | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
| This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of first-order logic formalization. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic, logic programming theory, category theory, modal logic, linear logic, first-order arithmetic and second-order logic. In each case the authors illustrate the methods in relatively simple situations and then apply them elsewhere in much more complex settings. For the new edition, they have rewritten many sections to improve clarity, added new sections on cut elimination, and included solutions to selected exercises. In general, the only prerequisite is a standard course in first-order logic, making the book ideal for graduate students and beginning researchers in mathematical logic, theoretical computer science and artificial intelligence. | |||||||
| CAMBRIDGE UNIV. PRESS | ISBN-10: 0521779111 ISBN-13: 9780521779111 | PGS: N/A | List: 37.99 YOUR PRICE: 37.99 | ||||
| Basics Roof Construction | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
Roof structures are often treated in connection with masonry construction in the student's first designs. What are the different ways to create a protective canopy for a building, and what are the different forms such a structure may take? Themes:
| |||||||
| SPRINGER VERLAG | S | ISBN-10: 3764376833 ISBN-13: 9783764376833 | PGS: N/A | List: 16.50 YOUR PRICE: 15.68 | |||
| Betty Crocker Complete Thanksgiving Cookbook: All You Need to Cook a Foolproof Dinner | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
| You Asked Us. 1. Turkey Tribute and Encores. 2. Gravy, Stuffing and Sauces. 3. Sensational Sides. 4. More Great Main Dishes. 5. Breads and Rolls. 6. Soups and Salads. 7. Delicious Desserts. 4 Countdown Menus. Helpful Nutrition and Cooking Information. Metric Conversion Guide. Index. | |||||||
| Betty Crocker - WILEY | S | ISBN-10: 0764525743 ISBN-13: 9780764525742 | PGS: N/A | List: 17.95 YOUR PRICE: 17.05 | |||
| Building a Roll-off Roof Observatory | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
Almost every amateur astronomer who has taken the pursuit to its second level aspires to a fixed, permanent housing for his telescope, permitting its rapid and comfortable use and avoiding hours of setting-up time for each observing session. A roll-off, | |||||||
| SPRINGER VERLAG | S | ISBN-10: 0387766034 ISBN-13: 9780387766034 | PGS: 190 | List: 59.95 YOUR PRICE: 56.95 | |||
| Bulletproof Ajax | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
| New Riders Press - PEARSON | ISBN-10: 0321472667 ISBN-13: 9780321472663 | PGS: N/A | List: 39.99 YOUR PRICE: 37.99 | ||||
| Bulletproof Faith: A Spiritual Survival Guide for Gay and Lesbian Christians | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
This thoughtful, practical guide shows readers a way through the minefield of condemnation and persecution faced by gay, lesbian, bisexual, and transgender Christians and helps foster a faith that is bulletproofimpervious to attacks, yet loving a CONTENTS: Acknowledgments.@pIntroduction: There Is Only One Side.@pChapter 1: Becoming Bulletproof.@pChapter 2: Losing Our Religion.@pSpiritual Survival Exercise: Reclaiming Our Authentic Self.@pChapter 3: Learning to Love the Questions.@pChapter 4: Wisdom Before Weapons.@pSpiritual Survival Exercise: Surrender Before Battle.@pChapter 5: Learning the Outward Moves.@pChapter 6: The Gift of the Enemy.@pSpiritual Survival Exercise: Breathing into Our Pain.@pChapter 7: The Only Thing That Counts.@pChapter 8: You Know Your Faith Is Bulletproof When . . ..@pChapter 9: "No Weapon Shall Prosper".@pSpiritual Survival Exercise: Is That Your Final Answer?@pNotes.@pRecommended Reading.@pOnline Resources.@pAbout the Author. | |||||||
| Jossey-Bass - WILEY | ISBN-10: 0470279281 ISBN-13: 9780470279281 | PGS: N/A | List: 17.95 YOUR PRICE: 17.05 | ||||
| Bulletproof UNIX, 1st Ed. | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
1. Introduction. 2. Getting Started. 3. File Handling in Unix. 4. File Matching Metacharacters, Commands, and History. 5. Ed | |||||||
| Prentice Hall - PEARSON | S | ISBN-10: 0130930288 ISBN-13: 9780130930286 | PGS: N/A | List: 92.80 YOUR PRICE: 88.16 | |||
| Bulletproof Web Design: Improving flexibility and protecting against worst-case scenarios with XHTML and CSS | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
| New Riders Press - PEARSON | ISBN-10: 0321509021 ISBN-13: 9780321509024 | PGS: N/A | List: 39.99 YOUR PRICE: 37.99 | ||||
| Bulletproof Web Design: Improving flexibility and protecting against worst-case scenarios with XHTML and CSS | |||||||
|---|---|---|---|---|---|---|---|
| |||||||
| New Riders Press - PEARSON | ISBN-10: 0321346939 ISBN-13: 9780321346933 | PGS: N/A | List: 39.99 YOUR PRICE: 37.99 | ||||
![]() |
Your search found 167 books Now viewing Books 1 - 25 In stock items ship IMMEDIATELY. Other titles usually ship within 2-3 days. |
![]() |
|---|
| Location/Hours/General Info. | Ordering & Shipping | Search Techniques/Examples |
| Corporate Accounts | Government Buyers | Librarians |
| Universities & Colleges | Training Accounts | International Orders |
| Technical Books on these areas & more: | ||
|---|---|---|
| Computer | Business | Electronics |
| Engineering | Uniform & Code | Construction |
| Film & TV Industry | Legal | Medical |
| Recording Industry | Math & Science | Classic & Out-Of-Print Titles |
OPAMP Technical Books
1033 N. Sycamore Avenue
Los Angeles, California 90038
USA
800-468-4322 / 323-464-4322 FAX
323-464-0977
Copyright © 1997-2007 Opamp Technical Books, Inc.