Справка
STUDENT'S CONSULTANT
Электронная библиотека технического вуза
Все издания
Login/Registration
Во весь экран / Свернуть
ru
Accessibility
General Catalogue
Все издания
Menu
Искать в книге
К результату поиска
Advanced search
Bookmarks
Homepage
Login/Registration
Во весь экран / Свернуть
ru
Управление
My reports
General Catalogue
Издательства
УГС
Мои списки
Download app
Графический дизайн и реклама
Оборот титула
Table of contents
От автора
+
ЧАСТЬ I. Графический дизайн: искусство и наука
+
ЧАСТЬ II. Информационная дизайн&технология
-
Глава 6. Компьютерная графика
Новые времена, новые технологии
Два вида компьютерной графики
Растровая графика: биты и пикселы
Векторная графика: линии и фигуры
Плоская графика? - Нет, объемная!
ivTCont-row-sect bdepth2ont-row-sect bdepth2603468-SCN0002/038.html3468-SCN0002/038.html68-SCN0002/038.html-SCN0002/038.htmlCN0002/038.html0002/038.html02/038.html38.html.htmltml" s="th-a2-a22">Глава 8. Средства и методы дизайн&технологиива 8. Средства и методы дизайн&технологииа 8. Средства и методы дизайн&технологии 8. Средства и методы дизайн&технологии/a>v classepth3th33en/doc/ISBN9785970603468-SCN0002/038.html/doc/ISBN9785970603468-SCN0002/038.htmloc/ISBN9785970603468-SCN0002/038.html/ISBN9785970603468-SCN0002/038.htmlSBN9785970603468-SCN0002/038.htmlN9785970603468-SCN0002/038.html785970603468-SCN0002/038.html70603468-SCN0002/038.html603468-SCN0002/038.html3468-SCN0002/038.html-SCN0002/038.htmlCN0002/038.html/038.html38.html.htmlnt-row-sect-a bdepth-a3-row-sect-a bdepth-a3ow-sect-a bdepth-a3-sect-a bdepth-a3ect-a bdepth-a3t-a bdepth-a3depth-a3pth-a3h-a3sect bdepth3ct bdepth3 bdepth3ior.studentlibrary.ru/en/doc/ISBN9785970603468-SCN0002/041.htmlr.studentlibrary.ru/en/doc/ISBN9785970603468-SCN0002/041.htmlstudentlibrary.ru/en/doc/ISBN9785970603468-SCN0002/041.htmludentlibrary.ru/en/doc/ISBN9785970603468-SCN0002/041.htmlentlibrary.ru/en/doc/ISBN9785970603468-SCN0002/041.htmltlibrary.ru/en/doc/ISBN9785970603468-SCN0002/041.htmlibrary.ru/en/doc/ISBN9785970603468-SCN0002/041.htmlry.ru/en/doc/ISBN9785970603468-SCN0002/041.html.ru/en/doc/ISBN9785970603468-SCN0002/041.htmlu/en/doc/ISBN9785970603468-SCN0002/041.htmlen/doc/ISBN9785970603468-SCN0002/041.htmloc/ISBN9785970603468-SCN0002/041.html/ISBN9785970603468-SCN0002/041.htmlSBN9785970603468-SCN0002/041.htmlN9785970603468-SCN0002/041.html5970603468-SCN0002/041.html70603468-SCN0002/041.html603468-SCN0002/041.html68-SCN0002/041.html-SCN0002/041.html02/041.html/041.html41.htmlssbTCont-row-sect-a bdepth-a3Cont-row-sect-a bdepth-a3nt-row-sect-a bdepth-a3ектронный этюдник" программ растровой графикиктронный этюдник" программ растровой графикитронный этюдник" программ растровой графикиронный этюдник" программ растровой графикионный этюдник" программ растровой графикинный этюдник" программ растровой графикий этюдник" программ растровой графики этюдник" программ растровой графикиэтюдник" программ растровой графикиiv"bTCont-row-sect bdepth3Cont-row-sect bdepth3ref="https://prior.studentlibrary.ru/en/doc/ISBN9785970603468-SCN0002/051.htmltps://prior.studentlibrary.ru/en/doc/ISBN9785970603468-SCN0002/051.html//prior.studentlibrary.ru/en/doc/ISBN9785970603468-SCN0002/051.htmlprior.studentlibrary.ru/en/doc/ISBN9785970603468-SCN0002/051.htmlа растровых изображенийастровых изображенийастровых изображений056.html056.htmlTCont-row-sect-a bdepth-a3t-row-sect-a bdepth-a3-row-sect-a bdepth-a3< classrow-sect-a bdepth-a3-sect-a bdepth-a3рование и компоновка объектовBпримитивовование и компоновка объектовBпримитивование и компоновка объектовBпримитивовние и компоновка объектовBпримитивовlasss= bdepth3depth3h3reff=ntlibrary.ru/en/doc/ISBN9785970603468-SCN0002/083.htmllibrary.ru/en/doc/ISBN9785970603468-SCN0002/083.htmlbrary.ru/en/doc/ISBN9785970603468-SCN0002/083.htmlrary.ru/en/doc/ISBN9785970603468-SCN0002/083.htmlN0002/083.html0002/083.html/en/doc/ISBN9785970603468-SCN0002/086.htmln/doc/ISBN9785970603468-SCN0002/086.htmldoc/ISBN9785970603468-SCN0002/086.htmlc/ISBN9785970603468-SCN0002/086.htmlN9785970603468-SCN0002/086.html785970603468-SCN0002/086.html5970603468-SCN0002/086.html сканированиюканированиюанированиюнированиюрованиюованиюаниюниюиюh3970603468-SCN0002/089.html0603468-SCN0002/089.html03468-SCN0002/089.htmlSCN0002/089.htmlN0002/089.html002/089.html>Импорт и экспорт графических изображениймпорт и экспорт графических изображенийпорт и экспорт графических изображенийорт и экспорт графических изображенийрт и экспорт графических изображенийт и экспорт графических изображений classont-row-sect bdepth3t-row-sect bdepth3w-sect bdepth3sect bdepth3ct bdepth3ISBN9785970603468-SCN0002/092.htmlBN9785970603468-SCN0002/092.html9785970603468-SCN0002/092.html970603468-SCN0002/092.html0603468-SCN0002/092.html03468-SCN0002/092.html3468-SCN0002/092.html68-SCN0002/092.html-SCN0002/092.html02/092.html/092.html92.html2.htmlhtmlmlasss/prior.studentlibrary.ru/en/doc/ISBN9785970603468-SCN0002/096.htmlrior.studentlibrary.ru/en/doc/ISBN9785970603468-SCN0002/096.htmlor.studentlibrary.ru/en/doc/ISBN9785970603468-SCN0002/096.html.studentlibrary.ru/en/doc/ISBN9785970603468-SCN0002/096.htmlentlibrary.ru/en/doc/ISBN9785970603468-SCN0002/096.htmltlibrary.ru/en/doc/ISBN9785970603468-SCN0002/096.htmlibrary.ru/en/doc/ISBN9785970603468-SCN0002/096.htmlnt-row-sect-a bdepth-a2-row-sect-a bdepth-a2ow-sect-a bdepth-a2-sect-a bdepth-a2t-a bdepth-a2a bdepth-a2epth-a2th-a2-a2лярных компьютерных программярных компьютерных программрных компьютерных программых компьютерных программх компьютерных программ компьютерных программраммаммммt bdepth3bdepth3epth3th33">9785970603468-SCN0002/096.html85970603468-SCN0002/096.html970603468-SCN0002/096.html0603468-SCN0002/096.html68-SCN0002/096.html-SCN0002/096.htmlCN0002/096.htmlерсальный инструмент для Microsoft Office 2000рсальный инструмент для Microsoft Office 2000сальный инструмент для Microsoft Office 2000альный инструмент для Microsoft Office 2000ьный инструмент для Microsoft Office 2000ный инструмент для Microsoft Office 2000й инструмент для Microsoft Office 2000 инструмент для Microsoft Office 2000нструмент для Microsoft Office 2000 classass="bTCont-row-sect bdepth3f="s://prior.studentlibrary.ru/en/doc/ISBN9785970603468-SCN0002/102.html//prior.studentlibrary.ru/en/doc/ISBN9785970603468-SCN0002/102.htmlprior.studentlibrary.ru/en/doc/ISBN9785970603468-SCN0002/102.html85970603468-SCN0002/102.html970603468-SCN0002/102.html0603468-SCN0002/102.html03468-SCN0002/102.html468-SCN0002/102.html8-SCN0002/102.htmlSCN0002/102.htmlepth-a3th-a3 дело берутся электронные мастерадело берутся электронные мастерало берутся электронные мастерао берутся электронные мастера берутся электронные мастераivlassss="bTCont-row-sect bdepth3-row-sect bdepth3ow-sect bdepth3-sect bdepth3sect bdepth3ct bdepth3 bdepth3depth3pth3">doc/ISBN9785970603468-SCN0002/102.htmlc/ISBN9785970603468-SCN0002/102.htmlN9785970603468-SCN0002/102.html785970603468-SCN0002/102.html5970603468-SCN0002/102.html603468-SCN0002/102.html3468-SCN0002/102.html-SCN0002/102.htmlCN0002/102.html0002/102.htmlронный мастер рисует диаграммыонный мастер рисует диаграммынный мастер рисует диаграммыый мастер рисует диаграммый мастер рисует диаграммы мастер рисует диаграммы мастер рисует диаграммыастер рисует диаграммыстер рисует диаграммыр рисует диаграммы рисует диаграммырисует диаграммыисует диаграммысует диаграммыует диаграммыет диаграммыт диаграммыиаграммыаграммыCont-row-sect bdepth3nt-row-sect bdepth3-row-sect bdepth3ow-sect bdepth3ct bdepth3 bdepth3depth3785970603468-SCN0002/106.html5970603468-SCN0002/106.html70603468-SCN0002/106.html603468-SCN0002/106.html68-SCN0002/106.html-SCN0002/106.html0002/106.html02/106.htmlhttps://prior.studentlibrary.ru/patrns/book_read/to_next_chapter.png" alt="На следующую главу" title="На следующую главу">
/
Внимание! Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Для продолжения работы требуется
Регистрация
Каталог
Издательства
УГС
Мои списки
Скачать приложение
Прототипирование верификации поведения интеллектуальных агентов в языке логического программирования ПРОЛОГ
Оглавление
Предисловие
Введение
1. Современное состояние верификации поведения интеллектуальных агентов
+
2. Формулировка типичных условий верификации спецификаций поведения агентов
+
3. Прототипирование верификации поведения агентов
-
3.1. Обнаружение тупиковых состояний
3.2. Обнаружение недопустимых взаимодействий
3.3. Обнаружение невыполнимых взаимодействий
3.4. Прототипирование проверки наличия статических смертельных объятий
3.5. Обнаружение динамических смертельных объятий
3.6. Обнаружение неопределенности взаимодействий
3.7. Обнаружение переполнения
Контрольные вопросы
Литература