102 products were found matching your search for Specifying in 2 shops:

This innovative volume provides a hands-on introduction to techniques for specifying the behavior of software components. A text for a second-year undergraduate course in Computer Science and Computer Engineering programs, it is also suitable for self-study. This book will help students to improve their programming skills and gain a sound foundation and motivation for subsequent courses in advanced algorithms and data structures, software design, formal methods, compilers, programming languages, and theory. The main topics covered are techniques for using programmer-friendly assertional notations to specify, develop, and verify small but non-trivial algorithms and data representations, and the use of state diagrams, grammars, and regular expressions to specify and develop recognizers for formal languages. The presentation is based on numerous examples and case studies appropriate to the level of programming expertise of the intended readership.

Based on the International Building Code (IBC), this updated and expanded edition of the industry standard covers today’s diverse materials, regulations and requirements, specification formats, and more. Just as detailed as the specifications it explains, this comprehensive Second Edition provides all the critical information necessary for completing contract documents, all organized in a quick-reference format.

This work shows how to write unambiguous specifications of complex computer systems. The first part provides a concise and lucid introduction to specification, explaining how to describe, with mathematical precision, the behavioural properties of a system - what that system is allowed to do. The emphasis here is on safety properties. The second part covers more advanced topics, including liveness and fairness, real time properties, and composition. The books final two parts provide a complete reference manual for the TLA+ language and tools, as well as a mini-manual.

This work shows how to write unambiguous specifications of complex computer systems. The first part provides a concise and lucid introduction to specification, explaining how to describe, with mathematical precision, the behavioural properties of a system - what that system is allowed to do. The emphasis here is on safety properties. The second part covers more advanced topics, including liveness and fairness, real time properties, and composition. The books final two parts provide a complete reference manual for the TLA+ language and tools, as well as a mini-manual.

Based on the International Building Code (IBC), this updated and expanded edition of the industry standard covers today’s diverse materials, regulations and requirements, specification formats, and more. Just as detailed as the specifications it explains, this comprehensive Second Edition provides all the critical information necessary for completing contract documents, all organized in a quick-reference format.

Providing an overview of specifying, from selecting materials and products to writing the specification documents, Specifying Buildings is a new guide to this important part of the construction process. Where it differs from most books is in covering the management of the specification process, making sure that the design intent is transferred to the building assembly as specified.Covering a wide range of practices, Stephen Emmitt and David Yeomans have ensured the book has global relevance with specific differences between UK, Australia and the US identified. Case studies demonstrate how specifying works in practice. This book will prove invaluable to students of building, construction and architecture as well as professionals in the industry.* Improve your skills by learning not only how to write a specification but also how to manage the specification process* Deepen your understanding with a comprehensive overview of the specifying process from selecting materials and products to writing the specification* Gain an insight into practice with real-world case studies

New! This book is in the same immaculate condition as when it was published 2.22

Do you want to be a professional shoe designer? You must learn how to select and specify shoe materials correctly. The Shoe Material Design Guide details all the materials you will need to make modern athletic, classic casuals and high fashion footwear. Written as a companion to our best selling How Shoes are Made , The Shoe Material Design Guide digs deep into the world of footwear materials and design. A must-read for young shoe designers! Each chapter covers a specific shoe material type. You will learn how each material is made, the options available, and how to specify the material correctly. Chapters focus on shoe leather, textiles, synthetics, shoelaces, glue, reinforcements, hardware, logos, midsoles, outsoles, and more! You will also find information on topics such as material testing, sustainable production, and exotic materials. Photographic cross section diagrams from more than 30 different shoe types included. You can see exactly how each material is used inside real production shoes. Look at basketball shoes, running shoes, track spikes, hiking boots, work boots, high heels, cowboy boots, and many more! A must-have book for anyone interested in shoe design, shoemaking, and footwear design. Soft Cover, 330 color photos,  28 Chapters, 195 Pages.

Book is in Used-Good condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain limited notes and highlighting. 2.22

This book is part of a five-book series called The Data Center Builder’s Bible. This Book 2 of the Series “Site Identification and Selection,” is a 175-page deep dive into one of the most critical phases of the effort. It explains how to assess various Data Centers, determine the risks associated with each Data Center and the area in which it was built and determine the comparative economics of the Data Centers. Also, all spreadsheets used in the process are available in electronic for to buyers of the Print version.Every year more and more Information Technology teams are finding themselves needing to build a new Data Center and relocate their current environment to that new site. The massive challenge of building and migrating a Data Center to a new location requires a unique set of skills that are almost never available in a typical IT department. The stakes are huge. Fail in the effort for a seamless – as in invisible – migration can result in anything from a destroyed career to a failed business. The skills needed include understanding how to define your data center requirements, site selection skills, data center design and build skills, a solid understanding of Data Center Critical Infrastructure as well as Application and Data Migration, specialized project management skills, and incredibly broad knowledge across technologies.About the AuthorArt Carapola has been designing, building and relocating Data Centers since 1991, ranging from small server room environments to Enterprise Data Centers consisting of hundreds of thousands of feet of equipment space. His record of 100% successful on time and budget Data Center projects has made him a sought-after expert in the field. Art is President and CTO of NewVista Advisors, llc, a consulting firm specializing in Data Center, Trading Floor and IT Infrastructure design, implementation and Project Management.

