Институт систем информатики им.А.П.Ершова,Новосибирск. Проблемы систем информатики и программирования [Text] : сб.ст. / Рос.АН.Сиб.отд-ние.Ин-т систем информатики им.А.П.Ершова;Под ред.В.Н.Касьянова. - Новосибирск : [s. n.], 1999. - 225 с. : ил. - ^aБиблиогр.в конце ст. - Б. ц.
Программирование для ЭВМ Доп.точки доступа: Касьянов, В.Н. Свободных экз. нет |
Институт систем информатики им.А.П.Ершова,Новосибирск. Становление новосибирской школы программирования (мозаика воспоминаний) [Text] : сб. / Рос. АН. Сиб. отд-ние. Ин-т систем информатики им. А.П.Ершова;Под ред. И.В.Поттосина. - Новосибирск : [s. n.], 2001. - 195 с. - ^aБиблиогр. в конце отд. ст. - Б. ц.
Доп.точки доступа: Поттосин, И.В. Свободных экз. нет |
Институт систем информатики им.А.П.Ершова,Новосибирск. Современные проблемы конструирования программ [Text] : сборник / Рос.АН,Сиб.отд-ние,Ин-т систем информатики им.А.П.Ершова;Под ред.В.Н.Касьянова. - Новосибирск : [s. n.], 2002. - 248 с. - Б. ц.
Доп.точки доступа: Касьянов, В.Н. Свободных экз. нет |
Институт систем информатики им.А.П.Ершова,Новосибирск. Оптимизирующая трансляция и конструирование программ [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
<Программирование> для <ЭВМ> <параллельное> Доп.точки доступа: Касьянов, В.Н. Свободных экз. нет |
Институт систем информатики им.А.П.Ершова,Новосибирск. 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Библиогр.в конце ст. - Б. ц.
Доп.точки доступа: Непомнящий, В.А. Свободных экз. нет |
Институт систем информатики им.А.П.Ершова,Новосибирск. Средства и инструменты окружений программирования [Text] : сб. / Рос.АН.Сиб.отд-ние.Ин-т систем информатики им.А.П.Ершова;Под ред.И.В.Поттосина. - Новосибирск : [s. n.], 1995. - 169 с. : ил. - ^aБиблиогр.в конце ст. - Б. ц.
Доп.точки доступа: Поттосин, И.В. Свободных экз. нет |
Институт систем информатики им.А.П.Ершова,Новосибирск. Спецификация, верификация и сетевые модели параллельных систем [Text] : сб.науч.тр. / Рос.АН.Сиб.отд-ние.Ин-т систем информатики им.А.П.Ершова;Под ред.В.А.Непомнящего. - Новосибирск : [s. n.], 1994. - 195 с. : ил. - ^aБиблиогр.в конце ст.Текст англ.Ксерокопия. - Б. ц.
Вычислительные системы многопроцессорные Доп.точки доступа: Непомнящий, В.А. Свободных экз. нет |
Институт систем информатики им.А.П.Ершова,Новосибирск. Спецификация, верификация и сетевые модели параллельных систем [Text] : сб.науч.тр. / Рос.АН.Сиб.отд-ние.Ин-т систем информатики им.А.П.Ершова;Под ред.В.А.Непомнящего. - Новосибирск : [s. n.], 1994. - 195 с. : ил. - ^aБиблиогр.в конце ст.Текст англ.Ксерокопия. - Б. ц.
Вычислительные системы многопроцессорные Доп.точки доступа: Непомнящий, В.А. Свободных экз. нет |