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

Industrial Use of Formal Methods. Formal Verification
4
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-chec…
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-chec…
Программные средства обработки результатов расчетов в инженерных пакетах Ansys CFX и Abaqus для высокопроизводительных вычислительных установок
4
Приведены подробные сведения по использованию программных средств обработки результатов инженерных расчетов. Рассмотрены возможности и описания функций интерфейса программных средств Ansys CFX и Abaqus. Описаны методы визуализации результатов расчето…
Приведены подробные сведения по использованию программных средств обработки результатов инженерных расчетов. Рассмотрены возможности и описания функций интерфейса программных средств Ansys CFX и Abaqus. Описаны методы визуализации результатов расчето…
Numerical Calculation of Lubrication. Methods and Programs
3
Focusing on basic lubrication problems this book offers specific engineering applications. The book introduces methods and programs for the most important lubrication problems and their solutions. It is divided into four parts. The first part is abou…
Focusing on basic lubrication problems this book offers specific engineering applications. The book introduces methods and programs for the most important lubrication problems and their solutions. It is divided into four parts. The first part is abou…
Разработка конструкторско-технологических решений активных зон транспортных реакторных установок
4
Изложены особенности конструктивно-компоновочных и технологических решений активных зон, оборудования и элементов транспортных реакторных установок, предназначенных для использования на судах, космических аппаратах. Приведены особенности методики теп…
Изложены особенности конструктивно-компоновочных и технологических решений активных зон, оборудования и элементов транспортных реакторных установок, предназначенных для использования на судах, космических аппаратах. Приведены особенности методики теп…
Машинная графика в среде программирования Delphi
3
Рассмотрены графические возможности среды программирования Delphi. Даны справочные материалы по методам и свойствам классов, используемых при работе в графике, и основные теоретические сведения, необходимые для построения плоских изображений, графико…
Рассмотрены графические возможности среды программирования Delphi. Даны справочные материалы по методам и свойствам классов, используемых при работе в графике, и основные теоретические сведения, необходимые для построения плоских изображений, графико…
Живучесть зданий и сооружений при запроектных воздействиях
3
В монографии авторами рассмотрены вопросы расчета железобетонных балочных, рамно-стержневых и пространственных статически неопределимых конструктивных систем, работающих в условиях приложения проектной и внезапной запроектной нагрузки. Теория решения…
В монографии авторами рассмотрены вопросы расчета железобетонных балочных, рамно-стержневых и пространственных статически неопределимых конструктивных систем, работающих в условиях приложения проектной и внезапной запроектной нагрузки. Теория решения…
Расчетные модели сооружений и возможность их анализа
4
Книга посвящена анализу методов, используемых при создании современных программных систем для статического и динамического расчета несущих строительных конструкций, а также приемов использования этих систем. Наличие (а иногда и отсутствие) руководств…
Книга посвящена анализу методов, используемых при создании современных программных систем для статического и динамического расчета несущих строительных конструкций, а также приемов использования этих систем. Наличие (а иногда и отсутствие) руководств…
Разработка процесса получения заготовок путем совмещения литья и высадки
3
Учебное пособие «Разработка процесса получения заготовок путем совмещения литья и высадки» составлено в соответствии с требованиями Государственного стандарта образования и программой, утверждённой Министерством образования и науки Республики Казахст…
Учебное пособие «Разработка процесса получения заготовок путем совмещения литья и высадки» составлено в соответствии с требованиями Государственного стандарта образования и программой, утверждённой Министерством образования и науки Республики Казахст…
Electronic Processes in Organic Semiconductors. An Introduction
5
The first advanced textbook to provide a useful introduction in a brief, coherent and comprehensive way, with a focus on the fundamentals. After having read this book, students will be prepared to understand any of the many multi-authored books avail…
The first advanced textbook to provide a useful introduction in a brief, coherent and comprehensive way, with a focus on the fundamentals. After having read this book, students will be prepared to understand any of the many multi-authored books avail…
Проектирование в системе КОМПАС-3D V11
4
Книга представляет собой самоучитель по одной из лучших систем автоматизированного проектирования КОМПАС-3D V11, предназначенной для выполнения чертежно-конструкторской документации и построения объемных 3D-моделей. По итогам II Всероссийского конкур…
Книга представляет собой самоучитель по одной из лучших систем автоматизированного проектирования КОМПАС-3D V11, предназначенной для выполнения чертежно-конструкторской документации и построения объемных 3D-моделей. По итогам II Всероссийского конкур…
Проектирование встраиваемых систем на ПЛИС
3
Темой данной книги является проектирование встраиваемых систем на программируемых логических интегральных схемах (ПЛИС). Издание предоставляет всю информацию, которая необходима для проектирования сложных встраиваемых систем и ядер. В первой части оп…
Темой данной книги является проектирование встраиваемых систем на программируемых логических интегральных схемах (ПЛИС). Издание предоставляет всю информацию, которая необходима для проектирования сложных встраиваемых систем и ядер. В первой части оп…
Проектирование штампов для последовательной листовой штамповки в системе NX
4
В книге изложены методы проектирования последовательных штампов листовой штамповки в CAD/CAM/CAE-системе NX от Siemens PLM Software. Особое внимание уделено разработке электронных моделей технологических процессов и штампов для последовательной штамп…
В книге изложены методы проектирования последовательных штампов листовой штамповки в CAD/CAM/CAE-системе NX от Siemens PLM Software. Особое внимание уделено разработке электронных моделей технологических процессов и штампов для последовательной штамп…
Fluid Mechanics, Heat Transfer, and Mass Transfer. Chemical Engineering Practice
3
This broad-based book covers the three major areas of Chemical Engineering. Most of the books in the market involve one of the individual areas, namely, Fluid Mechanics, Heat Transfer or Mass Transfer, rather than all the three. This book presents th…
This broad-based book covers the three major areas of Chemical Engineering. Most of the books in the market involve one of the individual areas, namely, Fluid Mechanics, Heat Transfer or Mass Transfer, rather than all the three. This book presents th…
Liquid Crystals Beyond Displays. Chemistry, Physics, and Applications
3
The chemistry, physics, and applications of liquid crystals beyond LCDs Liquid Crystals (LCs) combine order and mobility on a molecular and supramolecular level. But while these remarkable states of matter are most commonly associated with visual dis…
The chemistry, physics, and applications of liquid crystals beyond LCDs Liquid Crystals (LCs) combine order and mobility on a molecular and supramolecular level. But while these remarkable states of matter are most commonly associated with visual dis…
CMOS. Circuit Design, Layout, and Simulation
4
The Third Edition of CMOS Circuit Design, Layout, and Simulation continues to cover the practical design of both analog and digital integrated circuits, offering a vital, contemporary view of a wide range of analog/digital circuit blocks including: p…
The Third Edition of CMOS Circuit Design, Layout, and Simulation continues to cover the practical design of both analog and digital integrated circuits, offering a vital, contemporary view of a wide range of analog/digital circuit blocks including: p…
Managing Technological Innovation. Competitive Advantage from Change
4
Written by the author who helped crystalize the field of technology management and the management of innovation with the first two editions of Managing Technological Innovation, this Third Edition brings the subject in line with current business stra…
Written by the author who helped crystalize the field of technology management and the management of innovation with the first two editions of Managing Technological Innovation, this Third Edition brings the subject in line with current business stra…
Thermal Processing of Foods. Control and Automation
5
The food industry has utilized automated control systems for over a quarter of a century. However, the past decade has seen an increase in the use of more sophisticated software-driven, on-line control systems, especially in thermal processing unit o…
The food industry has utilized automated control systems for over a quarter of a century. However, the past decade has seen an increase in the use of more sophisticated software-driven, on-line control systems, especially in thermal processing unit o…
Моделирование информационных систем
5
В учебном пособии рассматривается программная имитация непрерывных случайных величин с заданным законом распределения, фиксация и обработка результатов статистического моделирования, вопросы моделирования систем массового обслуживания, а также практи…
В учебном пособии рассматривается программная имитация непрерывных случайных величин с заданным законом распределения, фиксация и обработка результатов статистического моделирования, вопросы моделирования систем массового обслуживания, а также практи…
Нанохимия и наноматериалы
5
Нанохимия – быстро развивающаяся область науки, направленная на получение и изучение физико-химических свойств частиц вещества, имеющих размеры в несколько нанометров, и материалов на их основе. Подобные частицы обладают высокой реакционной способнос…
Нанохимия – быстро развивающаяся область науки, направленная на получение и изучение физико-химических свойств частиц вещества, имеющих размеры в несколько нанометров, и материалов на их основе. Подобные частицы обладают высокой реакционной способнос…
Self-Assembly and Nanotechnology Systems. Design, Characterization, and Applications
5
A fundamental resource for understanding and developing effective self-assembly and nanotechnology systems Systematically integrating self-assembly, nanoassembly, and nanofabrication into one easy-to-use source, Self-Assembly and Nanotechnology Syste…
A fundamental resource for understanding and developing effective self-assembly and nanotechnology systems Systematically integrating self-assembly, nanoassembly, and nanofabrication into one easy-to-use source, Self-Assembly and Nanotechnology Syste…

Популярные авторы