Автоматизация решения логико-комбинаторных задач : Сб. науч. тр
2642
Краткое содержание:
Экранизация книги

Автоматизация решения логико-комбинаторных задач : Сб. науч. тр

Год:
1985
Язык:
Русский
Страниц:
153
Описание:
Автоматизация решения логико-комбинаторных задач : Сб. науч. тр / АН БССР, Ин-т техн. кибернетики; [Науч. ред. А.Д. Закревский]. - Минск : ИТК, 1985. - 153 с. ; 21 см. - Библиогр. в конце ст.
Рейтинг по отзывам:
4.5
Рубрики:
Примечания:
Библиогр. в конце ст.
Другие ответственные лица:
Закревский, Аркадий Дмитриевич → Редактор
Дата создания:
2019-09-05 03:30:44
Соц. сети:
Алексей Родионов — Тестирование на основе сетей Петри
Ближайшая конференция — Heisenbug 2020 Piter 15-18 июня, Online Подробности и билеты: https://bit.ly/heisenbug2020piter .Применение матем...
Heisenbug
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Автоматизация решения логико-комбинаторных задач : Сб. науч. тр
У книги есть аудиоверсия?
Да.
Нет.
Возможно.
Не знаю

Мойка листов, чистка, отбеливание, устранение заломов, восстановление разрывов, следов от влаги, травление насекомых, реставрация обложки и корешка, устранение укусов от собак и восстановление заломов на картоне, восстановление после падений, восстановление тиснения и рисунков, художественная покраска всех элементов обложки от мастеров Ленинской библиотеки. Мелкий ремонт (удаление пятен, плесени) или реставрацию обложки, уголков, корешка, листов, переплета книги

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Архитектура решений автоматизации Back-End на пальцах, Антон Семенченко
Антон Семенченко, EPAM Systems На пальцах о сложном: в рамках доклада обозначим основные слои и модули решений...
Kolesa Group
088. Как построить собственную систему аналитики за один день – Александр Швец
PyData Moscow, 13 октября 2018 - Что должно входить в систему аналитики и зачем нужна своя. - Какие есть решения и как...
Компьютерные науки
Алгоритмы решения задачи о булевой выполнимости (SAT) и их применение в криптоанализе
Доклад посвящен применению алгоритмов решения проблемы булевой выполнимости (SAT) к задачам криптоанализа....
Positive Technologies
Название и адрес
Режим работы
Телефон
Бібліотека №110
Киев город со специальным статусом, Київ, Шевченківський район, Шулявка
Старокиївська, 26
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Название и адрес
Режим работы
Телефон
Доскейская модельная библиотека-клуб
Карагандинская область, с. Доскей
Титова, 31
Расположение на карте
Пн: 09:00-13:00 15:00-18:00
Вт: 09:00-13:00 15:00-18:00
Ср: 09:00-13:00 15:00-18:00
Чт: 09:00-13:00 15:00-18:00
Пт: 09:00-13:00 15:00-18:00
Сб: 09:00-13:00 15:00-18:00
 +7 (72154) 2-47-11
Показать номер
Название и адрес
Режим работы
Телефон
Центральная городская молодежная библиотека им. М.А. Светлова
Москва, Москва, Пресненский район
Большая Садовая, 1
Расположение на карте
Вт: 10:00-21:00
Ср: 10:00-21:00
Чт: 10:00-21:00
Пт: 10:00-21:00
Сб: 10:00-21:00
Вс: 10:00-20:00
 +7 (495) 650-21-73
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №18
Московская область, Красногорск городской округ, д. Коростово
Коростово д, 24 ст2
Расположение на карте
Пн: 12:00-14:00 14:30-19:00
Вт: 12:00-14:00 14:30-19:00
Ср: 12:00-14:00 14:30-19:00
Чт: 12:00-14:00 14:30-19:00
Пт: 12:00-14:00 14:30-19:00
Сб: 12:00-14:00 14:30-19:00
DevOps 3. Тестирование
09.03.2019 Лектор: Павел Ахтямов Снимал: Михаил Кревский Монтировал: Михаил Юманов ================================ 0:40 Что...
Лекторий ФИВТ Контрольная "Теория дискретных устройств" №7
Max Komogortsev Тимур Рыспеков | CEO & founder «Absolute Technologies Lab»
Отказаться от работы в Microsoft, Amazon и NASA, чтобы заниматься своими стартапами или надо ли изобретать велосипед?...
Leadership KZ Кузнецов С.Л. Coq: построение и проверка математических доказательств на компьютере (22.04.2020)
В докладе дается обзор системы Coq — средства для полуавтоматического построения и автоматической проверки...
НИС по математической логике
Егор Петров
Автоматизация решения логико-комбинаторных задач : Сб. науч. тр. / Отв. ред. О. Д. Бережная. М.: Издательство Академии наук СССР, 1979. С.
Прикрепить файл
Похожие книги
Название и адрес
Режим работы
Телефон
Бібліотека №110
Киев город со специальным статусом, Київ, Шевченківський район, Шулявка
Старокиївська, 26
Расположение на карте
санитарный день: последний день месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Название и адрес
Режим работы
Телефон
Доскейская модельная библиотека-клуб
Карагандинская область, с. Доскей
Титова, 31
Расположение на карте
Пн: 09:00-13:00 15:00-18:00
Вт: 09:00-13:00 15:00-18:00
Ср: 09:00-13:00 15:00-18:00
Чт: 09:00-13:00 15:00-18:00
Пт: 09:00-13:00 15:00-18:00
Сб: 09:00-13:00 15:00-18:00
 +7 (72154) 2-47-11
Показать номер
Название и адрес
Режим работы
Телефон
Центральная городская молодежная библиотека им. М.А. Светлова
Москва, Москва, Пресненский район
Большая Садовая, 1
Расположение на карте
Вт: 10:00-21:00
Ср: 10:00-21:00
Чт: 10:00-21:00
Пт: 10:00-21:00
Сб: 10:00-21:00
Вс: 10:00-20:00
 +7 (495) 650-21-73
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №18
Московская область, Красногорск городской округ, д. Коростово
Коростово д, 24 ст2
Расположение на карте
Пн: 12:00-14:00 14:30-19:00
Вт: 12:00-14:00 14:30-19:00
Ср: 12:00-14:00 14:30-19:00
Чт: 12:00-14:00 14:30-19:00
Пт: 12:00-14:00 14:30-19:00
Сб: 12:00-14:00 14:30-19:00
Азат Нагирян
Автоматизация решения логико-комбинаторных задач : Сб. науч. тр. / Киев. электротехн. ин-т им. Ч. С. Ботезату Савицкий, А. И. - М. : Изд-во МЭИ, 1978. - 84 с. Images В сборнике научных статей излагаются основные положения автоматизации решения комбинаторных задач и излагается материал лабораторного практикума для студентов, изучающих эти проблемы.
Прикрепить файл