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

Налоги

В учебном пособии представлена существующая система налогообложения Российской Федерации, детально охарактеризованы все виды налогов, отражены вопросы информатизации налоговой системы, систематизирован материал по применению налогового законодательства с учетом нового налогового законодательства. Книга имеет предметно-хронологический указатель нормативных актов по налогообложению и алфавитно-предметный указатель (3-е изд.- 1997 г.). Для студентов высших учебных заведений, специализирующихся в области экономики и финансов, а также практических работников.

Изобразительное искусство 5

Учебник для учащихся 5 классов общеобразовательных школ.

Software Engineering for Resilient Systems

The workshop was established by the members of the ERCIM working group SERENE. The group promotes the idea of the resilient-explicit development process. It stresses the importance of extending the traditional software engineering practice with the theories and tools supporting modelling and verification of various aspects of resilience. We would like to thank the SERENE working group for their hard work on publicizing the event and contributing to its technical program. SERENE 2017 attracted 16 submissions, from which 11 papers were accepted. Every paper received three rigorous reviews. All submissions were of a high quality, which has allowed us to build a strong and technically enlightening program. We would like to express our gratitude to the program committee members and the additional reviewers who have actively participated in reviewing and discussing the submissions.

Монтаж крупнопанельных зданий

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

Mobile Web and Intelligent Information Systems

The 23 full papers together with 4 short papers presented in this volume were carefully reviewed and selected from 77 submissions. The call for papers of the MobiWis 2017 included new and emerging areas such as: mobile web systems, recommender systems, security and authentication, context-awareness, mobile web and advanced applications, cloud and IoT, mobility management, mobile and wireless networks, and mobile web practice and experience.

Collaboration and Technology

The papers cover the entire field of human-computer interaction, addressing major advances in knowledge and effective use of computers in a variety of applications areas. The papers in this volume are organized in the following topical sections: designing and evaluating systems and applications, technological innovation in education, learning and collaboration, learners, engagement, motification, and skills, games and gamification of learning, technology-enhanced teaching and assessment, computing and engineering education.

Экономика материально-технического снабжения

В настоящем учебном пособии помещены задачи по всем темам курса «Экономика, организация и планирование материально-технического снабжения» и методические указания к решению задач каждой темы. В основу построения задач легли материалы, взятые из практики работы органов системы Госснаба СССР и предприятий, Сборник задач составлен с таким расчетом, чтобы студенты, решая предложенные задачи, закрепляли знания, полученные на лекциях и при изучении учебника.

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

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

Advances in Cryptology – CRYPTO 2017

The three volume-set, LNCS 10401, LNCS 10402, and LNCS 10403, constitutes the refereed proceedings of the 37th Annual International Cryptology Conference, CRYPTO 2017, held in Santa Barbara, CA, USA, in August 2017. The 72 revised full papers presented were carefully reviewed and selected from 311 submissions. The papers are organized in the following topical sections: functional encryption; foundations; two-party computation; bitcoin; multiparty computation; award papers; obfuscation; conditional disclosure of secrets; OT and ORAM; quantum; hash functions; lattices; signatures; block ciphers; authenticated encryption; public-key encryption, stream ciphers, lattice crypto; leakage and subversion; symmetric-key crypto, and real-world crypto.

Легкая атлетика

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

Инфокоммуникационные системы и сети

Новые информационные и телекоммуникационные (ИКТ или инфокоммуникационные) технологии и техника стали базовыми технологиями и техникой для других видов деятельности. Формируемая при помощи инфокоммуникаций информационная среда наряду с социальной и экологической средами становится новой средой обитания человека. В рамках дисциплины «Инфокоммуникационные системы и сети» изучаются единая сеть электросвязи РФ, технологии и системы передачи сигналов, мультиплекси-рования, множественного доступа и коммутации, открытые инфокоммуникационные системы и другие технологии, лежащие в основе современных инфокоммуникаций.

В помощь монтажнику крупнопанельных зданий

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

ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ СИСТЕМ ЖЕЛЕЗНОДОРОЖНОЙ АВТОМАТИКИ И ТЕЛЕМЕХАНИКИ

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

Logic-Based Program Synthesis and Transformation

The 20 revised full papers presented together with the abstracts of 3 invited talks were carefully reviewed and selected from 38 submissions. The aim of the LOPSTR series is to stimulate and promote international research and collaboration on logic-based program development. LOPSTR is open to contributions in all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large. LOPSTR traditionally solicits contributions, in any language paradigm, in the areas of synthesis, specification, transformation, analysis and verification, specialization, testing and certification, composition, program/model manipulation, optimization, transformational techniques in SE, inversion, applications, and tools.

Инструкция по инструментальному контролю при приемке в эксплуатацию законченных строительством и капитально отремонтированных жилых зданий

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

Hello, Android Introducing Google’s Mobile Development Platform

Android is a software toolkit for mobile phones and tablets, created by Google. It's inside more than a billion devices, making Android the number one platform for application developers. Your own app could be running on all those devices. Getting started developing with Android is easy. You don't even need access to an Android phone, just a computer where you can install the Android SDK and the emulator that comes with it. Within minutes, Hello, Android gets you creating your first working application: Android's version of "Hello, World." From there, you'll build up a more substantial example: an Ultimate Tic-Tac-Toe game. By gradually adding features to the game, you'll learn about many aspects of Android programming, such as creating animated user interfaces, playing music and sound effects, building location-based services (including GPS and cell-tower triangulation), and accessing web services. You'll also learn how to publish your applications to the Google Play Store.