Электронный каталог
👓
eng
|
rus
Научно-техническая библиотека ОИЯИ
Режим работы с 9:00 до 18:00
Контактная информация тел.216-27-13
abonement@jinr.ru
Поиск :
Новые поступления
Простой поиск
Расширенный поиск
Авторы
Издательства
Серии
Тезаурус (Рубрики)
Помощь
Личный кабинет :
Штрих-код
Пароль
Электронный каталог: Справочник авторов
К списку авторов
Непомнящий, В.А.
Сортировать по:
заглавию
Связанные описания:
Отобрать для печати:
страницу
|
инверсия
|
сброс
|
печать
(
0
)
Многотомник
Теория программирования: Труды симпозиума. Новосибирск, 7-11 августа 1972 г. В 2-х тт.
[Б.и.], б.г.
ISBN отсутствует
На полку
Статья
Непомнящий, В.А.
Моделирование и верификация коммуникационных протоколов, представленных на языке SDL, с помощью с...
б.г.
ISBN отсутствует
полный текст
На полку
Статья
Кондратьев, Д.А.
Автоматизация дедуктивной верификации С-программ без использования инвариантов циклов
б.г.
ISBN отсутствует
полный текст
На полку