РАЗРАБОТКА на базе позиционной алгебры логики алгоритмов задачи о выполнимости и их статическое исследование
937
Краткое содержание:
Экранизация книги

РАЗРАБОТКА на базе позиционной алгебры логики алгоритмов задачи о выполнимости и их статическое исследование

Автор:
Москаленко О.М.
Год:
1990
Язык:
Русский
Страниц:
35
Заглавие серии:
АН СССР. Институт космических исследований ; Пр-1612
Описание:
Москаленко О.М. РАЗРАБОТКА на базе позиционной алгебры логики алгоритмов задачи о выполнимости и их статическое исследование / О.М. Москаленко, И.В. Петров, М.И. Тельпиз, В.И. Шевченко. - М. : ИКИ, 1990. - 35 с. : граф. ; 29 см. - (АН СССР. Институт космических исследований ; Пр-1612). - Библиогр.: с. 35
Рейтинг по отзывам:
4.5
Рубрики:
Примечания:
Рез. на англ. яз. . - Библиогр.: с. 35
Дата создания:
2020-12-16 23:37:26
Соц. сети:
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
РАЗРАБОТКА на базе позиционной алгебры логики алгоритмов задачи о выполнимости и их статическое исследование
Оригинал написан на мертвом языке?
Да, позже переведен на другие языки.
Нет.
Возможно.
Не знаю

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Название и адрес
Режим работы
Телефон
Библиотека им. И.М. Вазова, Центр болгарской культуры
Одесская область, Одесса, Приморский район
Вице-Адмирала Жукова, 9
Расположение на карте
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
 +380 (48) 722-32-65
Показать номер
Название и адрес
Режим работы
Телефон
Бібліотека №101
Киев город со специальным статусом, Київ, Шевченківський район, Лук'янівка
Коперніка, 27
Расположение на карте
санитарный день: последний день месяца
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Вс: 11:00-17:00
 +380 (44) 483-91-74
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека
Приморский край, Уссурийский городской округ, Уссурийск, Сахпосёлок
Владивостокское шоссе, 22
Расположение на карте
санитарный день: последняя пт месяца; методический день: третья ср месяца
Пн: 10:00-13:00 14:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 09:00-17:00
 +7 (4234) 32-66-68
Показать номер
Название и адрес
Режим работы
Телефон
Оверятская поселковая библиотека
Пермский край, Краснокамский район, пгт Оверята
Комсомольская, 2/1
Расположение на карте
санитарный день: последний день месяца
Пн: 11:00-15:00 16:00-19:00
Вт: 11:00-15:00 16:00-19:00
Ср: 11:00-15:00 16:00-19:00
Чт: 11:00-15:00 16:00-19:00
Пт: 11:00-15:00 16:00-19:00
 +7 (34273) 9-09-42
Показать номер
Название и адрес
Режим работы
Телефон
Районная централизованная библиотечная система Новокузнецкого муниципального района, МБУК
Кемеровская область, Новокузнецкий район, с. Березово
Школьная, 8
Расположение на карте
санитарный день: последняя пт месяца
Пн: 09:30-13:00 13:30-16:30
Ср: 09:30-13:00 13:30-16:30
Пт: 09:30-13:00 13:30-17:00
Название и адрес
Режим работы
Телефон
Детская библиотека
Хабаровский край, Хабаровск городской округ, Хабаровск, Железнодорожный район
Чехова, 1а
Расположение на карте
санитарный день: последняя пт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-18:00
 +7 (4212) 63-60-03
Показать номер
Название и адрес
Режим работы
Телефон
Детская библиотека им. В.П. Чкалова
Ростовская область, Ростов-на-Дону городской округ, Ростов-на-Дону, Ленинский район, Новое Поселение
Варфоломеева, 189
Расположение на карте
санитарный день: последняя ср месяца
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Вс: 09:00-17:00
 +7 (863) 267-50-84
Показать номер
Название и адрес
Режим работы
Телефон
Централизованная Библиотечная Система г. Улан-Удэ, МАУ
Республика Бурятия, Улан-Удэ городской округ, Улан-Удэ, Октябрьский район, 113-й квартал
113-й квартал, 2
Расположение на карте
санитарный день: последняя пт месяца
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00
 +7 (3012) 55-03-64
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №9
Республика Татарстан, Казань городской округ, Казань, Авиастроительный
Беломорская, 69г
Расположение на карте
санитарный день: последний пн месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
 +7 (843) 513-67-84
