технические науки

This book introduces state-of-the-art verification techniques for real-time embedded systems, based on the inverse method for parametric timed automata. It reviews popular formalisms for the specification and verification of timed concurrent systems …

An authoritative reference that contains the most up-to-date information knowledge, approaches, and applications of lipid crystals Crystallization of Lipids is a comprehensive resource that offers the most current and emerging knowledge, techniques a…

Эта небольшая по объему книга, написанная инженером-практиком, выделяется из множества книг по этой тематике, прежде всего, своей доступностью и содержательностью. В ней нет пространных описаний команд и средств AutoCAD, зато приведены точные практич…

В основу содержания издания положен курс лекций по учебной дисциплине «Подъемно-транспортные установки». В нем излагаются теоретические и практические основы дисциплины ПТУ, рассматриваются этапы проектирования основных видов подъемно-транспортного о…

This quick reference manual offers accessible, reliable knowledge on small animal dermatology in the popular Blackwell's Five-Minute Veterinary Consult format. The second edition of Blackwell’s Five-Minute Veterinary Consult Clinical Companion: Small…

В книге представлено подробное описание баллистических ракет класса «воздух – земля» (БРВЗ). Впервые приводятся систематизированные данные о разработке БРВЗ в СССР, США и других странах. В том числе описываются проекты размещения баллистических ракет…

This fourth and full colour edition updates and expands a widely-used textbook aimed at advanced undergraduate and postgraduate students taking courses in remote sensing and GIS in Geography, Geology and Earth/Environmental Science departments. Exist…

The modern quantity surveyor (QS) plays a central role in the management of construction projects, although the exact nature of the role depends on who employs the QS. The Professional Quantity Surveyor engaged by the client and the Contractor's Quan…

Learn how to design and implement successful aeration control systems Combining principles and practices from mechanical, electrical, and environmental engineering, this book enables you to analyze, design, implement, and test automatic wastewater ae…

Biocatalysts are increasingly used by chemists engaged in fine chemical synthesis within both industry and academia. Today, there exists a huge choice of high-tech enzymes and whole cell biocatalysts, which add enormously to the repertoire of synthet…

Если вам никогда не пригодится моя брошюра — хорошо. Пригодится — ещё лучше. В любом случае теперь вы подготовлены к возможным неурядицам лучше, чем многие. Возникнет необходимость, напишу ещё одну брошюру. Я вам ещё пригожусь. Следите за новинками н…

A detailed presentation of the physics of electron beam-specimen interactions Electron microscopy is one of the most widely used characterisation techniques in materials science, physics, chemistry, and the life sciences. This book examines the inter…

В книге описаны основы работы в отечественной системе автоматизированного проектирования (САПР) nanoCAD на примере ее последней версии nanoCAD x64 Plus 8.5. Приведены основные инструменты создания чертежа: графические примитивы, штриховки, а также пр…

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

Вы держите в руках книгу, представляющую собой печатное издание Руководства пользователя nanoCAD 3.0 – новой быстро развивающейся бесплатной системы автоматизированного проектирования. Книга предназначена как для новичков, начинающих осваивать компью…

Well-structured and adopting a pedagogical approach, this self-contained monograph covers the fundamentals of scanning probe microscopy, showing how to use the techniques for investigating physical and chemical properties on the nanoscale and how the…

Inland fisheries are vital for the livelihoods and food resources of humans worldwide but their importance is underestimated, probably because large numbers of small, local operators are involved. Freshwater Fisheries Ecology defines what we have glo…

«Автомобильная Мекка», «Рай перекупщика» — такие громкие названия обозначают страховой аукцион Америки, которому почти 40 лет. В этой книге подробно рассказано, как покупать целые авто дешевле рынка в 2—3 раза.

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

Газета «Энергетика и промышленность России» – ведущее общероссийское издание об электроэнергетике, энергомашиностроении, электротехнике и других отраслях, связанных, с топливно-энергетическим комплексом. Подробности изменений в энергетике, новинки об…