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

Formal Methods. Industrial Use from Model to the Code
3
Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took…
Although formal analysis programming techniques may be quite old, the introduction of formal methods only dates from the 1980s. These techniques enable us to analyze the behavior of a software application, described in a programming language. It took…
Nanoscale CMOS. Innovative Materials, Modeling and Characterization
5
This book provides a comprehensive review of the state-of-the-art in the development of new and innovative materials, and of advanced modeling and characterization methods for nanoscale CMOS devices. Leading global industry bodies including the Inter…
This book provides a comprehensive review of the state-of-the-art in the development of new and innovative materials, and of advanced modeling and characterization methods for nanoscale CMOS devices. Leading global industry bodies including the Inter…
Инженерные и научные приложения на базе технологий NI NIDays – 2014
4
Содержание сборника составляют доклады с результатами оригинальных исследований и технических решений, ранее не публиковавшиеся. Мы надеемся, что предлагаемый сборник окажется полезным для специалистов, работающих в различных областях науки и техники…
Содержание сборника составляют доклады с результатами оригинальных исследований и технических решений, ранее не публиковавшиеся. Мы надеемся, что предлагаемый сборник окажется полезным для специалистов, работающих в различных областях науки и техники…
Сварочный аппарат своими руками
3
Рассмотрены особенности физических процессов при сварке постоянным и переменным током, приведены методики расчета сварочных трансформаторов, дано описание их практических конструкций и доработок, даны практические рекомендации при проведении сварочны…
Рассмотрены особенности физических процессов при сварке постоянным и переменным током, приведены методики расчета сварочных трансформаторов, дано описание их практических конструкций и доработок, даны практические рекомендации при проведении сварочны…
Инженерные и научные приложения на базе технологий NI NIDays – 2015
3
Содержание сборника составляют доклады с результатами оригинальных исследований и технических решений, ранее не публиковавшиеся. Мы надеемся, что предлагаемый сборник окажется полезным для специалистов, работающих в различных областях науки и техники…
Содержание сборника составляют доклады с результатами оригинальных исследований и технических решений, ранее не публиковавшиеся. Мы надеемся, что предлагаемый сборник окажется полезным для специалистов, работающих в различных областях науки и техники…
Driving Simulation
4
Passive and active safety systems (ABS, ESP, safety belts, airbags, etc.) represent a major advance in terms of safety in motoring. They are increasingly developed and installed in cars and are beginning to appear in twowheelers. It is clear that the…
Passive and active safety systems (ABS, ESP, safety belts, airbags, etc.) represent a major advance in terms of safety in motoring. They are increasingly developed and installed in cars and are beginning to appear in twowheelers. It is clear that the…
Fundamentals of event-continuous system simulation theory
3
Effective computer analysis of event-continuous and hybrid systems is addressed. A multipurpose software architecture employing control of the integration step size with regard to the error, stability, and unilateral events is proposed. The problem o…
Effective computer analysis of event-continuous and hybrid systems is addressed. A multipurpose software architecture employing control of the integration step size with regard to the error, stability, and unilateral events is proposed. The problem o…
Энергетика и промышленность России №08/2022
4
Газета «Энергетика и промышленность России» – ведущее общероссийское издание об электроэнергетике, энергомашиностроении, электротехнике и других отраслях, связанных, с топливно-энергетическим комплексом. Подробности изменений в энергетике, новинки об…
Газета «Энергетика и промышленность России» – ведущее общероссийское издание об электроэнергетике, энергомашиностроении, электротехнике и других отраслях, связанных, с топливно-энергетическим комплексом. Подробности изменений в энергетике, новинки об…
Silicon Technologies. Ion Implantation and Thermal Treatment
3
The main purpose of this book is to remind new engineers in silicon foundry, the fundamental physical and chemical rules in major Front end treatments: oxidation, epitaxy, ion implantation and impurities diffusion.
The main purpose of this book is to remind new engineers in silicon foundry, the fundamental physical and chemical rules in major Front end treatments: oxidation, epitaxy, ion implantation and impurities diffusion.
SOI Lubistors. Lateral, Unidirectional, Bipolar-type Insulated-gate Transistors
5
Advanced level consolidation of the technology, physics and design aspects of silicon-on-insulator (SOI) lubistors No comprehensive description of the physics and possible applications of the Lubistor can be found in a single source even though the L…
Advanced level consolidation of the technology, physics and design aspects of silicon-on-insulator (SOI) lubistors No comprehensive description of the physics and possible applications of the Lubistor can be found in a single source even though the L…
Bridge Design and Evaluation. LRFD and LRFR
5
A succinct, real-world approach to complete bridge system design and evaluation Load and Resistance Factor Design (LRFD) and Load and Resistance Factor Rating (LRFR) are design and evaluation methods that have replaced or offered alternatives to othe…
A succinct, real-world approach to complete bridge system design and evaluation Load and Resistance Factor Design (LRFD) and Load and Resistance Factor Rating (LRFR) are design and evaluation methods that have replaced or offered alternatives to othe…
Glossary of the oil and gas terminology (English-Ukrainian)
4
In the glossary of oil and gas terminology presented to your attention, the author provides a translation of terms and briefly describes them. In the glossary, the terms are presented in alphabetical order. The glossary is intended for engineering an…
In the glossary of oil and gas terminology presented to your attention, the author provides a translation of terms and briefly describes them. In the glossary, the terms are presented in alphabetical order. The glossary is intended for engineering an…
Математическое моделирование физических процессов в дуге и сварочной ванне
5
В учебном пособии дано математическое описание некоторых процессов, протекающих в дуге и сварочной ванне. Показано влияние параметров режима сварки на тепловые и силовые характеристики дуги и на электрическое поле в изделии и сварочной ванне. Для сту…
В учебном пособии дано математическое описание некоторых процессов, протекающих в дуге и сварочной ванне. Показано влияние параметров режима сварки на тепловые и силовые характеристики дуги и на электрическое поле в изделии и сварочной ванне. Для сту…
Особенности охлаждения оптических компонентов в лазерных излучателях
3
Рассмотрены физико-технические основы лазерных систем охлаждения и особенности их практической реализации. Для студентов МГТУ им. Н.Э. Баумана, изучающих проектирование лазерных приборов и систем.
Рассмотрены физико-технические основы лазерных систем охлаждения и особенности их практической реализации. Для студентов МГТУ им. Н.Э. Баумана, изучающих проектирование лазерных приборов и систем.
Техника физико-химического эксперимента. Измерение температуры, работа с газами
3
Лабораторный практикум по курсу «Техника физико-химического эксперимента», раздел «Измерение температуры, работа с газами» включает описания и методические рекомендации по выполнению четырех лабораторных работ, посвященных изучению методов измерения …
Лабораторный практикум по курсу «Техника физико-химического эксперимента», раздел «Измерение температуры, работа с газами» включает описания и методические рекомендации по выполнению четырех лабораторных работ, посвященных изучению методов измерения …
Справочное пособие по строительной механике. Том 1
5
Содержит основные методические и теоретические основы расчета стержневых систем на различные виды нагрузки, основы теории пространственных систем, пластин и оболочек. Предназначено для студентов строительных специальностей ВУЗов, инженеров, аспиранто…
Содержит основные методические и теоретические основы расчета стержневых систем на различные виды нагрузки, основы теории пространственных систем, пластин и оболочек. Предназначено для студентов строительных специальностей ВУЗов, инженеров, аспиранто…
Fluvial Remote Sensing for Science and Management
4
This book offers a comprehensive overview of progress in the general area of fluvial remote sensing with a specific focus on its potential contribution to river management. The book highlights a range of challenging issues by considering a range of s…
This book offers a comprehensive overview of progress in the general area of fluvial remote sensing with a specific focus on its potential contribution to river management. The book highlights a range of challenging issues by considering a range of s…
Key Notes on Plastic Surgery
5
This is the new edition of the concise but comprehensive handbook that should be owned by all surgical trainees specialising in plastic surgery. Taking a pithy systematic approach, Key Notes on Plastic Surgery offers the latest developments within th…
This is the new edition of the concise but comprehensive handbook that should be owned by all surgical trainees specialising in plastic surgery. Taking a pithy systematic approach, Key Notes on Plastic Surgery offers the latest developments within th…
Mobility Protocols and Handover Optimization. Design, Evaluation and Application
3
This book provides a common framework for mobility management that considers the theoretical and practical aspects of systems optimization for mobile networks. In this book, the authors show how an optimized system of mobility management can improve …
This book provides a common framework for mobility management that considers the theoretical and practical aspects of systems optimization for mobile networks. In this book, the authors show how an optimized system of mobility management can improve …
Практикум по проектированию 3D-моделей изделий медицинского назначения (медико-инженерное направление)
5
Пособие содержит методические рекомендации по проектированию и исследованию 3D-моделей изделий медицинского назначения, в частности имплантатов, используемых в ортопедии. Практикум содержит уроки и упражнения, позволяющие освоить навыки проектировани…
Пособие содержит методические рекомендации по проектированию и исследованию 3D-моделей изделий медицинского назначения, в частности имплантатов, используемых в ортопедии. Практикум содержит уроки и упражнения, позволяющие освоить навыки проектировани…

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