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

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.

Использование математических методов в анализе строительных процессов

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

Халкаро ҳуқуқ

Ушбу китоб халкаро хукук фани буйича Укув кулланма сифатида тавсия этилмокда. Унда хозирги замон халкаро хукукининг келиб чикиши ва ривожланиши, унинг асосий тушунча ва принциплари, институтлари ва сохаларининг тараккиёт крнунлари уз аксини топган.

Elements of Robotics

This open access book bridges the gap between playing with robots in school and studying robotics at the upper undergraduate and graduate levels to prepare for careers in industry and research. Robotic algorithms are presented formally, but using only mathematics known by high-school and first-year college students, such as calculus, matrices and probability. Concepts and algorithms are explained through detailed diagrams and calculations. Elements of Robotics presents an overview of different types of robots and the components used to build robots, but focuses on robotic algorithms: simple algorithms like odometry and feedback control, as well as algorithms for advanced topics like localization, mapping, image processing, machine learning and swarm robotics. These algorithms are demonstrated in simplified contexts that enable detailed computations to be performed and feasible activities to be posed. Students who study these simplified demonstrations will be well prepared for advanced study of robotics.

Функционал анализ курсидан масалалар ечиш

Бy ўқув қўлланмада функционал анализдан масалалар ечиш учун талабаларга ёрдам беришни асосий мақсад қилиб олинди. Чунки функционал анализдан масалалар ечишда талабалар кўпгина қийинчиликка дуч келадилар, яъни мухокама — мулоҳаза юритишда камчилик ва хатоларга йўл қўядилар. Шy нуқтаи назардан бу ерда масалалар ечиб кўрсатилди. Бу эса улар олган назарий билимларни чуқурроқ ўрганишга ва мавзуларни туб моҳияти билан англаб олишга ёрдам беради.