620 записей
Методы представления знаний и доказательное программирование : сборник научных трудов / АН УССР, Институт кибернетики им. В. М. Глушкова, Научный совет АН УССР по проблеме "Кибернетика". - Киев, 1990. - 116 с. - Библиогр. в конце статей . - ISBN 5-7702-0043-X .
Ачасов С. М., Бандман О. Л.
Корректность параллельных вычислительных процессов : монография / Ачасов С. М., Бандман О. Л. ; Академия наук СССР, СО, Вычислительный центр ; отв. ред. Миренков Н. Н. - Новосибирск : Наука, СО, 1990. - 252 с. - Библиогр.:с.246-349 . - ISBN 5-02-029334-2 .
Корректность параллельных вычислительных процессов : монография / Ачасов С. М., Бандман О. Л. ; Академия наук СССР, СО, Вычислительный центр ; отв. ред. Миренков Н. Н. - Новосибирск : Наука, СО, 1990. - 252 с. - Библиогр.:
Технология разработки и САПР программного обеспечения : сборник научных трудов / Рижский технический университет. - Рига : Изд-во Рижского технического университета, 1990. - 94 с. : ил. - Библиогр. в конце статей . - ISBN 5-7970-0071-7 .
Захарова А. А., Молнина Е. В., Чернышева Т. Ю.
Информатика и программирование: программные средства реализации информационных процессов : учебник для вузов / Захарова А. А., Молнина Е. В., Чернышева Т. Ю. ; Национальный исследовательский Томский политехнический университет, Юргинский технологический институт. - 3-е изд. - Томск : Изд-во Томского политехнического университета, 2013. - 317 с. : ил. - Библиогр.:с.317 . - ISBN 978-5-4387-0338-9 .
Информатика и программирование: программные средства реализации информационных процессов : учебник для вузов / Захарова А. А., Молнина Е. В., Чернышева Т. Ю. ; Национальный исследовательский Томский политехнический университет, Юргинский технологический институт. - 3-е изд. - Томск : Изд-во Томского политехнического университета, 2013. - 317 с. : ил. - Библиогр.:
Методы и средства алгебраического и логического программирования : сборник научных трудов / АН УССР, Институт кибернетики им. В. М. Глушкова, Научный совет АН УССР по проблеме "Кибернетика" ; отв. ред. Летичевский А. А. - Киев, 1990. - 74 с. - Библиогр. в конце статей . - ISBN 5-7702-0045-6 .
Численные методы и технология разработки пакетов прикладных программ : сборник научных трудов / АН УССР, Институт кибернетики им. В. М. Глушкова, Научный совет АН УССР по проблеме "Кибернетика". - Киев, 1990. - 168 с. : ил. - Библиогр. в конце статей . - ISBN 5-7702-0059-0 .
Основы программирования и алгоритмические языки : учебное пособие для средних специальных учебных заведений / Баула В. Г., Васюкова Н. Д., Тюляева В. В., Уманец П. В. - Москва : Энергоатомиздат, 1991. - 397 с. - Библиогр.: с.390-391 . - ISBN 5-283-01522-X .
Программы подготовки IT-специалистов по направлению "Системный архитектор" : учеб.-метод. комплекс образоват. программ доп. проф. образования / МГТУ им. Н. Э. Баумана ; ред. Чернега Е. В. - Москва : Изд-во МГТУ им. Н. Э. Баумана, 2017. - 81 с. - Библиогр.: с.81 . - ISBN 978-5-7038-4795-4 .
Федорова Г. Н.
Осуществление интеграции программных модулей : учебник для среднего проф. образования / Федорова Г. Н. - Москва : Академия, 2017. - 284 с. : рис. - (Профессиональное образование). - Библиогр.:с.282 . - ISBN 978-5-4468-5801-9 .
Осуществление интеграции программных модулей : учебник для среднего проф. образования / Федорова Г. Н. - Москва : Академия, 2017. - 284 с. : рис. - (Профессиональное образование). - Библиогр.:
Семакин И. Г., Шестаков А. П.
Основы алгоритмизации и программирования. Практикум : учеб. пособие для СПО / Семакин И. Г., Шестаков А. П. - 5-е изд., стер. - Москва : Академия, 2017. - 140 с. : ил. - (Профессиональное образование. Информатика и вычислительная техника). - Библиогр.:с.138-139 . - ISBN 978-5-4468-4477-7 .
Основы алгоритмизации и программирования. Практикум : учеб. пособие для СПО / Семакин И. Г., Шестаков А. П. - 5-е изд., стер. - Москва : Академия, 2017. - 140 с. : ил. - (Профессиональное образование. Информатика и вычислительная техника). - Библиогр.:
