Полное описание
> Конструирование и оптимизация программ : сб. / Рос. АН, Сиб. отд-ние, Ин-т систем информатики ; Под ред. В.Н.Касьянова. - Новосибирск : [б. и.], 1993. - 143 c. - Загл. обл. : Оптимизация и конструирование программ. - 150 экз. - Текст : непосредственный. Библиогр.в конце ст.
ГРНТИ УДК 50.41 004.41 004.422.8'416
Рубрики: Программное обеспечение ЭВМ -- Проектирование
Программы для ЭВМ -- Оптимизация
Доп. точки доступа: Касьянов, В.Н.\ред.\
Институт систем информатики (Новосибирск)
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д8-93/14040)>
Шифр в сводном ЭК: 7ee21cce9b2b80dc2d196c7bc861f7c6
Современные проблемы конструирования программ / Ред. В. Н. Касьянов, 2002. - 248 с. - Текст : непосредственный. Проблемы конструирования эффективных и надежных программ : сборник / Институт систем информатики им. А. П. Ершова (Новосибирск), 1995. - 164 с. - Текст : непосредственный. Конструирование и оптимизация параллельных программ / Институт систем информатики им. А. П. Ершова (Новосибирск), 2008. - 332 с. - Текст : непосредственный. Оптимизирующая трансляция и конструирование программ / Институт систем информатики им. А. П. Ершова (Новосибирск), 1997. - 166 с. - Текст : непосредственный. Касьянов В.Н. Курс программирования на Паскале в заданиях и упражнениях / В. Н. Касьянов, 2001. - 448 с. - Текст : непосредственный. Поддержка супервычислений и Интернет-ориентированные технологии / Ред. В. Н. Касьянов, 2001. - 255 с. - Текст : непосредственный. Касьянов В. Н. Музеи и Интернет : материалы временных коллективов / В. Н. Касьянов. - Текст : непосредственный // Современные информационные технологии и письменное наследие: от древних текстов к электронным библиотекам : материалы Международ. науч. конф., Казань, 26-30 авг. 2008 г. / Отв. ред.: В. Д. Соловьёв, В. А. Баранов. - Казань : Казан. гос. ун-т, 2008. - с. 132-135 Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Проблемы систем информатики и программирования : Сб.ст. / Рос.АН.Сиб.отд-ние.Ин-т систем информатики им.А.П.Ершова, 1999. - 225 с. - Текст : непосредственный. Евстигнеев В.А. Сводимые графы и граф-модели в программировании / В.А.Евстигнеев,В.Н.Касьянов;Отв.ред.В.Н.Касьянов, 1999. - 288 с. - Текст : непосредственный. Евстигнеев В.А. Теория графов: алгоритмы обработки деревьев / В.А.Евстигнеев,В.Н.Касьянов;Отв.ред.В.Е.Котов, 1994. - 361 c. - Текст : непосредственный. Касьянов В.Н. Графы в программировании: обработка, визуализация и применение / В.Н.Касьянов,В.А.Евстигнеев, 2003. - 1104 с. - Текст : непосредственный. Показать все результаты Проблемы теоретического и экспериментального программирования : сборник научных трудов / Институт систем информатики (Новосибирск), 1993. - 182 c. - Текст : непосредственный. Проблемы систем информатики и программирования / Рос.АН.Сиб.отд-ние,Ин-т систем информатики им.А.П.Ершова, 1999. - 130 с. - Текст : непосредственный. Среда программирования: методы и инструменты : Сб.ст. / Рос.АН, Сиб.отд-ние, Ин-т систем информатики, 1992. - 174 c. - Текст : непосредственный. Current topics in informatics systems research / Siberian division of the USSR acad.of sciences. In-te of informatics system, 1991. - 180 с. - Текст : непосредственный. Архитектурные, формальные и программные модели : Сб. науч. тр. / Ред. И. В. Поттосин, 1997. - 334 с. - Текст : непосредственный. Инструменты и методы разработки программ / Ин-т систем информатики, 1994. - 189 c. - Текст : непосредственный. Программные и вычислительные системы: методы и языки анализа : Сб. / Под ред. В.Е.Котова, 1993. - 303 c. - Текст : непосредственный. Проблемы теории и методологии создания параллельных и распределенных систем, 2000. - 411 с. - Текст : непосредственный. Конструирование и оптимизация программ : Сб. / Рос. АН, Сиб. отд-ние, Ин-т систем информатики, 1993. - 143 c. - Текст : непосредственный. Методы теоретического и системного программирования : Сб.науч.тр. / Под ред.И.В.Поттосина, 1995. - 361 c. - Текст : непосредственный. Системы программирования. Теория и приложения : Сб.ст. / Под ред.В.Е.Котова, 1993. - 247 с. - Текст : непосредственный. Бручес, Елена Павловна. Методы и алгоритмы распознавания и связывания сущностей для построения систем автоматического извлечения информации из научных текстов : специальность 05.13.17 - Теоретические основы информатики: автореферат диссертации на соискание ученой степени кандидата технических наук / Бручес Елена Павловна, 2021. - 18 с. - Текст : непосредственный. Проблемы современного программирования : Сб.ст. / Под ред. В.Е.Котова, 1991. - 296 с. - Текст : непосредственный. Баженова И.Ю. Visual FoxPro 6.0 / И. Ю. Баженова, 2000. - 416 с. - Текст : непосредственный. Вострикова З.П. Сервисная программа Norton Commander / З. П. Вострикова, О. Ю. Вострикова, А. П. Овчинникова, 1992. - 78 с. - Текст : непосредственный. Лима Т. Введение в dBase IV / Т. Лима, 1993. - 299 с. - Текст : непосредственный. Обслуживание и сопровождение NetWare / "Микроинформ", совместное предприятие (Москва), 1992. - 286 с. - Текст : непосредственный. Буянова Л.Н. Система управления базой данных Rebus / Л. Н. Буянова, 1996. - 50 с. - Текст : непосредственный. Штайнер Й. Windows 95 / Й. Штайнер, Р. Валентин, 1997. - 344 с. - Текст : непосредственный. Ахметов К.С. Windows 95 для всех / К. С. Ахметов, 1997. - 255 с. - Текст : непосредственный. Мэнсфилд Р. Windows 95 для занятых : монография / Р. Мэнсфилд, 1997. - 326 с. - Текст : непосредственный. Access 7,0 для Windows 95, 1997. - 479 с. - Текст : непосредственный. MS-DOS 6.22, 1997. - 443 с. - Текст : непосредственный. Турбо Гамес : методический материал. - 28 c. - Текст : непосредственный. Персональные программы : Ежемес. журн.: Журн. представляет программы для персональных компьютеров. - Журнал выходит с 1990г. - Текст : непосредственный. Дейнеко Е.А. Информационные технологии : выставочные материалы / Е. А. Дейнеко, И. А. Мельникова, 2015. - 127 с. - Текст : непосредственный. Айвенс К. Эксплуатация Windows NT. Проблемы и решения / К. Айвенс, 2000. - 586 с. - Текст : непосредственный. Цоллер С.А. Создание музыки на ПК : монография / С. А. Цоллер, 2003. - 320 с. ил. - Текст : непосредственный. Смирнов Н.Н. Программные средства персональных ЭВМ / Н. Н. Смирнов, 1990. - 272 с. - Текст : непосредственный. От Паскаля к Аде : монография / Т. Ю. Бардинова, В. Ю. Блажнов, А. А. Маслов, В. Н. Орлов, 1990. - 255 c. - Текст : непосредственный. Кучумов Ю.М. Программное обеспечение микроЭВМ "ИСКРА-226" для специалиста : Учеб.пособие:В 2-х ч. Ч. 1, 1989. - 59 c. - Текст : непосредственный. Диалоговый вычислительный комплекс. Программное обеспечение / Казанское науч.-произв. об-ние вычислительной техники и информатики, 1990. - 166 с. - Текст : непосредственный. Клещев А.С. Экспертная система, моделирующая процесс оптимизации программ. Обработка знаний : препринт / А. С. Клещев, М. А. Князева, 1990. - 44 с. - Текст : непосредственный. Показать все результаты От Паскаля к Аде : монография / Т. Ю. Бардинова, В. Ю. Блажнов, А. А. Маслов, В. Н. Орлов, 1990. - 255 c. - Текст : непосредственный. Cameron J.R. JSP and JSD : сборник научных трудов / J. R. Cameron, 1989. - X,526 p. p. - Текст : непосредственный. Корухова Ю.С. Система автоматического синтеза функциональных программ : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : диссертация на соискание ученой степени канд. физ.-мат. наук / Ю. С. Корухова, 2005. - 18 c. - Текст : непосредственный. Филимонов А.В. Разработка и реализация многоуровневых алгоритмов декомпозиции гиперграфовых моделей / А. В. Филимонов, 2008. - 23 с. - Текст : непосредственный. Рубанов В.В. Автоматизация построения инструментария кросс-разработки программного обеспечения для расширяемых встраиваемых систем / В. В. Рубанов, 2008. - 23 с. - Текст : непосредственный. Современные проблемы конструирования программ / Ред. В. Н. Касьянов, 2002. - 248 с. - Текст : непосредственный. Мартин Р.К. Быстрая разработка программ : монография / Р. К. Мартин, Д. В. Ньюкирк, Р. С. Косс, 2004. - 744 с. - Текст : непосредственный. Самойлов В.Д. Модельное конструирование компьютерных приложений / В. Д. Самойлов, 2007. - 198 с. - Текст : непосредственный. Скопин И.Н. Основы менеджмента программных проектов / И. Н. Скопин, 2004. - 333 с. - Текст : непосредственный. Бергстрем С. Rational Unified Process - путь к успеху : методический материал / С. Бергстрем, Л. Роберг, 2004. - 256 с. - Текст : непосредственный. Component-based software engineering / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Formal methods and software engineering / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Automated technology for verification and analysis / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Software process and product measurement / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Model checking and artificial intelligence / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Петров К.В. Автоматизированная система моделирования логических неисправностей для тестирования вычислительных процессов : специальность 05.13.12 "Системы автоматизации проектирования (по отраслям)" : диссертация на соискание ученой степени канд. техн. наук / К. В. Петров, 2007. - 19 с. - Текст : непосредственный. Зыль С. Проектирование, разработка и анализ программного обеспечения систем реального времени / С. Зыль, 2010. - 328 с. - Текст : непосредственный. Применение технологии визуального конструирования программ / Санкт-Петербургский гос. электротехнический ун-т им. В. И. Ульянова (Ленина), 1994. - 47 c. - Текст : непосредственный. Глухих М.И. Программная инженерия. Обеспечение качества программных средств методами статического анализа : учебное пособие / М. И. Глухих, В. М. Ицыксон, 2011. - 149 с. - Текст : непосредственный. Венчковский Л.Б. Разработка сложных программных изделий / Л. Б. Венчковский, 1999. - 109 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