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

Экономика производства и применения железобетонных предварительно напряженных балок и ферм

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

Computing and Combinatorics

This book constitutes the refereed proceedings of the 23rd International Conference on Computing and Combinatorics, COCOON 2017, held in Hiong Kong, China, in August 2017. The 56 full papers papers presented in this book were carefully reviewed and selected from 119 submissions. The papers cover various topics, including algorithms and data structures, complexity theory and computability, algorithmic game theory, computational learning theory, cryptography, computationalbiology, computational geometry and number theory, graph theory, and parallel and distributed computing.

Сейсмостойкость зданий и инженерных сооружений

Рассмотрены результаты экспериментальных крупно модельных исследований зданий на мощной сейсмоплатформе, конструкции крупнопанельных, каркасных и кирпичных зданий и материалов при статических и динамических на грузках

Modelling Foundations and Applications

Software Technologies: Applications and Foundations (STAF) is a federation of leading conferences on software technologies. It provides a loose umbrella organization with a Steering Committee that ensures continuity. The STAF federated event takes place annually. The participating conferences may vary from year to year, but they all focus on foundational and practical advances in software technology. The conferences address all aspects of software technology, from object-oriented design, testing, mathematical approaches to modeling and verification, transformation, model-driven engineering, aspect-oriented techniques, and tools.

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

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

Жилые здания рамно-панельной системы

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

Advanced Information Systems Engineering Workshops

This book constitutes the thoroughly refereed proceedings of three international workshops held in Rome, Italy, in June 2019, associated with the 31st International Conference on Advanced Information Systems Engineering, CAiSE 2019. ASDENCA - Advances in Services DEsign based on the Notion of Capability.- Validation of Capability Modeling Concepts: A Dialogical Approach.- Towards Improving Adaptability of Capability Driven Development Methodology in Complex Environment.- Using Open Data to Support Organizational Capabilities in Dynamic Business Contexts.- Capability Management in the Cloud: Model and Environment.- BDA - Business Data Analytics: Techniques and Applications. -Using BPM Frameworks for Identifying Customer Feedback about Process Performance.- Increasing Trust in (Big) Data Analytics.

Оборотные средства и производственные запасы строительных организаций

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

Understanding Information

The motivation of this edited book is to generate an understanding about information, related concepts and the roles they play in the modern, technology permeated world. In order to achieve our goal, we observe how information is understood in domains, such as cosmology, physics, biology, neuroscience, computer science, artificial intelligence, the Internet, big data, information society, or philosophy. Together, these observations form an integrated view so that readers can better understand this exciting building-block of modern-day society.

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

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

End-User Development

his book constitutes the refereed proceedings of the 6th International Symposium on End-User Development, IS-EUD 2017, held in Eindhoven, The Netherlands, in June 2017. The 10 full papers and 3 short papers presented were carefully reviewed and selected from 26 submissions. According to the theme of the conference "that was business, this is personal" the papers address the personal involvement and engagement of end-users, the application of end-user programming beyond the professional environment looking also at discretionary use of technologies. They also deal with topics covered by the broader area of end-user development such as domain specific tools, spreadsheets, and end user aspects.

Делопроизводство на государственном языке

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

Анализ использования фонда заработной платы и эффективности оплаты труда в строительно-монтажных организациях

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

Automotive Software Architectures

This book introduces the concept of software architecture as one of the cornerstones of software in modern cars. Following a historical overview of the evolution of software in modern cars and a discussion of the main challenges driving that evolution, Chapter 2 describes the main architectural styles of automotive software and their use in cars’ software. In Chapter 3, readers will find a description of the software development processes used to develop software on the car manufacturers’ side. Chapter 4 then introduces AUTOSAR – an important standard in automotive software. Chapter 5 goes beyond simple architecture and describes the detailed design process for automotive software using Simulink, helping readers to understand how detailed design links to high-level design. Next, Chapter 6 presents a method for assessing the quality of the architecture – ATAM (Architecture Trade-off Analysis Method) – and provides a sample assessment, while Chapter 7 presents an alternative way of assessing the architecture, namely by using quantitative measures and indicators. Subsequently Chapter 8 dives deeper into one of the specific properties discussed in Chapter 6 – safety – and details an important standard in that area, the ISO/IEC 26262 norm. Lastly, Chapter 9 presents a set of future trends that are currently emerging and have the potential to shape automotive software engineering in the coming years.

Agile Processes in Software Engineering and Extreme Programming

XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends.  XP conferences provide an informal environment to learn and trigger discussions and welcome both people new to agile and seasoned agile practitioners. This year’s conference was held with the theme “Agile Turns Twenty While the World Goes Online.

NASA Formal Methods

This book constitutes the proceedings of the 9th International Symposium on NASA Formal Methods, NFM 2017, held in Moffett Field, CA, USA, in May 2017. The 23 full and 8 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The papers focus on formal techniques and other approaches for software assurance, their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during all stages of the software life-cycle.