Приложение
для AndroidПолное описание
Программные системы : сб. ст. / Рос. АН. Сиб. отд-ние. Ин-т систем информатики им. А.П.Ершова ; Под ред. И.В.Поттосина. - Новосибирск : [б. и.], 1995. - 164 с. : ил. - 100 экз. - Ц.договор. - Текст : непосредственный.
Парал. загл. англ. Библиогр. в конце ст
| ГРНТИ | УДК | |
| 50.05.13 | 004.42 |
Рубрики:
Программирование для ЭВМ
Кл.слова (ненормированные): программирование -- эвм
Доп. точки доступа:
Поттосин, И.В.\ред.\
Институт систем информатики им. А. П. Ершова (Новосибирск)
Имеются экземпляры в отделах: всего 2 : ХР (2)
Свободны: ХР (2)
Программные системы : Сб. ст. / Рос. АН. Сиб. отд-ние. Ин-т систем информатики им. А.П.Ершова, 1995. - 164 с. - Текст : непосредственный.Программные системы : Теорет.основы и прил. / Рос.АН.Ин-т прогр.систем, 1999. - 319 с. - Текст : непосредственный.VHDL: справочное пособие по основам языка : учеб. пособие / В. П. Бабак [и др.], 2008. - 216 с. - Текст : непосредственный.
Specification, verification, and net models of concurrent systems / Siberian division of the Russian Academy of sciences.A.P.Ershov Institute of informatics systems, 1994. - 195 p. - Текст : непосредственный.Средства и инструменты окружений программирования : Сб. / Рос.АН.Сиб.отд-ние.Ин-т систем информатики им.А.П.Ершова, 1995. - 169 с. - Текст : непосредственный.Проблемы конструирования эффективных и надежных программ : Сб. / Рос.АН.Сиб.отд-ние.Ин-т систем информатики им.А.П.Ершова, 1995. - 164 с. - Текст : непосредственный.Программные системы : Сб. ст. / Рос. АН. Сиб. отд-ние. Ин-т систем информатики им. А.П.Ершова, 1995. - 164 с. - Текст : непосредственный.Проблемы спецификации и верификации параллельных систем : Сб.науч.тр. / Рос.АН. Сиб.отд-ние. Ин-т систем информатики им. А.П.Ершова, 1995. - 237 с. - Текст : непосредственный.Оптимизирующая трансляция и конструирование программ / Рос.АН.Сиб.отд-ние.Ин-т систем информатики им.А.П.Ершова, 1997. - 166 с. - Текст : непосредственный.Проблемы систем информатики и программирования : Сб.ст. / Рос.АН.Сиб.отд-ние.Ин-т систем информатики им.А.П.Ершова, 1999. - 225 с. - Текст : непосредственный.Новые информационные технологии в науке и образовании : Сб.ст. / Рос.АН,Сиб.отд-ние.Институт систем информатики им. А.П.Ершова, 2003. - 296 с. - Текст : непосредственный.Методы предикатного программирования : Сб. науч. работ / Ин-т систем информатики им. А.П.Ершова, 2003. - 62 с. - Текст : непосредственный.Теоретические и прикладные задачи информатики : новые подходы и решения : Тр. шк.-конкурса молодых ученых, Новосибирск, Академгородок, 25 мая-15 июня 2003 г. / Рос. АН, Сиб. отд-ние, Ин-т систем информатики им. А.П.Ершова, 2003. - 79 с. - Текст : непосредственный.Программные средства и математические основы информатики / Ин-т систем информатики им. А.П.Ершова, 2004. - 278 с. - Текст : непосредственный.Программные средства и математические основы информатики / Рос. АН, Сибирск. отд-ние, Ин-т систем информатики им. А.П.Ершова, 2004. - 269 с. - Текст : непосредственный.Новосибирская школа программирования. Перекличка времен : сб. ст. / Рос. АН. Сиб. отд-ние. Ин-т систем информатики им. А.П. Ершова, 2004. - 243 с. - Текст : непосредственный.Методы и инструменты конструирования и оптимизации программ / Ин-т систем информатики им. А. П. Ершова СО РАН, 2005. - 265 с. - Текст : непосредственный.Молодая информатика : Сб. тр. аспирантов и молодых ученых / Рос. АН, Сиб. отдние,Ин-т систем информатики им. А.П.Ершова, 2005. - 122 с. - Текст : непосредственный.Андрей Петрович Ершов - ученый и человек / Ин-т систем информатики им. А.П.Ершова , 2006. - 503 с. - Текст : непосредственный.Молодая информатика : сб. тр. аспирантов и молодых ученых / Ин-т систем информатики им. А. П. Ершова, 2006. - 122 с. - Текст : непосредственный.Методы предикатного программирования : сб. науч. работ / Ин-т систем информатики им. А. П. Ершова СО РАН. Вып. 2, 2006. - 116 с. - Текст : непосредственный.Проблемы интеллектуализации и качества систем информатики / Институт систем информатики им. А.П.Ершова (Новосибирск), 2006. - 272 с. - Текст : непосредственный.Молодая информатика : сб. тр. аспирантов и мол. ученых / Ин-т систем информатики им. А.П.Ершова. Вып. 2, 2006. - 169 с. - Текст : непосредственный.
Показать все результатыСистема автономного проектирования фирм Мицуи/Симстэйшн / ВЦП.Киев.ред. - 15 с. - Текст : непосредственный.cBase3.Программирование прикладных программ в среде МЕЗ / ВЦП. - 67 c. - Текст : непосредственный.Грачев А.Ю. Структурирование данных в диалоговой системе программирования ДССП : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / А. Ю. Грачев, 1991. - 16 с. - Текст : непосредственный.Берзигияров П.К. Разработка инструментальной системы построения параллельных программ по логическим спецификациям для вычислительных систем векторно-конвейерного типа : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13:05.13.11 / П. К. Берзигияров, 1991. - 20 с. - Текст : непосредственный.Марченко А.Л. Методы реализации систем продукционного программирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Л. Марченко, 1991. - 16 с. - Текст : непосредственный.Петрушенко А.Н. Диалоговые преобразования схем программ в алгоритмических алгебрах : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Н. Петрушенко, 1991. - 16 с. - Текст : непосредственный.Колесник И.П. Системные средства поддержки модульного программирования в ОСПО МВК "Эльбрус" : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / И. П. Колесник, 1991. - 24 с. - Текст : непосредственный.Описание утилит передачи данных. Гл.5 / ВЦП. - 197 c. - Текст : непосредственный.Руководство для системного программиста станции программирования MIT 4020 / ВЦП. - 83 c. - Текст : непосредственный.Вычислительная техника. Программирование. Глоссарий 9 / ВЦП. - 28 с. - Текст : непосредственный.Вычислительная техника. Программирование / ВЦП. - 6 c. - Текст : непосредственный.Вычислительная техника. Программирование. Сокращенные обозначения сигналов. Глоссарий 7 / ВЦП. - 6 c. - Текст : непосредственный.Программирование. Вычислительная техника. Набор данных спулГлоссарий 6 / ВЦП. - 10 c. - Текст : непосредственный.Вычислительная техника. Программирование. Обозначение сигналов / ВЦП. - 31 c. - Текст : непосредственный.Глоссарий 12 немецко-русский по программированию, вычислительной технике, АСУ / ВЦП. - 12 c. - Текст : непосредственный.Глоссарий 1 по программированию, вычислительной технике. По материалам народного предприятия Роботрон / ВЦП. - 13 c. - Текст : непосредственный.Глоссарий 4 по вычислительной технике, программированию / ВЦП. - 11 c. - Текст : непосредственный.Глоссарий 1 по программированию, вычислительной технике / ВЦП. - 26 c. - Текст : непосредственный.Глоссарий 2 немецко-русский по программированию, вычислительной технике, микропроцессорной технике / ВЦП. - 14 c. - Текст : непосредственный.Программирование. Вычислительная техника. Транслятор с языка пл/1. По материалам фирмы Сименс. Немецко-русский глоссарий 14 / ВЦП. - 29 c. - Текст : непосредственный.
Показать все результатыРуководство по программированию контроллера Sinumerik 8N. Издание 6.86 / ВЦП. - 100 с. - Текст : непосредственный.Взгляд на экран. Серия по программированию. Последовательное описание программирования для ПЭВМ ZX Spectrum / ВЦП. - 212 c. - Текст : непосредственный.cBase3.Программирование прикладных программ в среде МЕЗ / ВЦП. - 67 c. - Текст : непосредственный.Информационные системы Конгсберг KS-500. Универсальные ЭВМ : Инструкция по программированию / ВЦП. - 197 c. - Текст : непосредственный.I-02.009/ON4: Инструкция по программированию. Лазерная система: маркировка 815-M/IP20,IP54 / ВЦП. - 85 c. - Текст : непосредственный.Руководство для пользователя программного изделия VAXELN. Ч.1 / ВЦП. - 211 c. - Текст : непосредственный.Вычислительная техника. Программирование. Глоссарий 9 / ВЦП. - 28 с. - Текст : непосредственный.Вычислительная техника. Программирование / ВЦП. - 6 c. - Текст : непосредственный.Вычислительная техника. Программирование. Сокращенные обозначения сигналов. Глоссарий 7 / ВЦП. - 6 c. - Текст : непосредственный.Программирование. Вычислительная техника. Набор данных спулГлоссарий 6 / ВЦП. - 10 c. - Текст : непосредственный.Вычислительная техника. Программирование. Обозначение сигналов / ВЦП. - 31 c. - Текст : непосредственный.Глоссарий 12 немецко-русский по программированию, вычислительной технике, АСУ / ВЦП. - 12 c. - Текст : непосредственный.Глоссарий 1 по программированию, вычислительной технике. По материалам народного предприятия Роботрон / ВЦП. - 13 c. - Текст : непосредственный.Глоссарий 4 по вычислительной технике, программированию / ВЦП. - 11 c. - Текст : непосредственный.Глоссарий 1 по программированию, вычислительной технике / ВЦП. - 26 c. - Текст : непосредственный.Глоссарий 2 немецко-русский по программированию, вычислительной технике, микропроцессорной технике / ВЦП. - 14 c. - Текст : непосредственный.Программирование. Вычислительная техника. Системы 300 фирмы Сименс. программа ОРГ. Глоссарий 11 / ВЦП. - 36 c. - Текст : непосредственный.Средства программирования / ВЦП. - 5 c. - Текст : непосредственный.Прикладные задачи управления и резервирование (восстановление). Фирма "Дэйтапро резерч корпэрэйшн" / ВЦП. - 21 c. - Текст : непосредственный.Deursen A.van Origin tracking / A.van Deursen,P.Klint,F.Tip, 1992. - 48 p. - Текст : непосредственный.
Показать все результатыКузнецов С.О. Разработка и исследование методов построения ЦМД-эмуляторов : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / С. О. Кузнецов, 1990. - 21 с. - Текст : непосредственный.Швеин А.А. Повышение эффективности программно-аппаратных трансляторов и интерпретаторов на основе методов теории формальных языков : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.13 / А. А. Швеин, 1991. - 19 с. - Текст : непосредственный.Грачев А.Ю. Структурирование данных в диалоговой системе программирования ДССП : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук / А. Ю. Грачев, 1991. - 16 с. - Текст : непосредственный.Дао Нам Ань.Автоматизация процесса построения компиляторов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Дао Нам Ань, 1991. - 12 с. - Текст : непосредственный.Зевина С.Г. Разработка инструментальных средств автоматизации проектирования трансляторов перспективных языков программирования для векторно-конвейерных ЭВМ : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / С. Г. Зевина, 1991. - 19 с. - Текст : непосредственный.Скачков Н.Б. Отладочный транслятор-интерпретатор программ на Алголе 68 : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Н. Б. Скачков, 1990. - 18 с. - Текст : непосредственный.Вдовкин С.В. Методы обработки структурированных объектов и операций над ними на МВК "Эльбрус" : Автореферат диссертации на соискание ученой степени дис.канд.техн.наук:05.13.11 / С. В. Вдовкин, 1990. - 15 с. - Текст : непосредственный.Марков А.С. Математическое,программное и научно-методическое обеспечение прикладного программирования в аспекте архитектурной и субархитектурной зависимости : Дис..д-ра техн.наук в форме науч.докл.:05.13.11 / А. С. Марков, 1990. - 68 с. - Текст : непосредственный.Сергеев Н.Н. Цифровые полисинхронные генераторы случайных чисел : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / Н. Н. Сергеев, 1991. - 17 с. - Текст : непосредственный.Иванова Е.А. Синтез корректных алгоритмов типа вычисления оценок : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.17 / Е. А. Иванова, 1991. - 15 с. - Текст : непосредственный.Бочков С.О. Автоматизация отладки программ на основе операционного описания их поведения : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / С. О. Бочков, 1991. - 16 с. - Текст : непосредственный.Марченко А.Л. Методы реализации систем продукционного программирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / А. Л. Марченко, 1991. - 16 с. - Текст : непосредственный.Маслов В.Ю. Разработка векторизатора для системы кросс-программирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / В. Ю. Маслов, 1991. - 15 с. - Текст : непосредственный.Попрыгаев Е.В. Разработка ядра системы обосновательного гиперпрограммирования : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Е. В. Попрыгаев, 1991. - 12 с. - Текст : непосредственный.Колесник И.П. Системные средства поддержки модульного программирования в ОСПО МВК "Эльбрус" : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / И. П. Колесник, 1991. - 24 с. - Текст : непосредственный.Терентьев И.В. Методы синтеза алгоритмов пространственно-распределенных систем : Автореферат диссертации на соискание ученой степени д-ра техн.наук:05.13.16 / И. В. Терентьев, 1992. - 36 с. - Текст : непосредственный.Аджиев В.Д. Проектирование системы программирования для интегрированных систем машинной геометрии и графики : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / В. Д. Аджиев, 1992. - 20 с. - Текст : непосредственный.Бурнашев М.И. Генераторы случайных и псевдослучайных и псевдослучайных чисел на микропрограммируемых БИС : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.05 / М. И. Бурнашев, 1992. - 15 с. - Текст : непосредственный.Кириенко Н.А. Оптимизация программ в процессе трансляции : Автореферат диссертации на соискание ученой степени канд.техн.наук:05.13.11 / Н. А. Кириенко, 1992. - 16 с. - Текст : непосредственный.Унгуряну М.М. Автоматизация процессов повышения эффективности программирования на основе методов дискретной многокритериальной оптимизации : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.11 / М. М. Унгуряну, 1992. - 19 с. - Текст : непосредственный.
Показать все результатыЗаказ фрагмента документа ₽