Полное описание
> Методы предикатного программирования : сб. науч. работ / Ин-т систем информатики им. А.П.Ершова ; Под ред. В.И. Шелехова. - Новосибирск : [б. и.], 2003. - 62 с. - 70 экз. - Текст : непосредственный. В надзаг.также:Рос. АН, Сиб. отд-ние.Библиогр.: с. 61 (5 назв.)
Рубрики: Программирование для ЭВМ
Доп. точки доступа: Шелехов, В.И.\ред.\
Институт систем информатики им. А. П. Ершова (Новосибирск)
Держатели документа: Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): Д8-03/97860)>
Шифр в сводном ЭК: 666552c240eef9476a6044a21c882771
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Шелехов В.И. Современные направления модернизации машин для производства кровельного картона : обзор / В. И. Шелехов; редакционная коллегия: Г. М. Матвеев (главный редактор) [и др.], 1974. - 47, [2] с. - Текст : непосредственный. Шелехов В.И. Разработка и верификация алгоритмов пирамидальной сортировки в технологии предикатного программирования / В.И. Шелехов, 2012. - 26 с. - Текст : непосредственный. Шелехов В.И. Разработка эффективных программ стандартных функций Floor, Isqrt и Ilog2 по технологии предикатного программирования / В. И. Шелехов, 2010. - 42 с. - Текст : непосредственный. Шелехов В.И. Предикатное программирование : учеб. пособие / В. И. Шелехов, 2009. - 109 с. - Текст : непосредственный. Батраков В.А. Автоматическое доказательство формул корректности предикатной программы в системе RUSSELL / В. А. Батраков, В. И. Шелехов, 2012. - 32 с. - Текст : непосредственный. Чушкин М.С. Генерация и доказательство условий корректности предикатных программ / М. С. Чушкин, В. И. Шелехов, 2012. - 49 с. - Текст : непосредственный. Каблуков И.В. Реализация склеивания переменных в предикатной программе / И. В. Каблуков, В. И. Шелехов, 2012. - 13 с. - Текст : непосредственный. Каблуков И.В. Контроль динамической семантики предикатной программы / И. В. Каблуков, В. И. Шелехов, 2012. - 28 с. - Текст : непосредственный. Методы предикатного программирования : Сб. науч. работ / Ин-т систем информатики им. А.П.Ершова, 2003. - 62 с. - Текст : непосредственный. Шелехов В.И. Разработка программы построения дерева суффиксов в технологии предикатного программирования / В.И.Шелехов, 2004. - 52 с. - Текст : непосредственный. Шелехов В.И. Модель корректности программ на языке исчисления вычислимых предикатов / В. И. Шелехов, 2007. - 50 с. - Текст : непосредственный. Шелехов В.И. Введение в предикатное программирование / В.И.Шелехов, 2002. - 82 с. - Текст : непосредственный. Шелехов В.И. Язык предикатного программирования Р / В.И.Шелехов, 2002. - 40 с. - Текст : непосредственный. Карнаухов Н.С. Язык предикатного программирования Р / Н. С. Карнаухов, Д. Ю. Першин, В. И. Шелехов, 2010. - 42 с. - Текст : непосредственный. Проблемы конструирования эффективных и надежных программ : сборник / Институт систем информатики им. А. П. Ершова (Новосибирск), 1995. - 164 с. - Текст : непосредственный. Конструирование и оптимизация параллельных программ / Институт систем информатики им. А. П. Ершова (Новосибирск), 2008. - 332 с. - Текст : непосредственный. Оптимизирующая трансляция и конструирование программ / Институт систем информатики им. А. П. Ершова (Новосибирск), 1997. - 166 с. - Текст : непосредственный. Молодая информатика : сборник / Институт систем информатики им. А. П. Ершова (Новосибирск), 2005. - 122 с. - Текст : непосредственный. Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Лицевая сторона карточки Обратная сторона карточки
Городняя Л.В. Парадигмы программирования: анализ и сравнение / Л. В. Городняя, 2017. - 231 с. - Текст : непосредственный. Виктор Николаевич Касьянов (к 70-летию со дня рождения) / Институт систем информатики им. А. П. Ершова (Новосибирск), 2018. - 192 с. - Текст : непосредственный. Информатика образования : 12-я Международная Ершовская конференция по информатике ПСИ'19: труды семинара, 2-3 июля 2019 г. / Институт систем информатики им. А. П. Ершова СО РАН, Министерство науки и высшего образования РФ, Новосибирский государственный университет, 2019. - 99 с. - Текст : непосредственный. Наукоемкое программное обеспечение : 12-я Международная Ершовская конференция по информатике ПСИ'19: труды семинара, 2-3 июля 2019 г. / Институт систем информатики им. А. П. Ершова СО РАН, Министерство науки и высшего образования РФ, Новосибирский государственный университет, 2019. - 150 с. - Текст : непосредственный. Показать все результаты Оузьер Д. Освой самостоятельно 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 с. - Текст : непосредственный. Показать все результаты Метакидес Г. Принципы логики и логического программирования / Г. Метакидес, А. Нероуд, 1998. - 288 с. - Текст : непосредственный. Оузьер Д. Освой самостоятельно Delphi 2 : монография / Д. Оузьер, С. Гробман, С. Батсон, 1997. - 614 с. - Текст : непосредственный. Турбо Гамес : методический материал. - 28 c. - Текст : непосредственный. Персональные программы : Ежемес. журн.: Журн. представляет программы для персональных компьютеров. - Журнал выходит с 1990г. - Текст : непосредственный. Цоллер С.А. Создание музыки на ПК : монография / С. А. Цоллер, 2003. - 320 с. ил. - Текст : непосредственный. Смирнов Н.Н. Программные средства персональных ЭВМ / Н. Н. Смирнов, 1990. - 272 с. - Текст : непосредственный. Учебное пособие по курсу "Вычислительная математика и программирование". Инструментальные средства программирования СВМ ЕС ЭВМ / Л. Г. Алтухов, Л. Д. Когут, Н. Ю. Озеров ; Ред. О. М. Рякин, 1989. - 78 с. - Текст : непосредственный. Васильев В.В. Сети Петри, параллельные алгоритмы и модели мультипроцессорных систем / В. В. Васильев, В. В. Кузьмук, 1990. - 213 c. - Текст : непосредственный. Структуры данных / В. И. Жаков, Н. В. Корсаков, А. В. Никитин, В. В. Фильчаков, 1989. - 76 с. - Текст : непосредственный. Клещев А.С. Экспертная система, моделирующая процесс оптимизации программ. Обработка знаний : препринт / А. С. Клещев, М. А. Князева, 1990. - 44 с. - Текст : непосредственный. Корольков А.В. Структуры данных / А. В. Корольков, 1990. - 44 с. - Текст : непосредственный. Logic programming : материалы временных коллективов / Ed.: V. Saraswat, K. Ueda, 1991. - 736 p. - Текст : непосредственный. Computer music modeling and retrieval. Genesis of meaning in sound and music / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный. Уэйнманн Э. Photoshop CS2 для Windows и Macintosh / Э. Уэйнманн, П. Лурекас, 2006. - 875 с. - Текст : непосредственный. Боресков А.В. Разработка и отладка шейдеров / А. В. Боресков, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный. Кулагин Б.Ю. 3ds Max 8. Актуальное моделирование, визуализация и анимация / Б. Ю. Кулагин, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный. Верстак В.А. 3ds Max 8 на 100 % / В. А. Верстак, С. В. Бондаренко, М. Ю. Бондаренко, 2006. - 1 o=электрон. опт. диск (CD-ROM). - Текст : электронный. Райт С. Цифровой композитинг в кино и видео : монография / С. Райт, 2009. - 447 с. - Текст : непосредственный. Гришкин А.С. Генераторы псевдослучайных символов на регистрах сдвига с внутренними сумматорами по модулю при использовании инвесных выходов : специальность 05.13.05 "Элементы и устройства вычислительной техники и систем управления" : диссертация на соискание ученой степени канд. техн. наук / А. С. Гришкин, 2006. - 17 с. - Текст : непосредственный. Демаков А.В. Объектно-ориентированное описание графового представления программ и моделей / А. В. Демаков, 2006. - 26 с. - Текст : непосредственный. Показать все результаты Заказать
Заказ фрагмента документа ₽