This book is part of a five-book series called The Data Center Builder’s Bible. This Book 2 of the Series “Site Identification and Selection,” is a 175-page deep dive into one of the most critical phases of the effort. It explains how to assess various Data Centers, determine the risks associated with each Data Center and the area in which it was built and determine the comparative economics of the Data Centers. Also, all spreadsheets used in the process are available in electronic for to buyers of the Print version.Every year more and more Information Technology teams are finding themselves needing to build a new Data Center and relocate their current environment to that new site. The massive challenge of building and migrating a Data Center to a new location requires a unique set of skills that are almost never available in a typical IT department. The stakes are huge. Fail in the effort for a seamless – as in invisible – migration can result in anything from a destroyed career to a failed business. The skills needed include understanding how to define your data center requirements, site selection skills, data center design and build skills, a solid understanding of Data Center Critical Infrastructure as well as Application and Data Migration, specialized project management skills, and incredibly broad knowledge across technologies.About the AuthorArt Carapola has been designing, building and relocating Data Centers since 1991, ranging from small server room environments to Enterprise Data Centers consisting of hundreds of thousands of feet of equipment space. His record of 100% successful on time and budget Data Center projects has made him a sought-after expert in the field. Art is President and CTO of NewVista Advisors, llc, a consulting firm specializing in Data Center, Trading Floor and IT Infrastructure design, implementation and Project Management.

This book is in good condition. The cover has minor creases or bends. The binding is tight and pages are intact. Some pages may have writing or highlighting.

205 pages. 9.00x6.00x0.49 inches. In Stock.

14 AWG 4 conductor vinyl nylon tray cable is designing to fit all ductless mini split air conditioner and heat pump systems specifying 4 conductor control cable. The cable connects indoor and outdoor units. UL Listed, contractors grade, color coded, stranded, black exterior jacket. Can be cut for an exact installation.

PC-Concrete epoxy gel is an anchoring and concrete repair product. PC Concrete has exceptional strength, maximum field reliability, along with a high heat deflection temperature of 134°F, which provides engineers and contractors with a choice for specifying and setting adhesive anchors in elevated temperature environments. PC Concrete out performs all caulks and hydraulic cement. PC Concrete will not come loose from any cleaned concrete surface. PC Concrete the best solution for permanent concrete repair. PC Concrete is a two component (1:1 ratio), 100 percent solids, high modulus, and structural epoxy gel. It is a solvent free, no odor, high strength, moisture-insensitive epoxy. In addition, PC Concrete has a long working time (20 minutes at 75°F), while providing a bolt down/paint time in as little as 4 hours. PC-Concrete has been tested in accordance with the ICC-AC58 Acceptance criteria for adhesive anchors in concrete and masonry elements. PC-Concrete is recognized for the following uses: static loads, seismic / wind loading, long term creep at elevated temperatures, static loading at elevated temperatures, damp holes, freeze thaw conditions, critical and minimum edge and spacing distances. Used as adhesive for wood, metal (all types), glass, brick, block, rubber, concrete, stone, slate, fiberglass, tile, and more in any and all combinations. Color (component a): White. Color (component B): Dark gray. Color (mixed): Concrete gray. Color: Brown.

Superior design combined with industry leading efficiency makes HAYDON's Hi-Output 958 the best choice for both the specifying engineer and the heating contractor. Its durable construction with standard 18-Gauge front cover makes the 958 ideal for demanding residential and commercial applications, and its reliability and quiet operation are a plus in every setting. Residential and/or light commercial use. Color: White.

Superior design combined with industry leading efficiency makes HAYDON's Hi-Output 958 the best choice for both the specifying engineer and the heating contractor. Its durable construction with standard 18-Gauge front cover makes the 958 ideal for demanding residential and commercial applications, and its reliability and quiet operation are a plus in every setting. Residential and/or light commercial use. Color: White.

Superior design combined with industry leading efficiency makes HAYDON's Hi-Output 958 the best choice for both the specifying engineer and the heating contractor. Its durable construction with standard 18-Gauge front cover makes the 958 ideal for demanding residential and commercial applications, and its reliability and quiet operation are a plus in every setting. Residential and/or light commercial use. Color: White.

PC Concrete epoxy gel is an anchoring and concrete repair product. PC Concrete has exceptional strength and maximum field reliability. The high heat deflection temperature of 134°F provides engineers and contractors with a choice for specifying and setting adhesive anchors in elevated temperature environments. PC Concrete out-performs all caulks and hydraulic cement. PC Concrete will not come loose from any cleaned concrete surface. PC Concrete is the best solution for permanent concrete repair. Can also be used as an adhesive for wood, metal (all types), glass, brick, block, rubber, concrete, stone, slate, fiberglass, tile, and more in any and all combinations.

PC Concrete epoxy gel is an anchoring and concrete repair product. PC Concrete has exceptional strength, maximum field reliability, along with a high heat deflection temperature of 134 degree F, which provides engineers and contractors with a choice for specifying and setting adhesive anchors in elevated temperature environments. PC Concrete out performs all caulks and hydraulic cement. PC Concrete will not come loose from any cleaned concrete surface. PC Concrete the best solution for permanent concrete repair. PC Concrete is a two component (1:1 ratio), 100 percent solids, high modulus and structural epoxy gel. It is a solvent free, no odor, high strength, moisture-insensitive epoxy. In addition, PC Concrete has a long working time (20 minutes at 75 degree F), while providing a bolt down/paint time in as little as 4 hours. PC-Concrete has been tested in accordance with the ICC-AC58 Acceptance criteria for adhesive anchors in concrete and masonry elements. PC-Concrete is recognized for the following uses: static loads, seismic / wind loading, long term creep at elevated temperatures, static loading at elevated temperatures, damp holes, freeze thaw conditions, critical and minimum edge and spacing distances. Used as adhesive for wood, metal (all types), glass, brick, block, rubber, concrete, stone, slate, fiberglass, tile and more in any and all combinations. Color: Grey.