Поиск :
Личный кабинет :
Электронный каталог: Теория вычислений и языки спецификаций
Теория вычислений и языки спецификаций
Доступно
1 из 1
1 из 1
Книга
Автор:
Вычислительные системы. Вып.152: Теория вычислений и языки спецификаций
1995 г.
ISBN отсутствует
Автор:
Вычислительные системы. Вып.152: Теория вычислений и языки спецификаций
1995 г.
ISBN отсутствует
Заказать 
На полку
Многотомник
Ц84(04)
Вычислительные системы : Сб. науч. тр. / Институт математики им. С.Л. Соболева (Новосибирск). – Новосибирск : [Б.и.].
Книга
Ц84(04) В-949
Вып.152 : Теория вычислений и языки спецификаций. – 1995.
Ц840 + С14
Индексный (книги) = Ц 840 - Программирование. Общие вопросы
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
Ц84(04)
Вычислительные системы : Сб. науч. тр. / Институт математики им. С.Л. Соболева (Новосибирск). – Новосибирск : [Б.и.].
Книга
Ц84(04) В-949
Вып.152 : Теория вычислений и языки спецификаций. – 1995.
Ц840 + С14
Индексный (книги) = Ц 840 - Программирование. Общие вопросы
Индексный (книги) = С 14 - Математическая логика. Теория математических доказательств.Аксиоматика математической логики.Исчисления высказываний,исчисление предикатов.Теория алгоритмов, рекурсивные функции.Конструктивный анализ
| Филиал | Фонд | Всего | Доступно для брони | Доступно для выдачи | Бронирование |
|---|---|---|---|---|---|
| ЦБ | 1 | 1 | 1 | Заказать |
