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

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 нуқтаи назардан бу ерда масалалар ечиб кўрсатилди. Бу эса улар олган назарий билимларни чуқурроқ ўрганишга ва мавзуларни туб моҳияти билан англаб олишга ёрдам беради.

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

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

Texnik tizimlarni boshqarish fanidan labaratoriya ishlari

Qo'llanmada «Texnik tizimlarni boshqarish» fani bo’yicha laboratoriya ishlarining tavsifi va mavzu bo’yicha nazariy ma’lumotlar, ularni bajarishga oid tavsiyalar hamda rioya qilinishi zarur bo`lgan xavfsizlik choralari keltirilgan. O ’quv qo’IIanma 5521100 "Yer usti transport tizimlari” va 5521000 ''Energomashinasozlik'' bakalavriat yo’ nalishlari bo’yicha ta’lim olayotgan lalabalar uchun "Texnik tizimlarni boshqarish" fanidan namunaviy o'quv dasturi asosida tayyorlandi.

Инфокоммуникационные системы. Аппаратное обеспечение

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

Сиёсий ва ҳуқуқий таьлимотлар тарихи

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