Книги жанра технические науки
The book is divided into four major parts. Part I covers HDL constructs and synthesis of basic digital circuits. Part II provides an overview of embedded software development with the emphasis on low-level I/O access and drivers. Part III demonstrates the design and development of hardware and software for several complex I/O peripherals, including PS2 keyboard and mouse, a graphic video controlle…
В курсе рассмотрены вопросы оценки и обеспечения надежности информационных систем и сетей, при этом определены основные понятия надежности, описана система показателей надежности, рассмотрены вопросы резервирования и оценки структурной надежности систем, в том числе структурно сложных систем. Рассмотрены основы построения марковских моделей надежности и их исследования средствами компьютерной мате…
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 and, in particular, timed automata as well as several extensions such as timed automata equipped with stopwatches, linear hybrid automata and affine h…
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 and applications of lipid crystals. With contributions from noted experts in the field, the text covers the basic research of polymorphic structures, m…
Если вам никогда не пригодится моя брошюра — хорошо. Пригодится — ещё лучше. В любом случае теперь вы подготовлены к возможным неурядицам лучше, чем многие. Возникнет необходимость, напишу ещё одну брошюру. Я вам ещё пригожусь. Следите за новинками на моей странице в Instagram @upodolskaya Организация "Meta Inc." запрещена на территории РФ.
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 interactions between the electron beam and the specimen, the fundamental starting point for all electron microscopy. Detailed explanations are provided to …
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 globally, what we are going to lose and mitigate for, and what, given the right tools, we can save. To estimate potential production, the dynamics of fre…
В данном пособии содержатся задачи по материаловедению, необходимые для понимания физических и химических свойств сплавов на основе золота, серебра, платины, платиновых металлов и других металлов и сплавов, используемых для изготовления ювелирных изделий, а также задачи для расчёта лигатуры сплавов металлов. Для учащихся по специальности 19966 «Ювелир».
A comprehensive collection of 8 books in 1 offering electronics guidance that can't be found anywhere else! If you know a breadboard from a breadbox but want to take your hobby electronics skills to the next level, this is the only reference you need. Electronics All-in-One For Dummies has done the legwork for you – offering everything you need to enhance your experience as an electronics enthusia…
Process safety management (PSM) systems are only as effective as the day-to-day ability of the organization to rigorously execute system requirements correctly every time. The failure of just one person in completing a job task correctly just one time can unfortunately lead to serious injuries and potentially catastrophic incidents. In fact, the design, implementation, and daily execution of PSM s…
At present the literature gives students and researchers of the very general books on the formal technics. The purpose of this book is to present in a single book, a return of experience on the used of the “formal technics” (such proof and model-checking) on industrial examples for the transportation domain. This book is based on the experience of people which are completely involved in the realiz…
Изложена теория управления проектами; представлен практический инструментарий проектного менеджмента; рассмотрен комплекс вопросов, охватывающий основные области знаний международных и отечественных стандартов в сфере управления проектами; особое внимание уделено инструментарию управления содержанием, временем, стоимостью и заинтересованными сторонами проекта. Предназначено студентам направления п…
В учебном пособии рассмотрены краткая история становления и развития электроэнергетики и ее современное состояние; проблемы обеспечения энергетики первичными ресурсами; производство, передача и накопление электроэнергии; экологические проблемы, обусловленные ростом производства и потребления энергии; геополитические и социальные угрозы, связанные с энергообеспечением. Акцент сделан на проблемах и …
В учебном пособии рассмотрены краткая история становления и развития электроэнергетики и ее современное состояние; проблемы обеспечения энергетики первичными ресурсами; производство, передача и накопление электроэнергии; экологические проблемы, обусловленные ростом производства и потребления энергии; геополитические и социальные угрозы, связанные с энергообеспечением. Акцент сделан на проблемах и …
Книга представляет собой систематизированный учебный курс по теории распределенных систем. В ней рассмотрены фундаментальные принципы, концепции, технологии и особенности функционирования современных распределенных систем. Теоретический материал дополнен разнообразными практическими примерами. Книга предназначена студентам и преподавателям, а также может представлять интерес для специалистов в обл…