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

Регенеративные методы в имплантологии.

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

Устранение осложнений имплантологического лечения.

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

Основы проектирования производства строительных работ

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

Основы проектирования производства строительных работ

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

Пластические массы, их получение, свойства и применение

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

Nature Inspired Computing Proceedings of CSI 2015

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 Nature Inspired Computing. The contents of this book will be useful to researchers and students alike.

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.

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.

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.