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

Архитектура: Формы, конструкции, детали

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

Software Verification and Analysis.An Integrated, Hands-On Approach

“The situation is good, but not hopeless” (Polish folk wisdom) The text is devoted to the Software Analysis and Testing (SAT) methods and s- porting tools for assessing and, if possible, improving software quality, specifically its correctness. The term quality assurance is avoided for it is this author’s firm belief that in the current state of the art that goal is unattainable, a plethora of “gu- anteed” solutions to the problem notwithstanding. Therefore, the rather awkward phrase “improving correctness” is to be understood as an effort to minimize the number of residual programming faults (“bugs”) and their impact on the software’s behavior, that is, to make the faults tolerable. It is clear that such a minimalist approach is a result of frustration. Indeed, having spent years developing software and teaching (preaching?) “How to do it right,” I still do not know how to go about it with any degree of certainty! It appears then I probably should stop right now, for who with a modicum of common sense would reach for a text that does not offer salvation but (as will be seen) hard work and misery? If I intend to continue, it is only that I suspect there are many professionals out there who have similar doubts. And they are the intended audience of this project. The philosophical underpinning of the text is the importance of sound engine- ing practices in software development.

Тепломассообмен

В книге кратко изложены основы учения о тепломассообмене, а также практические примеры и расчетно-графические работы (с решениями их номинальных вариантов), и лабораторный практикум в соответствии с типовой программой высшего образования для студентов специальностей направления «Теплоэнергетика» (разработанной автором данного учебного пособия). Научная глубина и учебно-методическая строгость изложения вопросов тепломассообмена позволяет рекомендовать данное учебное пособие так же для студентов других смежных теплотехнических специальностей и магистрантов направлений: «Теплоэнергетика», «Механика жидкости и газа» и «Теплофизика и теоретическая теплотехника».

Справочник по семеноводству

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

Axborot texnologiyalari va jarayonlarni matematik modellashtirish

Ushbu o'quv qo'llanma axborot texnologiyalari va jarayonlarni matematik modellashtirish bo'yicha asosiy tushunchalar, axborot jarayonlarining texnik va dasturiy ta‘minoti, mutaxassislik masalalarini yechishda axborot texnologiyalarini qo‘llash, iqtisodiy-matematik modellashtirish asoslari, shuningdek suv xo‘jaligini tashkil etish va uni boshqarishda matematik modellashtirish usullarini o`z ichiga olgan.

Biznes jarayonlarida ma`lumotlarni qayta ishlash texnologiyalari

Mazkur o`quv qo`llanmada biznes jarayonlarida ma`lumotlarni qayta ishlash texnologiyalari masalalari ko`plab ko`rib chiqilgan, talabalarga ma`lumotlarni qayta ishlash texnologiyalarini yaratish bo`yicha fundamental nazariy bilimlarni berishga qaratilgan bo`lib, asosiy usullar va yo`nalishlarni qamrab olgan.

Suyuqlik va gaz mexanikasi

O‘quv qo‘llanma gidravlika kursiga oid dasturlar asosida tuzilgan, hamda o‘z ichiga quyidagi bo‘limlarni qamrab olgan: suyuqlikni qattiq jismdagi va gazlardan farqlanishi, suyuqliklarning asosiy fizik xossalari, gidrostatikaning asosiy qonuniyatlari, gidrodinamika asoslari hamda suyuqliklar kinematikasi.

Патентшунослик, лицензиялаш ва сертификатлаштириш

Ўқув қўлланма 2-қисмдаи таркиб топган. Унинг 1-қисми ўқув фанига тегишли назарий маълумотларни, 2-қисми эса амалий машғулотлар материалларини баён этишга бағишланган. Назарий қисм ва амалий машғулотларга оид ҳар бир мавзу сунгида уни ўзлаштиришни енгиллаштиришга қаратилган назорат саволлари ва адабиётлар рўйхати келтирилган. Ушбу ўқув қўлланмаси универсигет магистратурасининг барча мутахассисликлари бўйича таълим олувчи магисгрантлар учун мўлжалланган.

ЭКОЛОГИЧЕСКАЯ ХИМИЯ

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

АЭРОФОТОТОПОГРАФИЯ

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

Рисуем 50 рыцарей

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

Аҳолини ижтимоий муҳафаза қилиш

Қўлланма олий ўқув юртларининг иқтисодий таълим йўналишлари талабалари, магистрлари, шунингдек, аҳолини ижтимоий муҳофаза қилиш масалалари билан шуғулланувчи мутахассислар ва илмий ходимларга ҳамда ушбу соҳага қизиқувчиларга мўлжалланган.

Топливно-транспортное хозяйство и золошлакоудаление на ТЭС

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

Botanika va o'simliklar fiziologiyasi

Mazkur o‘quv qo‘llanmada o‘simlik hujayrasi va to'qimasi, vegetativ, generative a’zolarining anatomik, morfologik xususiyatlari, o‘simliklar sistematikasi, ekologiyasi va geografiyasiga oid ma’lumotlar bayon etilgan. 0‘quv qollanma kollej talabalari va o'qituvchilari uchun mo'ljallangan.

Физическое воспитание в вузе

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

Монтаж и наладка систем производственной электрической связи, сигнализации и электрочасофикаци

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