Институт систем информатики им.А.П.Ершова,Новосибирск.     Проблемы систем информатики и программирования [Text] : сб.ст. / Рос.АН.Сиб.отд-ние.Ин-т систем информатики им.А.П.Ершова;Под ред.В.Н.Касьянова. - Новосибирск : [s. n.], 1999. - 225 с. : ил. - ^aБиблиогр.в конце ст. - Б. ц. ГРНТИ ^a20.53.19 ^a50.05.13 УДК ^a681.3.01(063) ^a004.42(063) Рубрики: Информационные системы    Программирование для ЭВМ Доп.точки доступа: Касьянов, В.Н. Свободных экз. нет

Институт систем информатики им.А.П.Ершова,Новосибирск.     Становление новосибирской школы программирования (мозаика воспоминаний) [Text] : сб. / Рос. АН. Сиб. отд-ние. Ин-т систем информатики им. А.П.Ершова;Под ред. И.В.Поттосина. - Новосибирск : [s. n.], 2001. - 195 с. - ^aБиблиогр. в конце отд. ст. - Б. ц. ГРНТИ ^a50.05.13 УДК ^a004.42 Рубрики: Программирование для ЭВМ Доп.точки доступа: Поттосин, И.В. Свободных экз. нет

Институт систем информатики им.А.П.Ершова,Новосибирск.     Современные проблемы конструирования программ [Text] : сборник / Рос.АН,Сиб.отд-ние,Ин-т систем информатики им.А.П.Ершова;Под ред.В.Н.Касьянова. - Новосибирск : [s. n.], 2002. - 248 с. - Б. ц. ГРНТИ ^a50.41 УДК ^a004.415.2 Рубрики: Программирование для ЭВМ Доп.точки доступа: Касьянов, В.Н. Свободных экз. нет

Институт систем информатики им.А.П.Ершова,Новосибирск.     Оптимизирующая трансляция и конструирование программ [Text] : сборник / Рос.АН.Сиб.отд-ние.Ин-т систем информатики им.А.П.Ершова;Под ред.В.Н.Касьянова. - Новосибирск : [s. n.], 1997. - 166 с. : ил. - ^aБиблиогр.в конце ст. - ISBN 5-7623-1182-1 : Б. ц. Перевод заглавия: ^aPROBLEMS OF CONSTRUCTING EFFICIENT AND RELIABLE PROGRAMS     Содержание:    Перевод заглавия: ^aPROBLEMS OF CONSTRUCTING EFFICIENT AND RELIABLE PROGRAMS ГРНТИ ^a50.05.13 УДК ^a681.3.068:519.685.3 ^a681.3.06.012:519.68 Рубрики: <Трансляторы> <ЭВМ>    <Программирование> для <ЭВМ> <параллельное> Доп.точки доступа: Касьянов, В.Н. Свободных экз. нет

Институт систем информатики им.А.П.Ершова,Новосибирск.     Specification, verification, and net models of concurrent systems [Text] : сборник / Siberian division of the Russian Academy of sciences.A.P.Ershov Institute of informatics systems;Edited by V.A.Nepomniaschy. - Novosibirsk : [s. n.], 1994. - 195 p. : il. - ^aБиблиогр.в конце ст. - Б. ц. ГРНТИ ^a50.33.03 УДК ^a681.324.012 Рубрики: <Вычислительные> <системы> <многопроцессорные> Доп.точки доступа: Непомнящий, В.А. Свободных экз. нет

Институт систем информатики им.А.П.Ершова,Новосибирск.     Средства и инструменты окружений программирования [Text] : сб. / Рос.АН.Сиб.отд-ние.Ин-т систем информатики им.А.П.Ершова;Под ред.И.В.Поттосина. - Новосибирск : [s. n.], 1995. - 169 с. : ил. - ^aБиблиогр.в конце ст. - Б. ц. ГРНТИ ^a50.05.13 УДК ^a681.3.06:519.68 Рубрики: <Программирование> для <ЭВМ> Доп.точки доступа: Поттосин, И.В. Свободных экз. нет

Институт систем информатики им.А.П.Ершова,Новосибирск.     Спецификация, верификация и сетевые модели параллельных систем [Text] : сб.науч.тр. / Рос.АН.Сиб.отд-ние.Ин-т систем информатики им.А.П.Ершова;Под ред.В.А.Непомнящего. - Новосибирск : [s. n.], 1994. - 195 с. : ил. - ^aБиблиогр.в конце ст.Текст англ.Ксерокопия. - Б. ц. ГРНТИ ^a50.05.13 ^a50.39.29 УДК ^a004.415.28 ^a004.415.535 ^a681.324.012 Рубрики: Программы для ЭВМ    Вычислительные системы многопроцессорные Доп.точки доступа: Непомнящий, В.А. Свободных экз. нет

Институт систем информатики им.А.П.Ершова,Новосибирск.     Спецификация, верификация и сетевые модели параллельных систем [Text] : сб.науч.тр. / Рос.АН.Сиб.отд-ние.Ин-т систем информатики им.А.П.Ершова;Под ред.В.А.Непомнящего. - Новосибирск : [s. n.], 1994. - 195 с. : ил. - ^aБиблиогр.в конце ст.Текст англ.Ксерокопия. - Б. ц. ГРНТИ ^a50.05.13 ^a50.39.29 УДК ^a004.415.28 ^a004.415.535 ^a681.324.012 Рубрики: Программы для ЭВМ    Вычислительные системы многопроцессорные Доп.точки доступа: Непомнящий, В.А. Свободных экз. нет