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

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

Наличие
- Ограничить записями с доступными экземплярами
Авторы
Item types
- Книга (13)
Места хранения
- Русский книжный фонд: издания с 1957 года, 9этаж (7)
- Русский книжный фонд: издания с 1957 года, 8этаж (1)
Заглавие серии
- 130 (1)
- 136 (1)
- 137 (1)
- 140 (1)
- 144 (1)
- 147 (1)
- 163 (1)
- 166 (1)
- 168 (1)
- Preprint (5)
- eng (3)
- Препринт (10)
- Серия "Конструирование и оптимизация программ" (2)
- вып. 19 (1)
- № 165 (1)
- Показать больше
- Показать меньше
Предметные рубрики
Коллекции
- NB (8)
- NBR (5)
Библиотека хранения
- РНБ (Московский) (8)
Языки
- английский (11)
- русский (13)

	1.		КнигаНа пути к верификации C#-программ: алгоритмы перевода из C#-LIGHT в C#-KERNEL / И.В. ДубрановскийДубрановский, Игорь В. -- Автор2006Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2007-4/12760 (2). Добавить в подборку (удалить)
	2.		КнигаПроблемы системной информатики : [сборник статей] / Рос. акад. наук, Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова ; под ред. проф. Виктора Николаевича Касьянова2010Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2011-3/5560 (2). Добавить в подборку (удалить)
	3.		КнигаМоделирование спецификаций языка SDL с помощью раскрашенных сетей Петри / М.Ю. Машуков, Т.Г. ЧуринаМашуков, Михаил Юрьевич -- АвторЧурина, Татьяна Геннадьевна -- Автор2007Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2008-4/4068 (2). Добавить в подборку (удалить)
	4.		КнигаБанк улучшаемых компонентов информационных систем / Лидия Васильевна ГородняяГородняя, Лидия Васильевна -- Автор2005Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2007-4/5710 (2). Добавить в подборку (удалить)
	5.		КнигаЯзык спецификаций распределенных систем Dynamic-REAL / В.А. Непомнящий, Е.В. Бодин, С.О. ВеретновНепомнящий, В. А. -- АвторБодин, Евгений Викторович -- Автор;Веретнов, С. О. -- Автор2007Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2008-4/13397 (2). Добавить в подборку (удалить)
	6.		КнигаНаучное наследие советских ученых в электронных архивах СО РАН: Мастер. Проповедник. Лидер / И. А. Крайнева ; под редакцией Т. М. Бульонковой и Н. А. ЧеремныхКрайнева, Ирина Александровна 2018Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	7.		КнигаСтруктурный анализ поведения непрерывно-временных сетей Петри / Александр В. БыстровБыстров, Александр В -- Автор2006Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2007-4/19734 (2). Добавить в подборку (удалить)
	8.		КнигаАвтоматическое доказательство формул корректности предикатной программы в системе Russell / В. А. Батраков, В. И. ШелеховБатраков, Виталий Алексеевич Шелехов, Владимир Иванович 2012Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	9.		КнигаЛого-программирование для младших школьников / В.С. Водопьянова, Н.В. Соседкина, Т.И. Тихонова, А.В. ЛысцовВодопьянова, В. С. -- Автор;Слседкина, Наталия Валерьевна -- Автор;Тихонова, Т. И. -- Автор;Лысцов, А. В. -- Автор2006Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2007-4/9430 (2). Добавить в подборку (удалить)
	10.		КнигаАдаптивные методы и средства поддержки дистанционного обучения программированию / Елена Викторовна Касьянова ; под ред. проф. Виктора Николаевича КасьяноваКасьянова, Елена Викторовна -- Автор2007Наличие: Экземпляры доступные для заказа: РНБ (Московский)Шифр хранения: 2007-3/31395 (2). Добавить в подборку (удалить)
	11.		КнигаСистемы переходов, ориентированные на разработку средств спецификации и верификации программных систем / И. С. АнуреевАнуреев, Игорь Сергеевич2012Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	12.		КнигаАлгоритмы трансляции UCM-спецификаций в раскрашенные сети Петри / Н. В. Визовитин, В. А. НепомнящийВизовитин, Николай Валерьевич Непомнящий, Валерий Александрович (1939-) 2012Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)
	13.		КнигаГенерация и доказательство условий корректности предикатных программ / М. С. Чушкин, В. И. ШелеховЧушкин, Михаил Сергеевич Шелехов, Владимир Иванович 2012Наличие: Нет доступных экземпляров : Добавить в подборку (удалить)

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

Наличие

Авторы

Item types

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

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

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

Коллекции

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

Языки

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