Личный кабинет
12792 записи
Бурдун Г. Д., Марков Б. Н.
Основы метрологии : учеб. пособие для вузов / Бурдун Г. Д., Марков Б. Н. - 3-е изд., перераб. - М. : Изд-во стандартов, 1985. - 255 с. - Библиогр.:с. 252-253 .
Основы метрологии : учеб. пособие для вузов / Бурдун Г. Д., Марков Б. Н. - 3-е изд., перераб. - М. : Изд-во стандартов, 1985. - 255 с. - Библиогр.:
8 экз.
Бурдун Г. Д.
Справочник по международной системе единиц / Бурдун Г. Д. - 2-е изд., доп. - М. : Изд-во стандартов, 1977. - 231 с.
Справочник по международной системе единиц / Бурдун Г. Д. - 2-е изд., доп. - М. : Изд-во стандартов, 1977. - 231 с.
5 экз.
Статья в журнале
Буренков В. С., Иванов С. Р.
Метод построения абстрактных моделей, используемых для верификации протоколов когерентности кэш-памяти масштабируемых систем / Буренков В. С., Иванов С. Р. - DOI 10.18698/0236-3933-2017-1-49-66 // Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. - 2017. - № 1. -С. 49-66 .
Метод построения абстрактных моделей, используемых для верификации протоколов когерентности кэш-памяти масштабируемых систем / Буренков В. С., Иванов С. Р. - DOI 10.18698/0236-3933-2017-1-49-66 // Вестник МГТУ им. Н. Э. Баумана. Сер. Приборостроение. - 2017. - № 1. -
Читать онлайн
Аналитическое описание
Буренков В. С., Иванов С. Р.
Проблемы метастабильности в цифровых устройствах / Буренков В. С., Иванов С. Р. // Современные информационные технологии : сборник трудов каф. ИУ-6 МГТУ им. Н. Э. Баумана / МГТУ им. Н. Э. Баумана. - М., 2011. -С. 39-43 .
Проблемы метастабильности в цифровых устройствах / Буренков В. С., Иванов С. Р. // Современные информационные технологии : сборник трудов каф. ИУ-6 МГТУ им. Н. Э. Баумана / МГТУ им. Н. Э. Баумана. - М., 2011. -
Аналитическое описание
Буренков В. С., Иванов С. Р.
Проблемы формальной верификации технических систем / Буренков В. С., Иванов С. Р. // Современные компьютерные системы и технологии : юбилейный сборник трудов каф. "Компьютерные системы и сети" МГТУ им. Н. Э. Баумана / МГТУ им. Н. Э. Баумана. - М., 2012. -С. 45-53 .
Проблемы формальной верификации технических систем / Буренков В. С., Иванов С. Р. // Современные компьютерные системы и технологии : юбилейный сборник трудов каф. "Компьютерные системы и сети" МГТУ им. Н. Э. Баумана / МГТУ им. Н. Э. Баумана. - М., 2012. -
Аналитическое описание
Бурков П. В., Гарифуллин Т. Т., Муратов К. Л.
Обзор методик и инструментов для проектирования прокатного и профилегибочного оборудования / Бурков П. В., Гарифуллин Т. Т., Муратов К. Л. // Системы управления полным жизненным циклом высокотехнологичной продукции в машиностроении: новые источники роста : материалы V Всероссийской научно-практической конференции, Москва, 20 апр. 2022 г. / МГТУ им. Н. Э. Баумана. - М., 2022. -С. 53-58 .
Обзор методик и инструментов для проектирования прокатного и профилегибочного оборудования / Бурков П. В., Гарифуллин Т. Т., Муратов К. Л. // Системы управления полным жизненным циклом высокотехнологичной продукции в машиностроении: новые источники роста : материалы V Всероссийской научно-практической конференции, Москва, 20 апр. 2022 г. / МГТУ им. Н. Э. Баумана. - М., 2022. -
Бурлаков М.
Adobe Illustrator 9 : справочник / Бурлаков М. - СПб. : Питер, 2001. - 604 с. : ил. - (Справочник). -ISBN 5-318-00060-6 .
Adobe Illustrator 9 : справочник / Бурлаков М. - СПб. : Питер, 2001. - 604 с. : ил. - (Справочник). -
2 экз.
Бурлаков М.
CorelDRAW 10 : справочник / Бурлаков М. - СПб. : Питер, 2001. - 589 с. : ил. - (Справочник). -ISBN 5-318-00471-7 .
CorelDRAW 10 : справочник / Бурлаков М. - СПб. : Питер, 2001. - 589 с. : ил. - (Справочник). -
2 экз.
Бурлаков М.
CorelDRAW 9 : справочник / Бурлаков М. - СПб. : Питер, 2001. - 490 с. : ил. -ISBN 5-272-00221-0 .
CorelDRAW 9 : справочник / Бурлаков М. - СПб. : Питер, 2001. - 490 с. : ил. -
1 экз.
Бурлаков М.
FreeHand 9 : справочник / Бурлаков М. - СПб. : Питер, 2001. - 409 с. : ил. - (Справочник). -ISBN 5-272-00222-9 .
FreeHand 9 : справочник / Бурлаков М. - СПб. : Питер, 2001. - 409 с. : ил. - (Справочник). -
2 экз.
