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

Specifying Systems The TLA+ Language and Tools for Hardware and Software Engineers

This book will teach you how to write specifications of computer systems, using the language TLA+. It’s rather long, but most people will read only Part I, which comprises the first 83 pages. That part contains all that most engineers need to know about writing specifications; it assumes only the basic background in computing and knowledge of mathematics expected of an undergraduate studying engineering or computer science. Part II contains more advanced material for more sophisticated readers. The remainder of the book is a reference manual— Part III for the TLA+ tools and Part IV for the language itself.

Дендрология

Изложены современные представления о жизненных формах дре­весных растений, циклах их развития, интродукции, формах внутривидовой изменчивости, приведены основные понятия лесной фитоценологии и биогеоценологии, дана подробная характеристика 466 видов и 34 форм древесных растений. Второе издание (первое вышло в 1985 г.) дополнено перечнем древесных видов, занесенных в «Красную книгу СССР», ха­рактеристикой дендрофлоры природных зон СССР.

Musiqa va uni o'qitish metodikasi

Musiqa va uni o'qitish metodikasi o'quv qo'llanmasi bo'lajak o'qituvchilarni bugungi kun talablari asosida aqliy, axloqiy, madaniy va ma'naviy jihatdan tarbiyalaydi, ilmiy nazariy va amaliy bilimlar majmuasi bilan tanishtiradi hamda metodik va malakalar bilan qurollantiradi.

Общая патология растений

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

Мойли экинлар

Ушбу китоб республикамизда мойли ўсимликлар ҳақида тайёрланган дастлабки қўлланмадир.Унда мойли экинларнинг тарихи ўсимлик мойининг таърифи хамда таснифи классификация ҳақида маълумот берилган.

Yengil sanoat texnologiyasi

Mazkur o`quv qo`llanmada yengil sanoat texnologiyalari to`g`risida ma‘lumot va tushuncha berish, fanning nazariy asoslarini o`rgatish, to`qimachilik ishlab chiqarish va yengil sanoatning rivojlanish tarixi, to`qimachilik sanoatida ishlatiladigan Xomashyolar tasnifi, birlamchi ishlov berish va yigirish tizimlari, mato ishlab chiqarish texnologiyasi, tayyorlov, bichish, tikish texnologiyasi, poyabzal konstruksiyasining rivojlanish tarixi, poyabzalning gigiyenik va fizik xususiyatlari, charm va mo`yna korxonalarida qo`llaniladigan texnologiya, texnologik jarayondagi asosiy omillar ochib berilgan o`quv qo`llanmada yengil sanoat texnologik jarayonlari asoslari yoritilgan bo`lib, u 5230200 - ―Menejment (tarmoqlar va sohalar bo`yicha) bakalavriat ta‘lim yo`nalishining ―Yengil sanoat texnologiyasi‖ fanidan o`quv qo`llanma sifatida tavsiya etiladi.

Payvandlash ishi asoslari

Kitobda payvandlash nazariyasi asoslari (mohiyati, tasnifi, fizik-kimyoviy jarayonlar, deformatsiya va kuchlanishlar, metallarning payvandlanuvchanligi) bayon qilingan, yoy va gaz alangasida payvandlash, suyuqlantirib qoplash va kesish jihozlari hamda payvandlash ishlarini mexanizatsiyalash va avtomatlashtirish to`g`risida ma`lumotlar keltirilgan.

Biznesda buxgalteriya hisobi

Mazkur o'quv qo'llanma O'zbekiston Respublikasi Prezidentining "Moliyaviy hisobotning xalqaro standartlariga o'tish bo'yicha qo'shimcha chora-tadbirlar to'g'risida" gi Qarorida belgilangan vazifalar ijrosini ta'minlash maqsadida 200000 - "Ijtimoiy soha, iqtisod va huquq" bilim sohasining iqtisod ta'lim sohasi bakalavriyat ta'lim yo'nalishlari talabalari uchun mo'ljallangan.

Институциональная экономика

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

Dvigatellarning ta’minlash tizimi

Kitobda zamonaviy dvigatellarning ta’minlash tizimlarining tuzilishi, konstruksiyasining o‘ziga xos tomonlari va ishlash prinsipi yoritilgan. O‘zbekistonda ishlab chiqarilayotgan Damas, Matiz, Nexia, ISUZU va M A N avtomobillarining ta’minlash tizimiga alohida e’tibor ko‘rsatilgan. Kitob avtomobil transporti sohasida tahsil olayotgan kasb-hunar kolleji o‘quvchilari va oliy o‘quv yurtlarining talabalariga mo'ljallangan bo‘lib, undan haydovchi tayyorlovchi avtomaktab o‘qituvchilari ham foydalanishlari mumkin.

Анализ хозяйственной деятельности предприятий железнодорожного транспорта

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

The Great telecom meltdown

The telecommunications industry has a deeply ingrained heritage of monopoly. Not that it always was one, or that it always needed to be one, but for almost a century, monopoly was far more common than competition. And it was the heritage of this monopoly that shaped the industry going in to the boom years of the 1990s. While some competition had begun to take root, it was being introduced sector by sector. Competitive suppliers were dependent on monopolies, and monopolies, to some extent, depended on competitors. So it may be helpful to determine how and why the monopoly came about in the first place.

Болалар адабиёти

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

Судебная медицина

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

Введение в теорию аналитических функций

Учебное пособие по программе физико математических факультетов педагогических институтов включает упражнения к задачи с К книге присоединены два приложения.’ «Применение теории функций к гидродинамике и «Исторический очерк развития теории функций комплексного переменного» Kнига может служить пособием для студентов других вузов, а также для лиц, самостоятельно изучающих математику, в качестве первоначального введения в предмет.

Элементы топологии и дифференциальной геометрии

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