Полное описание
Евстигнеев, В. А.
ГРНТИ УДК 50.05.13 004.42(04)
Рубрики: Программирование для ЭВМ
Кл.слова (ненормированные): ПРОГРАММИРОВАНИЕ -- ЭВМ
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): М/49881/83(2002))
Шифр в сводном ЭК: ae519d5f8dd2be2c410ffb30a6a60287
Евстигнеев В.А. Анализ циклов: выбор кандидатов на распараллеливание / В. А. Евстигнеев, И. Л. Мирзуитова, 1999. - 48 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Владимир Анатольевич Евстигнеев. К 70-летию со дня рождения / Ин-т систем информатики им. А.П.Ершова, 2010. - 31 с. - Текст : непосредственный. Евстигнеев В.А. Сводимые графы и граф-модели в программировании / В.А.Евстигнеев,В.Н.Касьянов;Отв.ред.В.Н.Касьянов, 1999. - 288 с. - Текст : непосредственный. Евстигнеев В.А. Теория графов: алгоритмы обработки деревьев / В.А.Евстигнеев,В.Н.Касьянов;Отв.ред.В.Е.Котов, 1994. - 361 c. - Текст : непосредственный. Касьянов В.Н. Графы в программировании: обработка, визуализация и применение / В.Н.Касьянов,В.А.Евстигнеев, 2003. - 1104 с. - Текст : непосредственный. Евстигнеев В.А. Теория графов. Алгоритмы обработки бесконтурных графов / В.А.Евстигнеев,В.Н.Касьянов;Отв. ред. И.В.Поттосин, 1998. - 385 с. - Текст : непосредственный. Евстигнеев В.А. Алгоритмы обработки деревьев / В.А.Евстигнеев,В.Н.Касьянов;Под ред. В.Е.Котова, 1990. - 208 с. - Текст : непосредственный. Евстигнеев В.А. Векторизация программ: анализ зависимостей / В.А.Евстигнеев,С.В.Спрогис, 1989. - 36 с., с.,. - Текст : непосредственный. Евстигнеев В.А. Топологические меры сложности программ / В.А.Евстигнеев,Г.П.Кожевникова, 1989. - 30 c. - Текст : непосредственный. Евстигнеев В.А. Базисные алгоритмы обработки бесконтурных графов / В.А.Евстигнеев,В.Н.Касьянов, 1995. - 126 с. - Текст : непосредственный. Конструирование и оптимизация программ : сер. / Институт систем информатики им. А. П. Ершова (Новосибирск). Вып. 17 : Словарь по графам в информатике / В. А. Евстигнеев, В. Н. Касьянов; под ред. В. Н. Касьянова, 2009. - 299 с. - Текст : непосредственный. Евстигнеев В.А. Деревья: основные понятия, свойства и алгоритмы : Учеб. пособие / В.А.Евстигнеев,В.Н.Касьянов, 1992. - 80 с. - Текст : непосредственный. Евстигнеев В.А. Обзор деятельности новосибирских ученых в области программирования / В.А.Евстигнеев, 2002. - 57 с. - Текст : непосредственный. Евстигнеев В.А. Толковый словарь по теории графов в информатике и программировании / В.А.Евстигнеев,В.Н.Касьянов;Под ред.Л.С.Мельникова, 1999. - 288 с. - Текст : непосредственный. Евстигнеев В.А. Русско-английский и англо-русский словарь по графам в информатике / В. А. Евстигнеев, В. Н. Касьянов; под ред. В. Н. Касьянова, 2011. - 219 с. - Текст : непосредственный. Арапбаев Р.Н. Сравнительный анализ тестов на зависимость по данным / Р. Н. Арапбаев, В. А. Евстигнеев, Р. А. Осмонов, 2006. - 36 с. - Текст : непосредственный. Евстигнеев В.А. Алгоритмы на деревьях / В.А.Евстигнеев,В.Н.Касьянов, 1990. - 311 с. - Текст : непосредственный. Неопределенность оценки ветроэнергетического потенциала Азово-Черноморской прибрежной зоны вследствие климатических изменений ветрового режима. / В. П. Евстигнеев, Н. А. Лемешко, В. А. Наумова, В. А. Евстигнеев. - Текст : непосредственный // Экологическая безопасность прибрежной и шельфовой зон моря. - Севастополь : ФИЦ МГИ, 2020. - № 4. - с. 22-39 Непомнящий В.А. Язык спецификаций распределенных систем Dynamic-REAL / В. А. Непомнящий, Е. В. Бодин, С. О. Веретнов, 2007. - 42 с. - Текст : непосредственный. Тумуров Э.Г. Технология спецификации коммуникационных протоколов / Э. Г. Тумуров, 2007. - 22 с. - Текст : непосредственный. Гаранина Н.О. Аффинное представление данных для проверки моделей программ / Н. О. Гаранина, 2004. - 48 с. - Текст : непосредственный. Андреева М.В. Параллельные варианты MAY-тестовых эквивалентностей временных структур событий / М. В. Андреева, 2000. - 23 с. - Текст : непосредственный. Городняя Л.В. Банк улучшаемых компонентов информационных систем / Л. В. Городняя, 2005. - 40 с. - Текст : непосредственный. Цаценко Н.Н. Технологии работы с данными в интероперабельных средах CORBA, RMI, EJB / Н. Н. Цаценко, 2002. - 36 с. - Текст : непосредственный. Москалева Н.С. Теоретико-категорная характеризация трассовой эквивалентности временных параллельных моделей / Н. С. Москалева, 2002. - 22 с. - Текст : непосредственный. Козюра В.Е. Реализация системы проверки моделей раскрашенных сетей Петри с использованием разверток / В. Е. Козюра, 2002. - 44 с. - Текст : непосредственный. Ануреев И.С. Теория систем переписывания формул / И. С. Ануреев, 1998. - 35 с. - Текст : непосредственный. Замулин А.В. Algebraic specification language Ruslan 99 / А. В. Замулин, 1999. - 34 p. - Текст : непосредственный. Боженкова Е.Н. Исследование разрешимости временных тестовых эквивалентностей / Е. Н. Боженкова, 1999. - 31 с. - Текст : непосредственный. Евстигнеев В.А. Анализ циклов: выбор кандидатов на распараллеливание / В. А. Евстигнеев, И. Л. Мирзуитова, 1999. - 48 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Показать все результаты Оузьер Д. Освой самостоятельно Delphi 2 : монография / Д. Оузьер, С. Гробман, С. Батсон, 1997. - 614 с. - Текст : непосредственный. Учебное пособие по курсу "Вычислительная математика и программирование". Инструментальные средства программирования СВМ ЕС ЭВМ / Л. Г. Алтухов, Л. Д. Когут, Н. Ю. Озеров ; Ред. О. М. Рякин, 1989. - 78 с. - Текст : непосредственный. От Паскаля к Аде : монография / Т. Ю. Бардинова, В. Ю. Блажнов, А. А. Маслов, В. Н. Орлов, 1990. - 255 c. - Текст : непосредственный. Структуры данных / В. И. Жаков, Н. В. Корсаков, А. В. Никитин, В. В. Фильчаков, 1989. - 76 с. - Текст : непосредственный. Корольков А.В. Структуры данных / А. В. Корольков, 1990. - 44 с. - Текст : непосредственный. Tutorial:Microprogramming and firmware engineering / Ред.Compl. V. Milutinovic, 1989. - VII,409 p. p. - Текст : непосредственный. Боресков А.В. Разработка и отладка шейдеров / А. В. Боресков, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный. Демаков А.В. Объектно-ориентированное описание графового представления программ и моделей / А. В. Демаков, 2006. - 26 с. - Текст : непосредственный. Мельникова О.И. Технология программирования / О. И. Мельникова, А. Ю. Бонюшкина, 2001. - 84 с. - Текст : непосредственный. Галявов И.Р. Borland C++ 5 для себя / И. Р. Галявов, 2001. - 427 с. - Текст : непосредственный. Walters H.R. Rewrite systems for integer arithmetic / H. R. Walters, H. Zantema, 1995. - 13 p. - Текст : непосредственный. Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 1 Ч. 1 и 2, 2008. - 189 с. - Текст : непосредственный. Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 2Ч. 3 и 4, 2008. - 284 с. - Текст : непосредственный. Современные проблемы конструирования программ / Ред. В. Н. Касьянов, 2002. - 248 с. - Текст : непосредственный. Сеппа Д. Microsoft ADO.NET : монография / Д. Сеппа, 2003. - 605 с. ил. - Текст : непосредственный. Александреску А. Современное проектирование на С++ . Обобщенное программирование и прикладные шаблоны проектирования / А. Александреску, 2004. - 335 с. - Текст : непосредственный. Ковтушенко А.П. Информационный анализ программ, ориентированный на процессор с длинным командным словом : специальность 05.13.11 "Математическое и программное обеспечение вычислительных машин,комплексов и компьютерных сетей" : автореферат диссертации на соискание ученой степени канд. физ.-мат. наук / А. П. Ковтушенко, 1993. - 16 с. - Текст : непосредственный. Райли Д. Абстракция и структура данных.Вводный курс / Д. Райли ; ред. Н. И. Ильинский, 1993. - 750 c. - Текст : непосредственный. Automated technology for verification and analysis / SpringerLink (Online service), 2008 r=on-line. - Текст : электронный. Model checking and artificial intelligence / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Показать все результаты Оузьер Д. Освой самостоятельно Delphi 2 : монография / Д. Оузьер, С. Гробман, С. Батсон, 1997. - 614 с. - Текст : непосредственный. Учебное пособие по курсу "Вычислительная математика и программирование". Инструментальные средства программирования СВМ ЕС ЭВМ / Л. Г. Алтухов, Л. Д. Когут, Н. Ю. Озеров ; Ред. О. М. Рякин, 1989. - 78 с. - Текст : непосредственный. Структуры данных / В. И. Жаков, Н. В. Корсаков, А. В. Никитин, В. В. Фильчаков, 1989. - 76 с. - Текст : непосредственный. Корольков А.В. Структуры данных / А. В. Корольков, 1990. - 44 с. - Текст : непосредственный. Мельникова О.И. Технология программирования / О. И. Мельникова, А. Ю. Бонюшкина, 2001. - 84 с. - Текст : непосредственный. Галявов И.Р. Borland C++ 5 для себя / И. Р. Галявов, 2001. - 427 с. - Текст : непосредственный. Walters H.R. Rewrite systems for integer arithmetic / H. R. Walters, H. Zantema, 1995. - 13 p. - Текст : непосредственный. Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 1 Ч. 1 и 2, 2008. - 189 с. - Текст : непосредственный. Винокуров Н. А. Практика и теория программирования : учеб. пособие: в 2 кн. Кн. 2Ч. 3 и 4, 2008. - 284 с. - Текст : непосредственный. Современные проблемы конструирования программ / Ред. В. Н. Касьянов, 2002. - 248 с. - Текст : непосредственный. Сеппа Д. Microsoft ADO.NET : монография / Д. Сеппа, 2003. - 605 с. ил. - Текст : непосредственный. Александреску А. Современное проектирование на С++ . Обобщенное программирование и прикладные шаблоны проектирования / А. Александреску, 2004. - 335 с. - Текст : непосредственный. Райли Д. Абстракция и структура данных.Вводный курс / Д. Райли ; ред. Н. И. Ильинский, 1993. - 750 c. - Текст : непосредственный. Мартин Р. Чистый код: создание анализ и рефакторинг / Р. Мартин, 2013. - 464 с. - Текст : непосредственный. Лукьянов П.Б. Высокоуровневые методы информатики и программирования : выставочные материалы / П. Б. Лукьянов, 2013. - 167 с. - Текст : непосредственный. Горбунов-Посадов М.М. Формы многократно используемых компонентов программы / М. М. Горбунов-Посадов, 1997. - 16 с. - Текст : непосредственный. Стаценко П.Б. Интегрированная среда системы программирования : препринт / П. Б. Стаценко, 1993. - 40 с. - Текст : непосредственный. Стаценко П.Б. Реализация интегрированной среды системы программирования QUASIC-3 / П. Б. Стаценко, 1993. - 16 с. - Текст : непосредственный. Разработка приложений на Visual C++ с использованием MFC: от простого к сложному за 10 шагов / Сост. Л. В. Гурьянов ; Ред. Б. Г. Хмелевский, 2002. - 89 с. - Текст : непосредственный. Нахавандипур В. iOS. Приемы программирования / В. Нахавандипур ; Пер. О. Сивченко, 2015. - 832 с. - Текст : непосредственный. Показать все результаты Горбунов-Посадов М.М. Формы многократно используемых компонентов программы / М. М. Горбунов-Посадов, 1997. - 16 с. - Текст : непосредственный. Стаценко П.Б. Реализация интегрированной среды системы программирования QUASIC-3 / П. Б. Стаценко, 1993. - 16 с. - Текст : непосредственный. Городняя Л.В. Банк улучшаемых компонентов информационных систем / Л. В. Городняя, 2005. - 40 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Шелехов В.И. Разработка и верификация алгоритмов пирамидальной сортировки в технологии предикатного программирования / В.И. Шелехов, 2012. - 26 с. - Текст : непосредственный. Яковлев В.Б. Внешние объекты обмена в системе программирования АЛГОЛ-68-Эльбрус / В.Б.Яковлев, 1989. - 44 с. - Текст : непосредственный. Яковлев В.Б. Форматный обмен в системе программирования АЛГОЛ-68 - Эльбрус / В.Б.Яковлев, 1989. - 30 с. - Текст : непосредственный. Вельбицкий И.В. Классификация Р-схем на основе автоматной интерпретации и эквивалентные преобразования Р-схем / И.В.Вельбицкий,И.Б.Ушаков, 1989. - 23 с. - Текст : непосредственный. Шелехов В.И. Разработка эффективных программ стандартных функций Floor, Isqrt и Ilog2 по технологии предикатного программирования / В. И. Шелехов, 2010. - 42 с. - Текст : непосредственный. Система программирования GNS. Технология подготовки прикладной программы в среде UNIX для вычислительного комплекса MВС-1000 (руководство пользователя) / В.А.Абрамова,В.Ю.Вершубский,Л.А.Поздняков и др., 2000. - 15 с. - Текст : непосредственный. Черноножкин С.К. Средства профилирования программ в системе СОКРАТ / С.К.Черноножкин, 1998. - 20 с. - Текст : непосредственный. Крушняков В.Н. Интерфок - инструментальное ядро системы программирования МВК "Эльбрус" : Препринт / В.Н.Крушняков, 1991. - 45 с. - Текст : непосредственный. Лупенко А.И. Программирование для АМС : Препринт / А.И.Лупенко,А.М.Степанов, 1991. - 53 с. - Текст : непосредственный. Корухова Л.С. Программирование на основе стереотипов / Л. С. Корухова, Э. Э. Любимский, В. В. Островский, 1994. - 22 c. - Текст : непосредственный. Марин С.Ф. Использование гибкого межпрограммного интерфейса при создании прикладных программных систем на языке фортран / С.Ф.Марин,А.В.Тулянкин, 1989. - 21 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽
Приложение
для Android
