Электронный каталог библиотеки МИСИС

👓
eng|rus
Библиотека МИСИС
Режим работы:
Читальный зал Пн-Пт 10:00-18:00
Абонементы Пн-Чт 10:00-17:00,
Пт 10:00-16:00
Обед 12:00-13:00
В период каникул Вт, Чт 14:00-16:00
сайт: lib.misis.ru
e-mail: swt@ntb.misis.ru

Поиск :

  • Новые поступления
  • Расширенный поиск
  • Поиск одной строкой
  • Дискавери

  • Авторы
  • Издательства
  • Серии
  • Тезаурус (Рубрики)
  • Публичные полки

  • Учебная литература:
    • По дисциплинам
    • По специальностям
    • По специализациям
    • По кафедрам
    • Список дисциплин

  • Информация о фонде

  • · Журналы
  • · Электронная библиотека МИСИС
  • · Другие электронные учебники
  • · Все электронные ресурсы

  • Помощь

Личный кабинет :


Электронный каталог: Теория вычислений и языки спецификаций: (Вычислительные системы, 152)

Теория вычислений и языки спецификаций: (Вычислительные системы, 152)

Доступно
 1 из 1
Книга
Автор:
Теория вычислений и языки спецификаций: (Вычислительные системы, 152) : Сб. науч. тр.
Издательство: Изд-во Ин-та математики СО РАН, 1995 г.
ISBN 5-86134-012-9

Заказать Заказать

На полку На полку


Книга
I-3 Т-338

Теория вычислений и языки спецификаций: (Вычислительные системы, 152) : Сб. науч. тр. / Ю. Л. Ершов, С. С. Гончаров . – Новосибирск : Изд-во Ин-та математики СО РАН, 1995 . – 213 с. + Библиогр. в конце ст. - (Рос. АН, Сиб. отд-ние, Ин-т математики им. С.Л.Соболева). - ISBN 5-86134-012-9 : руб. 2000.00 .

519.68(082)


641454 01:Книгохранение




© Все права защищены ООО "Компания Либэр" , 2009 - 2025  v.20.167