Результаты поиска для 'au:Институт систем информатики им. А.П. Ершова ' › Национальная библиография Электронный каталог

Уточнить поиск

Наличие
- Ограничить записями с доступными экземплярами
Авторы
Item types
- Книга (30)
Места хранения
Заглавие серии
- 15 (1)
- 4 (1)
- 7 (1)
- 8 (1)
- SB RAS integrated projects (1)
- eng (1)
- Вып. 11 (1)
- Вып.] 9 (1)
- Интеграционные проекты СО РАН (1)
- Конструирование и оптимизация программ (1)
- Материалы к биобиблиографии сибирских ученых (1)
- СИ (1)
- Серия "Конструирование и оптимизация программ" (3)
- Серия: "Системная информатика" (1)
- Системная информатика (3)
- вып. 19 (1)
- вып. 22 (1)
- Показать больше
- Показать меньше
Предметные рубрики
Коллекции
- NB (24)
- NBR (3)
Библиотека хранения
- РНБ (Московский) (24)
- РНБ (Садовая) (2)
Языки
- английский (12)
- русский (30)

	1.		КнигаСПЕЦИФИКАЦИЯ, верификация и сетевые модели параллельных систем : Сб. науч. тр. / Рос. АН. Сиб. отд-ние. Ин-т систем информатики им. А.П. Ершова ; Под ред. В.А. Непомнящего1994Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 97-3/947 (1). Добавить в подборку (удалить)
	2.		КнигаОтчет о научной, научно-организационной и хозяйственной деятельности / Рос. акад. наук. Сиб. отд-ние. Ин-т систем информатики им. А.П. ЕршоваИнститут систем информатики им. А. П. Ершова 1995Тома: Показать записиНаличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	3.		КнигаОтчет о научной и научно-организационной деятельности Института систем информатики им. А.П. Ершова ... / Рос. акад. наук. Сиб. отд-ние, Ин-т систем информатики им. А.П. ЕршоваИнститут систем информатики им. А. П. Ершова 1997Тома: Показать записиНаличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	4.		КнигаПРОБЛЕМЫ конструирования эффективных и надежных программ : [Сб.] / Рос. акад. наук. Сиб. отд-ние. Ин-т систем информатики им. А.П. Ершова ; Под ред. д. ф.-м. н. В.Н. Касьянова1995Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 96-3/9618 (1). Добавить в подборку (удалить)
	5.		КнигаПРОБЛЕМЫ конструирования эффективных и надежных программ : [Сб. ст.] / Рос. акад. наук. Сиб. отд-ние. Ин-т систем информатики им. А.П. Ершова ; Под ред. д. ф.-м. н. В.Н. Касьянова1995Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 97-3/7981 (1). Добавить в подборку (удалить)
	6.		КнигаПРОГРАММНЫЕ системы : [Сб. ст.] / Рос. акад. наук. Сиб. отд-ние. Ин-т систем информатики им. А.П. Ершова ; Под ред. д. ф.-м. н. И.В. Поттосина1995Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 97-3/6199 (1). Добавить в подборку (удалить)
	7.		КнигаПроблемы систем информатики и программирования : [Сб. ст.] / Рос. акад. наук. Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова ; Под ред. проф. Виктора Николаевича Касьянова1999Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2000-3/7841 (2). Добавить в подборку (удалить)
	8.		КнигаСРЕДСТВА и инструменты окружений программирования : [Сб. ст.] / Рос. акад. наук. Сиб. отд-ние. Ин-т систем информатики им. А.П. Ершова ; Под ред. д. ф.-м. н. И.В. Поттосина1995Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 97-3/221 (1). Добавить в подборку (удалить)
	9.		КнигаКОНСТРУИРОВАНИЕ и оптимизация программ : [Сб. ст.] / Рос. акад. наук. Сиб. отд-ние. Ин-т систем информатики ; Под ред. В.Н. Касьянова1993Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 94-3/2796 (1). Добавить в подборку (удалить)
	10.		КнигаМолодая информатика : сборник трудов аспирантов и молодых ученых / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова ; под ред. к.ф.-м.н. И.С. Ануреева2005Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2006-3/26904 (3). Добавить в подборку (удалить)
	11.		КнигаПроблемы системной информатики : [сборник статей] / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова ; под ред. проф. Виктора Николаевича Касьянова2010Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2011-3/5560 (2). Добавить в подборку (удалить)
	12.		КнигаЕршовские лекции : (памяти академика А.П. Ершова) / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова2009Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2009-4/15239 (2). Добавить в подборку (удалить)
	13.		КнигаОптимизирующая трансляция и конструирование программ : [Сб. науч. тр.] / Рос. акад. наук. Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова ; Под ред. проф., чл.-кор. РАЕН В.Н. Касьянова1997Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 99-3/6941 (1). Добавить в подборку (удалить)
	14.		КнигаВладимир Анатольевич Евстигнеев : (к 70-летию со дня рождения) : [биобиблиография] / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова ; [сост.: Г.П. Несговорова2010Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: С 2011-2/79 (2). Добавить в подборку (удалить)
	15.		КнигаМетоды предикатного программирования : Сб. науч. работ / Рос. акад. наук. Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова ; Под ред. В.И. Шелехова2003Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2004-4/17111 (4). Добавить в подборку (удалить)
	16.		КнигаФормальные методы и модели информатики : сборник научных трудов / [Рос. акад. наук, Сиб. отд-ние, Ин-т информатики им. А.П. Ершова] ; под ред. д.ф.-м.н., проф. А.Г. Марчука2004Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2005-5/5256 (3). Добавить в подборку (удалить)
	17.		КнигаМетодика предикатного программирования : сборник научных работ / Рос. акад. наук, Сиб. отд-ние, Ин-т ситем информатики им. А.П. Ершова ; под ред. В.И. Шелехова2006Тома: Показать записиНаличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	18.		КнигаМетоды и инструменты конструирования и оптимизации программ / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова ; под ред. проф. Виктора Николаевича Касьянова2005Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2006-3/11303 (2). Добавить в подборку (удалить)
	19.		КнигаПРОБЛЕМЫ теоретического и экспериментального программирования : Сб. науч. тр. / Рос. акад. наук. Сиб. отд-ние. Ин-т систем информатики ; Под ред. к. ф.-м. н. В.А. Непомнящего1993Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 95-3/66 (1). Добавить в подборку (удалить)
	20.		КнигаПроблемы теории и методологии создания параллельных и распределенных систем : Сб. науч. тр. / Под ред. д.ф.-м.н., проф. И. В. Поттосина ; [Рос. акад. наук. Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова]2000Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2001-5/2971 (2). Добавить в подборку (удалить)

Уточнить поиск

Наличие

Авторы

Item types

Места хранения

Заглавие серии

Предметные рубрики

Коллекции

Библиотека хранения

Языки

Ваш поиск дал 30 результатов