технические науки
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 …
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 …
Учебное пособие написано с учетом системного подхода к рассмотрению современного состояния информационных технологий в экономике и содержит цикл лекций по одноименной дисциплине, которую автор преподает в Академии экономической безопасности МВД Росси…
Учебное пособие написано с учетом системного подхода к рассмотрению современного состояния информационных технологий в экономике и содержит цикл лекций по одноименной дисциплине, которую автор преподает в Академии экономической безопасности МВД Росси…
В книге читатель найдет ответы на вопросы: почему в эпоху информатизации образования возникла необходимость в интеграции дидактики и инженерии? Что такое дидактическая инженерия, как проектировать обучающие технологии? Как учить результативно? В рабо…
В книге читатель найдет ответы на вопросы: почему в эпоху информатизации образования возникла необходимость в интеграции дидактики и инженерии? Что такое дидактическая инженерия, как проектировать обучающие технологии? Как учить результативно? В рабо…
Методики управления проектами являются в значительной степени универсальными. Однако область реализации проекта оказывает существенное влияние на организацию управления его исполнением. Особенно это характерно для такой специфической области, как инф…
Методики управления проектами являются в значительной степени универсальными. Однако область реализации проекта оказывает существенное влияние на организацию управления его исполнением. Особенно это характерно для такой специфической области, как инф…
Рассматриваются классические и новые актуальные задачи теории полета летательных аппаратов, включая ракеты-носители и космические аппараты, спускаемые аппараты, баллистические ракеты и их головные части, межпланетные аппараты, многоразовые космически…
Рассматриваются классические и новые актуальные задачи теории полета летательных аппаратов, включая ракеты-носители и космические аппараты, спускаемые аппараты, баллистические ракеты и их головные части, межпланетные аппараты, многоразовые космически…
Вымышленная метрология – это сфера идей об измерении физических, нефизических и вымышленных величин на основе вымышленных единиц измерения.
Формируется вымышленная метрология литературой, особенной фэнтезийного жанра, шуточными придумками учёных. Вым…
Вымышленная метрология – это сфера идей об измерении физических, нефизических и вымышленных величин на основе вымышленных единиц измерения.
Формируется вымышленная метрология литературой, особенной фэнтезийного жанра, шуточными придумками учёных. Вым…
Учебник входит в состав УМК по информатике для 7-9 классов, включающего авторскую программу, учебники, электронные приложения, методическое пособие, рабочие тетради, сборники задач и другие компоненты. УМК может использоваться после вводного курса ин…
Учебник входит в состав УМК по информатике для 7-9 классов, включающего авторскую программу, учебники, электронные приложения, методическое пособие, рабочие тетради, сборники задач и другие компоненты. УМК может использоваться после вводного курса ин…
В учебном пособии рассмотрен комплекс вопросов, связанных с аналоговой и аналого-цифровой схемотехникой информационно-измерительных систем (ИИС) и систем управления. Подробно описаны компоненты таких систем (микроэлектронные сенсоры, усилители сигнал…
В учебном пособии рассмотрен комплекс вопросов, связанных с аналоговой и аналого-цифровой схемотехникой информационно-измерительных систем (ИИС) и систем управления. Подробно описаны компоненты таких систем (микроэлектронные сенсоры, усилители сигнал…
Рассмотрены общие принципы проектирования, моделирования и автоматизации технологических процессов производства электронных средств, программно-управляемое технологическое оборудование, автоматизированные системы управления технологическими процессам…
Рассмотрены общие принципы проектирования, моделирования и автоматизации технологических процессов производства электронных средств, программно-управляемое технологическое оборудование, автоматизированные системы управления технологическими процессам…
Это издание посвящено управлению беспилотными летательными аппаратами (БЛА). Акцент в книге делается на системы повышения устойчивости управления. Других изданий, которые бы охватывали вопросы моделирования динамики летательных аппаратов, разработки …
Это издание посвящено управлению беспилотными летательными аппаратами (БЛА). Акцент в книге делается на системы повышения устойчивости управления. Других изданий, которые бы охватывали вопросы моделирования динамики летательных аппаратов, разработки …
Fachwissen ist das gro?te Kapital von Ingenieuren. Aber zur Fachkompetenz gehort mehr. Erst die Fahigkeit zur Kommunikation und unmissverstandlichen Argumentation macht den Ingenieur zu einem guten Manager. Oder anders ausgedruckt: Wissen muss man au…
Fachwissen ist das gro?te Kapital von Ingenieuren. Aber zur Fachkompetenz gehort mehr. Erst die Fahigkeit zur Kommunikation und unmissverstandlichen Argumentation macht den Ingenieur zu einem guten Manager. Oder anders ausgedruckt: Wissen muss man au…
Compound Semiconductor Devices provides a comprehensive insight into today's standard technologies, covering the vast range of semiconductor products and their possible applications. The materials covered runs from the basics of conventional semicond…
Compound Semiconductor Devices provides a comprehensive insight into today's standard technologies, covering the vast range of semiconductor products and their possible applications. The materials covered runs from the basics of conventional semicond…
Functionalized Inorganic Fluorides: Synthesis, Characterization & Properties of Nanostructured Solids covers several classes of nanostructured and functionalized inorganic fluorides, oxide-fluorides, and fluorinated oxides such as silica and alumina.…
Functionalized Inorganic Fluorides: Synthesis, Characterization & Properties of Nanostructured Solids covers several classes of nanostructured and functionalized inorganic fluorides, oxide-fluorides, and fluorinated oxides such as silica and alumina.…
Since the publication of the successful first edition of the book in 2010, the field has matured and a large number of advancements have been made to the science of polymer nanotube nanocomposites (PNT) in terms of synthesis, filler surface modificat…
Since the publication of the successful first edition of the book in 2010, the field has matured and a large number of advancements have been made to the science of polymer nanotube nanocomposites (PNT) in terms of synthesis, filler surface modificat…
Meta-Nanotubes are a new generation of carbon nanotubes (CNTs) which result from the chemical transformation of regular CNTs and their subsequent combination with foreign materials (atoms, molecules, chemical groups, nanocrystals) by various ways suc…
Meta-Nanotubes are a new generation of carbon nanotubes (CNTs) which result from the chemical transformation of regular CNTs and their subsequent combination with foreign materials (atoms, molecules, chemical groups, nanocrystals) by various ways suc…
В учебнике рассмотрены и проанализированы как классические методы и средства сертификации и стандартизации программного обеспечения (ПО) обычных систем управления транспортных систем, так и ПО систем управления беспилотных летательных аппаратов (БПЛА…
В учебнике рассмотрены и проанализированы как классические методы и средства сертификации и стандартизации программного обеспечения (ПО) обычных систем управления транспортных систем, так и ПО систем управления беспилотных летательных аппаратов (БПЛА…
A comprehensive treatment of the economic and global impacts of the advanced materials industry This book represents the first comprehensive investigation of the emerging international advanced materials industry and its profound impact on the world'…
A comprehensive treatment of the economic and global impacts of the advanced materials industry This book represents the first comprehensive investigation of the emerging international advanced materials industry and its profound impact on the world'…
Recent advances in ultra-high-power lasers, including the free-electron laser, and impressive airborne demonstrations of laser weapons systems, such as the airborne laser, have shown the enormous potential of laser technology to revolutionize 21st ce…
Recent advances in ultra-high-power lasers, including the free-electron laser, and impressive airborne demonstrations of laser weapons systems, such as the airborne laser, have shown the enormous potential of laser technology to revolutionize 21st ce…
«Расчет расхода ЛКМ» – это методическое пособие, предназначенное для технологов, по покраске металлических конструкций лакокрасочными материалами. Настоящие технологические указания устанавливают методику расчета норм расхода лакокрасочных материалов…
«Расчет расхода ЛКМ» – это методическое пособие, предназначенное для технологов, по покраске металлических конструкций лакокрасочными материалами. Настоящие технологические указания устанавливают методику расчета норм расхода лакокрасочных материалов…
Учебник входит в состав УМК по информатике для 7-9 классов, включающего авторскую программу, учебники, электронные приложения, методическое пособие, рабочие тетради, сборники задач и другие компоненты. УМК может использоваться после вводного курса ин…
Учебник входит в состав УМК по информатике для 7-9 классов, включающего авторскую программу, учебники, электронные приложения, методическое пособие, рабочие тетради, сборники задач и другие компоненты. УМК может использоваться после вводного курса ин…