Unilibrary. Oliy ta'lim muassasalarining yagona elektron kutubxona axborot tizimi.

The Handbook of Formal Methods in Human-Computer Interaction

This book provides a comprehensive collection of methods and approaches for using formal methods within Human-Computer Interaction (HCI) research, the use of which is a prerequisite for usability and user-experience (UX) when engineering interactive systems. World-leading researchers present methods, tools and techniques to design and develop reliable interactive systems, offering an extensive discussion of the current state-of-the-art with case studies which highlight relevant scenarios and topics in HCI as well as presenting current trends and gaps in research and future opportunities and developments within this emerging field. The Handbook of Formal Methods in Human-Computer Interaction is intended for HCI researchers and engineers of interactive systems interested in facilitating formal methods into their research or practical work.

Сборник лекций по основам валеологии

Валеология - будучи наукой о здоровье, начинает занимать соответствующее место в этапах развития и совершенствования физкультурного образования

Data Integration Life Cycle Management with SSIS A Short Introduction by Example

Build a custom BimlExpress framework that generates dozens of SQL Server Integration Services (SSIS) packages in minutes. Use this framework to execute related SSIS packages in a single command. You will learn to configure SSIS catalog projects, manage catalog deployments, and monitor SSIS catalog execution and history. Data Integration Life Cycle Management with SSIS shows you how to bring DevOps benefits to SSIS integration projects. Practices in this book enable faster time to market, higher quality of code, and repeatable automation. Code will be created that is easier to support and maintain. The book teaches you how to more effectively manage SSIS in the enterprise environment by drawing on the art and science of modern DevOps practices.

Домовый гриб и борьба с ним

В книге излагаются вопросы гниения дерева, классификация и видовой состав наиболее распространенных домовых грибов и особенности их развития в зданиях. В заключение приводятся указания по борьбе с домовыми грибами и их истреблению. Книга предназначается в основном для инженерно-технических работников жилищных управлений и ремонто-строительных контор.

Practical C++ Design: From Programming to Architecture

Go from competent C++ developer to skilled designer or architect using this book as your C++ design master class. This title will guide you through the design and implementation of a fun, engaging case study. Starting with a quick exploration of the requirements for building the application, you'll delve into selecting an appropriate architecture, eventually designing and implementing all of the necessary modules to meet the project’s requirements. By the conclusion of Practical C++ Design, you'll have constructed a fully functioning calculator that builds and executes on multiple platforms. Access to the complete source code will help speed your learning. Utilize the Model-View-Controller pattern to determine the optimal architecture for the calculator; the observer pattern to design an event system; the singleton pattern as you design the calculator’s central data repository, a reusable stack; the command pattern to design a command system supporting unlimited undo/redo; and the abstract factory pattern for a cross-platform plugin infrastructure to make the calculator extensible.

Дополнения и изменения к «Единым нормам и расценкам на строительные, монтажные и ремонтно-строительные работы» (ЕНиР) 1969 г.

Разработаны Центральным бюро нормативов по труду в строительстве (ЦБНТС) при Всесоюзном научно-исследовательском и проектном институте труда в строительстве с участием Всесоюзного проектно-технологического института транспортного строительства (ВПТИтрансстрой) Министерства транспортного строительства, Центрального нормативно-исследовательского бюро (ЦНИБ) Министерства монтажных и специальных строительных работ СССР, Центра по научной организации труда и управления в энергетическом строительстве (Энергостройтруд) Министерства энергетики и электрификации СССР, Центра по научной организации труда (ЦНОТ) Министерства промышленного строительства СССР и Центра по научной организации труда и управления производством (ЦНОТ и УП) Министерства строительства предприятий тяжелой индустрии СССР.

Practical Azure Application Development: A Step-by-Step Approach to Build Feature-Rich Cloud-Ready Solutions

Get started and learn a step-by-step approach to application development using Microsoft Azure. Select the right services to solve the problem at hand in a cost-effective manner and explore the potential different services and how they can help in building enterprise applications. Azure has an ample amount of resources and tutorials, but most of them focus on specific services and explain those services on their own and in a given context. Practical Azure Application Development focuses on building complete solutions on Azure using different services. This book gives you the holistic approach to Azure as a solutions development platform.

