| № | Дата |
Автор |
Заглавие |
|---|
|
2005 |
Бебчик, Алексей Михайлович |
Разработка и исследование структурно-ориентированного редактора и компилятора запросов системы функционально-логического программирования : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.11 / Бебчик Алексей Михайлович ; [Московский государственный институт радиотехники, электроники и автоматики (технический университет)] |
|
2007 |
Соколов, Владимир Владимирович (доктор физико-математических наук) |
Совместное использование MSC и SDL моделей при разработке событийно-ориентированных систем : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : 05.13.11 / Соколов Владимир Владимирович ; Санкт-Петербургский государственный университет |
|
2007 |
Эль-Хатиб Аднан Ибрагим Исса |
Эволюционные методы построения проверяющих тестов цифровых систем : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.13 / Эль-Хатиб Аднан Ибрагим Исса ; Государственное высшее учебное заведение "Донецкий национальный технический университет" |
|
2008 |
Кантор, Илья Александрович |
Математическое и программное обеспечение обучающих систем, основанное на генерации функционально зависимых цепочек и специализированных алгоритмах выборки : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.11 / Кантор Илья Александрович ; [Московский государственный институт связи и информатики] |
|
2002 |
Костельцев, Андрей Вячеславович |
GTK+. Разработка переносимых графических интерфейсов / Андрей Костельцев |
|
1979 |
Колесник, Адам Михайлович (информатика) |
О распараллеливании АЛГАМС-программ / А. М. Колесник |
|
2007 |
Кочан, Стефан |
Программирование на языке C : [полное введение в язык программирования C : перевод с английского] / Стефан Кочан |
|
1989 |
Куракина, Людмила Борисовна (информатика) |
Обработка ошибок при реализации метода рекурсивного спуска |
|
1985 |
|
Система генерации и интерпретации диалога : методические материалы / Академия наук Белорусской ССР, Институт технической кибернетики ; [автор-составитель В. И. Винокурова] |
|
1997 |
|
Оптимизирующая трансляция и конструирование программ : [Сб.науч.тр.] / Рос.акад.наук.Сиб.отд-ние.Ин-т систем информатики им.А.П.Ершова;Под ред.Касьянова В.Н |
|
2010 |
Дюбрюкс, Сергей Александрович |
Метод, алгоритм и устройство обеспечения распараллеливающей компиляции последовательных программ для вычислительных систем : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.05 / Дюбрюкс Сергей Александрович ; [ГОУ ВПО "Курский государственный технический университет", Центр информационных технологий в проектировании РАН] |
|
2015 |
Ульянцев, Владимир Игоревич |
Генерация конечных автоматов с использованием программных средств решения задач выполнимости и удовлетворения ограничений : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Ульянцев Владимир Игоревич ; [Санкт-Петербургский национальный исследовательский университет информационных технологий, механики и оптики] |
|
2020 |
|
Процедурная генерация в гейм-дизайне : [сборник статей / перевод с английского М. С. Рыжиковой] ; под редакцией Тани Х. Шорт и Тарна Адамса |
|
2023 |
|
Трансляция формальных языков : курс лекций / Министерство образования Республики Беларусь, Учреждение образования "Витебский государственный университет им. П. М. Машерова", Кафедра прикладного и системного программирования ; [составитель С. В. Сергеенко] |
|
2003 |
Окунев, Сергей Константинович |
Базовые методы оптимизации на предикатном представлении программы для архитектур с явно выраженной параллельностью : автореф. дис. на соиск. учен. степ. канд. техн. наук : 05.13.11 / Окунев Сергей Константинович ; Ин-т микропроцессор. вычисл. систем РАН |
|
2005 |
Аксенов, Олег Анатольевич |
Комплекс программ генерации обучающих компонент на основе диалоговой модели информационно-управляющей системы : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.18 / Аксенов Олег Анатольевич ; [Московский государственный институт радиотехники, электроники и автоматики] |
|
2007 |
Кочанов, Денис Александрович (кандидат технических наук, вычислительная техника) |
Методы и средства создания и трансляции VHDL-описаний цифровых систем на уровне регистровых передач : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.12 / Кочанов Денис Александрович ; Государственное научное учреждение "Объединенный институт проблем информатики Национальной академии наук Беларуси" |
|
1997 |
Лори, Бен |
Apache. Установка и использование : Учеб. пособие / Пер. с англ. С.Тимачева ; Под ред. К.Королькова |
|
2004 |
Компаниец, Р. И. |
Системное программирование : Основы построения трансляторов : Учеб. в обл. автоматики, электроники, микроэлектроники и радиотехники при обучении по техн. специальностям / Р.И.Компаниец, Е.В.Маньков, Н.Е.Филатов |
|
1997 |
Канту, Марко |
Delphi 2 для Windows 95/NT : Полн. курс : В 2 т. : Пер. с англ. — Т. 2 / Пер. Н.Л.Колядко, С.П.Кошеля |
|
2003 |
Молчанов, Алексей Юрьевич (кандидат технических наук) |
Системное программное обеспечение : учеб. для вузов / А.Ю. Молчанов |
|
2011 |
Иванов, Дмитрий Сергеевич (вычислительная техника) |
Комплексная технология распределения регистров и планирование инструкций в оптимизирующем компиляторе вычислительных комплексов семейства "Эльбрус" : автореферат диссертации на соискание ученой степени кандидата технических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компъютерных сетей / Иванов Дмитрий Сергеевич ; [Московский физико-технический институт (государственный университет)] |
|
2012 |
|
Приемы объектно-ориентированного проектирования. Паттерны проектирования : [перевод с английского] / Э. Гамма [и др.] |
|
2006 |
Дьюхэрст, Стефан К. |
Скользские места C++ : как избежать проблем при проектировании и компиляции ваших программ : [перевод с английского] / Стэфан К. Дьюхэрст |
|
2020 |
Полухин, Антон (программист) |
Разработка приложений на С++ с использованием Boost : рецепты, упрощающие разработку вашего приложения / Антон Полухин ; [перевод с английского Д. А. Беликова] |
|
2006 |
Кручинин, Алексей Николаевич |
Автоматическая генерация программных компонент по высокоуровневым спецификациям : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.11 / Кручинин Алексей Николаевич ; [Ростовский государственный университет] |
|
2005 |
Семынина, Татьяна Валерьевна |
Разработка категорных средств анализа формальных языков на основе теории конических типов : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.11 / Семынина Татьяна Валерьевна ; [Воронежский государственный технический университет] |
|
2007 |
Бузова, Наталья Владимировна |
Исключительные права организаций вещания в зарубежном, международном частном и российском праве : автореферат диссертации на соискание ученой степени кандидата юридических наук : 12.00.03 / Бузова Наталья Владимировна ; [Московский государственный университет им. М. В. Ломоносова] |
|
1971 |
Шкут, Николай Васильевич (кандидат физико-математических наук ; 1937—2002) |
Схемы трансляции с языка типа АЛГОЛ-60 для вычислительных машин среднего класса : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 01.009 Теоретическая кибернетика / Н. В. Шкут ; Академия наук БССР, Отделение физико-математических наук |
|
1999 |
Бартеньев, Олег Васильевич |
Visual Fortran: новые возможности / О.В.Бартеньев |
|
1996 |
|
Методические указания по использованию интегрированной среды Turbo Pascal 7.0 по курсу "Вычислительная техника и программирование" для студентов всех специальностей / Могилев. технол. ин-т, Каф. электроники, автоматики и вычисл. техники ; [Сост. И.В.Сычев] |
|
1995 |
Федоров, В. В. |
Основы построения трансляторов : Учеб. пособие / Обнин. ин-т атом. энергетики, Фак. кибернетики |
|
1989 |
Карпунин, Игорь Александрович (программирование) |
Генерация наборов параллельно выполняемых микроопераций / И. А. Карпунин |
|
1997 |
Канту, Марко |
Delphi 2 для Windows 95/NT : Полн. курс : В 2 т. : Пер. с англ. — Т. 1 / Пер. Д.А.Куликова, Н.Л.Колядко |
|
1993 |
Храмов, А. А. |
Лабораторный практикум по курсу "Основы системного программирования" : Учеб.пособие / Моск.инж.-физ.ин-т,Фак.кибернетики |
|
2005 |
Опалева, Эльвира Александровна |
Языки программирования и методы трансляции : учебное пособие для высших учебных заведений по специальности 220400 (230105) - Программное обеспечение вычислительной техники и автоматизированных систем / Э.А.Опалева, В.П.Самойленко |
|
2007 |
Машуков, Михаил Юрьевич |
Моделирование спецификаций языка SDL с помощью раскрашенных сетей Петри = Modeling SDL-specifications via colored Petri nets / М. Ю. Машуков, Т. Г. Чурина |
|
1981 |
|
Информация о вариантах генераций операционных систем ВЦ АН БССР : инструкция пользователю / Академия наук Белорусской ССР, Институт математики ; [подготовила Л. И. Матюшенкова] |
|
2001 |
Хьюгс, С. |
PHP : Рук.разработчика:Пер.с англ. / С.Хьюгс,А.Змиевский |
|
1995 |
Cornell, Gary |
Delphi nuts & bolts: for experienced programmers / Gary Cornell, Troy Strain |
|
1996 |
Mansfield, Ron |
Working in Microsoft Office / Ron Mansfield |
|
2009 |
Филиппов, Александр Николаевич |
Методы удаления избыточностей на этапе компиляции программ : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.11 / Филиппов Александр Николаевич ; [ЗАО "МЦСТ", ОАО "ИНЭУМ им. И. С. Брука"] |
|
2013 |
Рыбаков, Алексей Анатольевич |
Методы и алгоритмы оптимизации переходов в компиляторе базового уровня системы двоичной трансляции для архитектуры "Эльбрус" : автореферат диссертации на соискание ученой степени кандидата физико-математических наук : специальность 05.13.11 Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей / Рыбаков Алексей Анатольевич ; [ЗАО "МЦСТ"] |
|
2015 |
Рябый, Вячеслав Васильевич (математик) |
Методы проектирования лексических и синтаксических анализаторов : учебные материалы для студентов факультета прикладной математики и информатики / В. В. Рябый ; [Белорусский государственный университет, Факультет прикладной математики и информатики, Кафедра многопроцессорных систем и сетей] |
|
2016 |
|
Компиляторы : принципы, технологии и инструментарий / Альфред В. Ахо [и др.] |
|
2021 |
Максимов, Александр Викторович |
Оптимальное проектирование ассемблерных программ математических алгоритмов: теория, инженерные методы : учебное пособие для студентов высших учебных заведений и аспирантов, обучающихся по направлению подготовки "Информатика и вычистительная техника" 09.03.01 (уровень бакалавриата), 09.04.01 (уровень магистратуры), 09.06.01 (уровень аспирантуры) / А. В. Максимов |
|
2021 |
Куссвюрм, Даниэль |
Профессиональное программирование на ассемблере X64 с расширениями AVX, AVX2 и AVX-512 : [перевод с английского] / Даниэль Куссвюрм |
|
2007 |
Карпов, Андрей Николаевич |
Технология настраиваемой генерации тестов по формальным спецификациям для встроенных приложений и программных интерфейсов, реализованных на Yava-подобных языках : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.11 / Карпов Андрей Николаевич ; [Санкт-Петербургский государственный политехнический университет] |
|
2008 |
Болонкин, Андрей Владимирович |
Разработка диаграммно-сетевого метода синтеза структур интерактивных систем : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.11 / Болонкин Андрей Владимирович ; [Московский технический университет связи и информатики] |
|
2008 |
Галазин, Александр Борисович |
Методы оптимизации доступа к подсистеме памяти на этапе компиляции для микропроцессорных систем с архитектурой широкого командного слова : автореферат диссертации на соискание ученой степени кандидата технических наук : 05.13.11 / Галазин Александр Борисович ; [ЗАО "МЦСТ", ОАО "И. С. Брука"] |
СВОДНЫЙ ЭЛЕКТРОННЫЙ КАТАЛОГ