Возможные действия :
Возврат на страницу поиска Просмотр рубрик... |
Результат поиска
1 Найдено документов найденные ключевые слова '-Программы-'
Уточнить поиск
Логика и компьютер
Логика и компьютер [печатное издание] : моделирование расуждений и проверка правильности программ . - 2-е изд. . - М. : Наука, 1990 . - 240 с..
0.65
Рубрики : Компьютер:Компьютерные программы:Операционные системы Ключевые слова : Компьютер -Программы- Моделирование Десятичная классификация : 32.972.1 Программное обеспечение компьютеров Бронирование
Забронировать этот документ
Экземпляры
Штрих-код Полочный индекс Носитель Место хранения Секция Статус экземпляра 36664/1 32.972.1 Л69 Книга 01. ЦБ абонемент 3. техника (3) В наличии 36664/2 32.972.1 Л69 Книга 04. Городская б/ф №14 3. техника (3) В наличии
МКУК МЦБ
Кировского района
Кировского района
Ссылки на поисковые системы по базам данных и сайты библиотек г. Нижнего Новгорода
- Поиск описаний в интернет-каталоге SIGLA.RU
- Национальный информационно-библиотечный центр «ЛИБНЕТ»
- Ассоциация Региональных Библиотечных Консорциумов (АРБИКОН)
- Нижегородская государственная областная универсальная научная библиотека
- Центральная городская библиотека г. Нижнего Новгорода