Приемы восстановления деревянных перекрытий

Брошюра посвящена вопросам восстановления перекрытий при ремонте жилых зданий с сохранением существующих конструкций и материалов, а также применения новых конструктивных элементов, изготовляемых преимущественно из отходов металла и древесины. В брошюре описаны конструкции креплений, облегчающие и значительно удешевляющие работы по восстановлению перекрытий жилых зданий.

Test Driven Development in Ruby A Practical Introduction to TDD Using Problem and Solution Domain Analysis

My first thanks go to Steve Anglin, who approached me with the idea of writing a Ruby book. As a first-time author, I was both petrified and excited at the same time. He was very understanding about my situation and provided me the freedom to choose the topic and timing of the book. I would like to thank Rhonda Jezek for pairing with me on most of the examples in this book, and Daniel Pritchard for believing in me and encouraging me to write the book. I also would like to thank the members of my Silicon Valley Ruby meetup, who provided valuable feedback about the early material in this book at the bootcamps and tutorials. Thanks to Emily Bache for providing me with very candid technical feedback, and Randy Coulman for his inspiring presentations and technical review of one of the chapters. I would also like to thank Mayank Suri for challenging me and pushing me out of my comfort zone in order to accomplish bigger goals in my career. This book builds on top of the work of others like Kent Beck, Robert Martin, Eric Evans, Gerard Meszaros, Michael Feathers, and others mentioned in the book. I cannot thank Ryan Davis enough for building a simple and elegant testing framework with a gentle learning curve for beginners.

Плоские крыши

В брошюре обобщен опыт проектирования, строительства, ремонта и содержания плоских крыш жилых и общественных зданий, приведены рекомендации по проектированию рациональной конструкции плоской крыши, по текущему и капитальному ремонту, а также по технической эксплуатации (содержанию) плоских крыш.

Справочник для бригадира монтажников

Карманный справочник бригадира монтажника технологического оборудования содержит основные, часто требующиеся в процессе работы сведения общетехнического характера, сведения о монтажном оборудовании, материалах, применяемых при монтаже технологического оборудования, а также данные по такелажу, установке и выверке оборудования и его узлов. В карманном справочнике приведены допуски на монтаж основных видов оборудования.

Oracle Application Express by Design

First, April Bending, my wife, has supported and encouraged me throughout this project. Without her and her sharp eye for proofreading, this book would not exist. Second, Insum Solutions Inc. and its supportive team have given me invaluable insights into how people, processes, and technology all work together to achieve results. Third, the APEX community, whom I have met over the years at various conferences, have fostered an incredible and generous environment of caring and sharing. A special shout-out goes to the APEX development team; without their Herculean efforts and culture of generosity, APEX and its community would not exist.

Cases and materials on international law.

The Sources of International Law. International Law and Municipal Law.

Накладные расходы в строительстве

В брошюре рассматриваются состав и структура накладных расходов и факторы, определяющие их размер. Приводятся отчетные данные большого числа строительных организаций о структуре накладных расходов по отдельным статьям и элементам затрат.

Cyber Age

"Cyber Age" is B2 level English manual for students of Information Security and Technical English in Higher Education. It aims to help students to improve a wide variety of language skills and to acquire necessary knowledge in IT sphere. The main features of the manual is integration of wide range of topics for with texts on specialty . The subjects that play a role here are discussed in more detail in the relevant lessons. Each lesson will explain why the specific subject is relevant. This will be clarified using cases from everyday practice. This manual is intended for everyone who wishes to have a basic understanding of information security. This basic understanding is important to all students in a faculty as they all work with information. This basic knowledge is also important for all teachers, as they are responsible for protecting their own information.

Единые нормы и расценки на строительные, монтажные и ремонтно-строительные работы

Нормы и расценки настоящего сборника предусматривают основные виды отделочных работ: штукатурные, облицовочные, малярные, обойные и стекольные.