Показать номер
Название и адрес
Режим работы
Телефон
Ставропольская краевая универсальная научная библиотека им. М.Ю. Лермонтова
Ставропольский край, Ставрополь городской округ, Ставрополь, Ленинский район, 2-й микрорайон
Маршала Жукова, 14
Расположение на карте
санитарный день: последний чт месяца
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 10:00-19:00
Вс: 10:00-18:00
 +7 (8652) 26-79-62 +7 (8652) 26-00-42
Показать номер
Прикрепить файл
Похожие книги
Название и адрес
Режим работы
Телефон
Библиотека им. И.М. Вазова, Центр болгарской культуры
Одесская область, Одесса, Приморский район
Вице-Адмирала Жукова, 9
Расположение на карте
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
 +380 (48) 722-32-65
Показать номер
Название и адрес
Режим работы
Телефон
Бібліотека №101
Киев город со специальным статусом, Київ, Шевченківський район, Лук'янівка
Коперніка, 27
Расположение на карте
санитарный день: последний день месяца
Пн: 12:00-19:00
Вт: 12:00-19:00
Ср: 12:00-19:00
Чт: 12:00-19:00
Вс: 11:00-17:00
 +380 (44) 483-91-74
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека
Приморский край, Уссурийский городской округ, Уссурийск, Сахпосёлок
Владивостокское шоссе, 22
Расположение на карте
санитарный день: последняя пт месяца; методический день: третья ср месяца
Пн: 10:00-13:00 14:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 09:00-17:00
 +7 (4234) 32-66-68
Показать номер
Название и адрес
Режим работы
Телефон
Оверятская поселковая библиотека
Пермский край, Краснокамский район, пгт Оверята
Комсомольская, 2/1
Расположение на карте
санитарный день: последний день месяца
Пн: 11:00-15:00 16:00-19:00
Вт: 11:00-15:00 16:00-19:00
Ср: 11:00-15:00 16:00-19:00
Чт: 11:00-15:00 16:00-19:00
Пт: 11:00-15:00 16:00-19:00
 +7 (34273) 9-09-42
Показать номер
Название и адрес
Режим работы
Телефон
Районная централизованная библиотечная система Новокузнецкого муниципального района, МБУК
Кемеровская область, Новокузнецкий район, с. Березово
Школьная, 8
Расположение на карте
санитарный день: последняя пт месяца
Пн: 09:30-13:00 13:30-16:30
Ср: 09:30-13:00 13:30-16:30
Пт: 09:30-13:00 13:30-17:00
Название и адрес
Режим работы
Телефон
Детская библиотека
Хабаровский край, Хабаровск городской округ, Хабаровск, Железнодорожный район
Чехова, 1а
Расположение на карте
санитарный день: последняя пт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 10:00-18:00
 +7 (4212) 63-60-03
Показать номер
Название и адрес
Режим работы
Телефон
Детская библиотека им. В.П. Чкалова
Ростовская область, Ростов-на-Дону городской округ, Ростов-на-Дону, Ленинский район, Новое Поселение
Варфоломеева, 189
Расположение на карте
санитарный день: последняя ср месяца
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Вс: 09:00-17:00
 +7 (863) 267-50-84
Показать номер
Название и адрес
Режим работы
Телефон
Централизованная Библиотечная Система г. Улан-Удэ, МАУ
Республика Бурятия, Улан-Удэ городской округ, Улан-Удэ, Октябрьский район, 113-й квартал
113-й квартал, 2
Расположение на карте
санитарный день: последняя пт месяца
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00
 +7 (3012) 55-03-64
Показать номер
Название и адрес
Режим работы
Телефон
Библиотека №9
Республика Татарстан, Казань городской округ, Казань, Авиастроительный
Беломорская, 69г
Расположение на карте
санитарный день: последний пн месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
 +7 (843) 513-67-84
Показать номер
Название и адрес
Режим работы
Телефон
Ставропольская краевая универсальная научная библиотека им. М.Ю. Лермонтова
Ставропольский край, Ставрополь городской округ, Ставрополь, Ленинский район, 2-й микрорайон
Маршала Жукова, 14
Расположение на карте
санитарный день: последний чт месяца
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 10:00-19:00
Вс: 10:00-18:00
 +7 (8652) 26-79-62 +7 (8652) 26-00-42
Показать номер
Прикрепить файл