bannerbanner

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

Программирование: теория типов 2-е изд., пер. и доп. Учебное пособие для СПО
3
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание удел…
Учебное пособие представляет собой систему упражнений и лабораторных работ по курсу «Теоретические основы программирования», содержащих теоретические сведения по элементам теории типов, теории категорий и интуиционистской логике. Особое внимание удел…
Основы расчета электроракетных двигателей с замкнутым дрейфом электронов и вынесенной зоной разряда
5
Изложены основы проектирования двигателей с замкнутым дрейфом электронов и вынесенной зоной ускорения. Рассмотрены физические процессы, определяющие эффективность электроракетных двигателей. Дана оценка расхода рабочего вещества и напряжения разряда …
Изложены основы проектирования двигателей с замкнутым дрейфом электронов и вынесенной зоной ускорения. Рассмотрены физические процессы, определяющие эффективность электроракетных двигателей. Дана оценка расхода рабочего вещества и напряжения разряда …
Прикладная информатика №3 (33) 2011
5
Журнал «Прикладная информатика» является преемником одноименного сборника, выпускавшегося с 1981 года издательством «Финансы и статистика». Журнал с 2006 года входит в состав учредителей ряда международных и всероссийских конференций, а также оказыва…
Журнал «Прикладная информатика» является преемником одноименного сборника, выпускавшегося с 1981 года издательством «Финансы и статистика». Журнал с 2006 года входит в состав учредителей ряда международных и всероссийских конференций, а также оказыва…
Электрические и электронные аппараты
3
Рассматриваются основы теории электрических и электронных аппаратов, описаны устройства и принцип работы аппаратов распределительных устройств высокого и низкого напряжения и аппаратов автоматики, предназначенных для общепромышленных целей, а также э…
Рассматриваются основы теории электрических и электронных аппаратов, описаны устройства и принцип работы аппаратов распределительных устройств высокого и низкого напряжения и аппаратов автоматики, предназначенных для общепромышленных целей, а также э…
Основы программирования. Базовые понятия для новичков
4
Автор этой книги - Иосиф Дзеранов, инженер-разработчик со стажем более 10 лет, основатель и преподаватель онлайн-школы IRON PROGRAMMER, четвертьфиналист чемпионата мира по олимпиадному программированию ACM ICPC. Эта книга - увлекательное путешествие…
Автор этой книги - Иосиф Дзеранов, инженер-разработчик со стажем более 10 лет, основатель и преподаватель онлайн-школы IRON PROGRAMMER, четвертьфиналист чемпионата мира по олимпиадному программированию ACM ICPC. Эта книга - увлекательное путешествие…
Конструирование узлов и деталей машин
4
Изложены основные принципы конструирования узлов и деталей машин, расчеты, позволяющие определить необходимые размеры узлов и деталей машин общемашиностроительного применения. Рекомендации по конструированию и монтажу сопровождаются анализом условий …
Изложены основные принципы конструирования узлов и деталей машин, расчеты, позволяющие определить необходимые размеры узлов и деталей машин общемашиностроительного применения. Рекомендации по конструированию и монтажу сопровождаются анализом условий …
Оценка устойчивости трубных пучков теплообменных аппаратов методами численного моделирования
5
Приведена постановка задачи численного моделирования при определении устойчивости конструкций трубных пучков теплообменных аппаратов в соответствии с подходом А. М. Ляпунова. Представлен переход к критериальным оценкам для крупномасштабного трубного …
Приведена постановка задачи численного моделирования при определении устойчивости конструкций трубных пучков теплообменных аппаратов в соответствии с подходом А. М. Ляпунова. Представлен переход к критериальным оценкам для крупномасштабного трубного …
Определение физико-механических характеристик полимерных композиционных материалов
3
Приведено описание домашнего задания «Определение физико-механических характеристик композиционных материалов с применением методов статистической обработки результатов экспериментов». Рассмотрены вопросы, связанные с закреплением знаний и приобретен…
Приведено описание домашнего задания «Определение физико-механических характеристик композиционных материалов с применением методов статистической обработки результатов экспериментов». Рассмотрены вопросы, связанные с закреплением знаний и приобретен…
Алгоритмы решения нестандартных задач
4
Изложены, пояснены и иллюстрированы примерами системные основы выработки решений (decision making) и ТРИЗ, составляющие учебно-методическую основу для преподавания и изучения предмета «Алгоритмы решения нестандартных задач» (бакалавриат, направление …
Изложены, пояснены и иллюстрированы примерами системные основы выработки решений (decision making) и ТРИЗ, составляющие учебно-методическую основу для преподавания и изучения предмета «Алгоритмы решения нестандартных задач» (бакалавриат, направление …
Будущее с 2017. Будущее наступает
4
В этой книге вы увидите будущее, которое нас всех ждет, но знайте, малейшие изменения сейчас, могут изменить будущее, которое может быть сейчас.
В этой книге вы увидите будущее, которое нас всех ждет, но знайте, малейшие изменения сейчас, могут изменить будущее, которое может быть сейчас.
Специальные лазерные технологии
3
Рассмотрены сварка композиционных материалов и гибридные лазерные технологии сварки. Особое внимание уделено сварке концентрированными источниками энергии металлических композиционных материалов, упрочненных частицами, а также гибридной лазерно-дугов…
Рассмотрены сварка композиционных материалов и гибридные лазерные технологии сварки. Особое внимание уделено сварке концентрированными источниками энергии металлических композиционных материалов, упрочненных частицами, а также гибридной лазерно-дугов…
Применение межсетевого экрана D-Link DFL-860E для безопасности компьютерных сетей
3
Рассмотрены программно-аппаратные средства обеспечения безопасности компьютерных сетей на примере межсетевых экранов и интернет-маршрутизаторов D-Link, а также обзор базовых протоколов и функций, обеспечивающих работоспособность и безопасность сетей.…
Рассмотрены программно-аппаратные средства обеспечения безопасности компьютерных сетей на примере межсетевых экранов и интернет-маршрутизаторов D-Link, а также обзор базовых протоколов и функций, обеспечивающих работоспособность и безопасность сетей.…
Выполнение домашнего задания «Создание моделей и чертежей деталей и сборочной единицы средствами САПР Autodesk Inventor 2016»
4
Рассмотрены модель и чертеж сборочной единицы типового домашнего задания, выполняемого студентами первого курса МГТУ им. Н. Э. Баумана, с помощью системы автоматизированного проектирования Autodesk Inventor 2016. Для студентов, изучающих дисциплину «…
Рассмотрены модель и чертеж сборочной единицы типового домашнего задания, выполняемого студентами первого курса МГТУ им. Н. Э. Баумана, с помощью системы автоматизированного проектирования Autodesk Inventor 2016. Для студентов, изучающих дисциплину «…
Взрывные технологии
5
Дано описание лабораторных работ, посвященных изучению принципов построения и функционирования взрывных устройств, предназначенных для сварки взрывом плоских пластин (модуль 1), а также для взрывного прессования плоских и осесимметричных заготовок из…
Дано описание лабораторных работ, посвященных изучению принципов построения и функционирования взрывных устройств, предназначенных для сварки взрывом плоских пластин (модуль 1), а также для взрывного прессования плоских и осесимметричных заготовок из…
Основы математической обработки информации. Учебное пособие для вузов
4
Этот курс для всех, кто хочет приобщиться к богатому миру математики и возможностям, которые она предоставляет. Рассматриваемого материала достаточно, чтобы начинающие исследователи в рамках своей научной работы могли спланировать небольшое статистич…
Этот курс для всех, кто хочет приобщиться к богатому миру математики и возможностям, которые она предоставляет. Рассматриваемого материала достаточно, чтобы начинающие исследователи в рамках своей научной работы могли спланировать небольшое статистич…
Анализ внешней и внутренней среды промышленного предприятия
4
Представлены основные требования, предъявляемые к выполнению домашнего задания по дисциплине «Маркетинг». Описаны порядок выполнения домашнего задания и требования к его содержанию. Для студентов бакалавриата направлений подготовки «Экономика» и «Биз…
Представлены основные требования, предъявляемые к выполнению домашнего задания по дисциплине «Маркетинг». Описаны порядок выполнения домашнего задания и требования к его содержанию. Для студентов бакалавриата направлений подготовки «Экономика» и «Биз…
Крупнейшие зарубежные военно-промышленные компании
3
Справочник содержит информацию о 100 крупнейших мировых военно-промышленных компаниях, кроме российских. В справочнике можно найти самую необходимую информацию: наименование компании и её логотип; официальный сайт компании и адрес штаб-квартиры, имя …
Справочник содержит информацию о 100 крупнейших мировых военно-промышленных компаниях, кроме российских. В справочнике можно найти самую необходимую информацию: наименование компании и её логотип; официальный сайт компании и адрес штаб-квартиры, имя …
nanoCAD Механика. Инженерная 2D и 3D компьютерная графика
4
В учебном пособии рассматривается работа в программе nanoCAD Механика, созданной на базе САПР-платформы nanoCAD российской компанией «Нанософт». За основу взяты две предыдущие работы автора «nanoCAD PLUS 10. Адаптация к учебному процессу» (Сер.: САПР…
В учебном пособии рассматривается работа в программе nanoCAD Механика, созданной на базе САПР-платформы nanoCAD российской компанией «Нанософт». За основу взяты две предыдущие работы автора «nanoCAD PLUS 10. Адаптация к учебному процессу» (Сер.: САПР…
Теория и проектирование газовой турбины
3
Приведены методы расчета и проектирования турбин в составе современных и перспективных авиационных, стационарных, транспортных газотурбинных двигателей и комбинированных установок. Показаны методы оптимизации ступеней турбин и многоступенчатых турбин…
Приведены методы расчета и проектирования турбин в составе современных и перспективных авиационных, стационарных, транспортных газотурбинных двигателей и комбинированных установок. Показаны методы оптимизации ступеней турбин и многоступенчатых турбин…
Методы и возможности in-line контроля тонкопленочных материалов в производстве субмикронных интегральных микросхем
3
Пособие составлено на базе 40-летнего личного опыта работы автора на отечественных и зарубежных предприятиях микроэлектронной отрасли. Рассмотрена совокупность вопросов организации и использования в серийном производстве субмикронных интегральных мик…
Пособие составлено на базе 40-летнего личного опыта работы автора на отечественных и зарубежных предприятиях микроэлектронной отрасли. Рассмотрена совокупность вопросов организации и использования в серийном производстве субмикронных интегральных мик…

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