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

Хозяйственная реформа и повышение эффективности строительного производства

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

Ўзбек мавсумий маросим фольклори

Ўқув қўлланмаси олий ўқув юртлари филология факультетлари талабалари, шунингдек, фольклоршунослик ва этнология масалалари юзасидан илмий тадкикот ишлари олиб бораётган магистрантлар ҳамда аспирантларга мўлжалланган.

Big Data Analytics

This volume comprises the select proceedings of the annual convention of the Computer Society of India. Divided into 10 topical volumes, the proceedings present papers on state-of-the-art research, surveys, and succinct reviews. The volumes cover diverse topics ranging from communications networks to big data analytics, and from system architecture to cyber security. This volume focuses on Big Data Analytics. The contents of this book will be useful to researchers and students alike.

Экономическая эффективность легких ограждающих конструкций

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

ICT Based Innovations

This volume comprises the select proceedings of the annual convention of the Computer Society of India. Divided into 10 topical volumes, the proceedings present papers on state-of-the-art research, surveys, and succinct reviews. The volumes cover diverse topics ranging from communications networks to big data analytics, and from system architecture to cyber security. This volume focuses on ICT Based Innovations. The contents of this book will be useful to researchers and students alike.

Mathematical Modelling for Next-Generation Cryptography

This book presents the mathematical background underlying security modeling in the context of next-generation cryptography. By introducing new mathematical results in order to strengthen information security, while simultaneously presenting fresh insights and developing the respective areas of mathematics, it is the first-ever book to focus on areas that have not yet been fully exploited for cryptographic applications such as representation theory and mathematical physics, among others. Recent advances in cryptanalysis, brought about in particular by quantum computation and physical attacks on cryptographic devices, such as side-channel analysis or power analysis, have revealed the growing security risks for state-of-the-art cryptographic schemes. To address these risks, high-performance, next-generation cryptosystems must be studied, which requires the further development of the mathematical background of modern cryptography. More specifically, in order to avoid the security risks posed by adversaries with advanced attack capabilities, cryptosystems must be upgraded, which in turn relies on a wide range of mathematical theories. This book is suitable for use in an advanced graduate course in mathematical cryptography, while also offering a valuable reference guide for experts.

Texnik mexanika (Mashina detallari)

Mazkur o‘quv qo’ll anmada nazariy ma’lumotlar, mavzuga oid masala yechim namunalari, chizmalari, talabalar bilim darajasini sinash uchun test savollari, asosiy atamalarning qisqacha ma’nosi (Glossariy) keltirilgan.

Cyber-Physical System Design from an Architecture Analysis Viewpoint

Providing a wide variety of technologies for ensuring the safety and dependability of cyber-physical systems (CPS), this book offers a comprehensive introduction to the architecture-centric modeling, analysis, and verification of CPS. In particular, it focuses on model driven engineering methods including architecture description languages, virtual prototyping, and formal analysis methods. CPS are based on a new design paradigm intended to enable emerging software-intensive systems. Embedded computers and networks monitor and control the physical processes, usually with the help of feedback loops where physical processes affect computations and vice versa. The principal challenges in system design lie in this constant interaction of software, hardware and physics. Developing reliable CPS has become a critical issue for the industry and society, because many applications such as transportation, power distribution, medical equipment and tele-medicine are dependent on CPS. Safety and security requirements must be ensured by means of powerful validation tools. Satisfying such requirements, including quality of service, implies having formally proven the required properties of the system before it is deployed.

Transactions on Petri Nets and Other Models of Concurrency XII

The 9 papers cover a diverse range of topics including model checking and system verification, refinement, and synthesis; foundational work on specific classes of Petri nets; and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: security, service composition, databases, communication protocols, business processes, and distributed systems. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets.

Pedagogik texnologiya

O`quv qo`llanmada pedagogik texnologiyaning konseptual asoslari, o‘qitish jarayonini loyihalashtirish va rejalashtirish, zamonaviy o‘qitish texnologiyalari, masofali talim texnologiyasi, tarbiya jarayonini texnologiyalashtirish masalalari yoritib berilgan.

Pedagogik diagnostika va korreksiya

Mazkur darslik pedagogika oliygohlari 5A 110901 - “Pedagogika nazariyasi va tarixi" ixtisosligi bo 'yicha tahsil olayotgan magistrantlar uchun mo ’Ijallangan bo'lib, О’zbekiston Respublikasi oliy ta ’lim davlat standartlari asosida tuzilgan.

Biologiya asoslari

Ushbu o'quv qo'llanma O'zbekiston Respublikasi Oliy va o'rta maxsus ta'lim vaziriigi tomonidan tasdiqlangan namunaviy dastur asosida yozilgan. Mazkur o'quv qo'llamada 5630100-Ekologiya va afrof-muhit muhofazasi ta'lim yo'nalishlari bo'yicha ta'lim olayotgan oliy o'quv yurtlari talabalari uchun muhim bo'lgan ‘Biologiya asoslari" fanidan nazariy bilimlami, o'simliklarning anatomik va morfologik tuzilishi, tuban va yuksak o'simliklar sistematikasi, hayotiy shakllari, o'simlik jamoalarining shakllanishi, fitotsenozdagi jarayonlar va boshqa biologik xususiyetlari to'g'risida yo'nalish profiliga mos bilim, ko'nikma va malakalari to'g'risida ma’lumotlar keltirilgan.

Hardware and Software: Verification and Testing

Simulation-based verification.- Software and hardware equivalence checking.- Static analysis.- Model checking.- Hardware/software co-verification.- Validation of data-intensive solutions.- Coverage analysis and test minimization.- Testing of mobile and cloud applications.- Software artifacts review and inspection.- Security verification.- Machine learning techniques for verification. This book constitutes the refereed proceedings of the 13th International Haifa Verification Conference, HVC 2017, held in Haifa, Israel in November 2017.The 13 revised full papers presented together with 4 poster and 5 tool demo papers were carefully reviewed and selected from 45 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future directions of testing and verification for hardware, software, and complex hybrid systems.

Сборник методических материалов для курсового и дипломного проектирования выпуск 2

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

Advances in Visual Informatics

This book constitutes the refereed proceedings of the 5th International Conference on Advances in Visual Informatics, IVIC 2017, held in Bangi, Malaysia, in November 2017. The keynote and 72 papers presented were carefully reviewed and selected from 130 submissions. The papers are organized in the following topics: Visualization and Data Driven Technology; Engineering and Data Driven Innovation; Data Driven Societal Well-being and Applications; and Data Driven Cyber Security.

Гидромеханизация земляных работ

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