Электронный каталог
👓
eng
|
rus
Научно-техническая библиотека ОИЯИ
Режим работы с 9:00 до 18:00
Контактная информация тел.216-27-13
abonement@jinr.ru
Поиск :
Новые поступления
Простой поиск
Расширенный поиск
Авторы
Издательства
Серии
Тезаурус (Рубрики)
Помощь
Личный кабинет :
Штрих-код
Пароль
Электронный каталог: Справочник серий издательств
К списку серий
Monographs in Computer Science
Издательства:
Springer, New York [etc.]
Связанные описания:
Отобрать для печати:
страницу
|
инверсия
|
сброс
|
печать
(
0
)
Доступно
1 из 1
Книга
Cantone, D.
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets
Серия:
Monographs in Computer Science
Springer, 2001 г.
ISBN 0-387-95197-0
полный текст
Заказать
На полку