Справка
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
Предисловие
Введение
1. Современное состояние верификации поведения интеллектуальных агентов
-
1.1. Формальные языки (модели) описания спецификаций поведения агентов
1.2. Формальные языки описания свойств спецификаций поведения агентов
Контрольные вопросы
2. Формулировка типичных условий верификации спецификаций поведения агентов
+
3. Прототипирование верификации поведения агентов
+
div id='mm4-doc-content-film'> iv id='mm4-doc-content-film'> iv class="wrap-modes col-md-3 col-sm-3 col-xs-3 va-m">
v class="wrap-modes col-md-3 col-sm-3 col-xs-3 va-m">
n-book circle animated-effect">
-book circle animated-effect">
fect">
">
>
/
div>
/
ss="delimiter"> /
="delimiter"> /
ad/landing_mode_gr.png/landing_mode_gr.pngpngpanbrary.ru/en/doc/ISBN9785703855904-SCN0000.htmlary.ru/en/doc/ISBN9785703855904-SCN0000.htmly.ru/en/doc/ISBN9785703855904-SCN0000.htmlu/en/doc/ISBN9785703855904-SCN0000.htmlen/doc/ISBN9785703855904-SCN0000.html55904-SCN0000.html904-SCN0000.htmlSCN0000.htmlN0000.htmlprior.studentlibrary.ru/patrns/book_read/to_start_book.pngior.studentlibrary.ru/patrns/book_read/to_start_book.pngr.studentlibrary.ru/patrns/book_read/to_start_book.png.studentlibrary.ru/patrns/book_read/to_start_book.png/to_start_book.pngto_start_book.pngntlibrary.ru/en/doc/ISBN9785703855904-SCN0001.htmllibrary.ru/en/doc/ISBN9785703855904-SCN0001.htmlbrary.ru/en/doc/ISBN9785703855904-SCN0001.htmlary.ru/en/doc/ISBN9785703855904-SCN0001.htmlu/en/doc/ISBN9785703855904-SCN0001.htmlen/doc/ISBN9785703855904-SCN0001.html/doc/ISBN9785703855904-SCN0001.htmlok_read/to_previous_chapter.png_read/to_previous_chapter.pngead/to_previous_chapter.pngd/to_previous_chapter.png_previous_chapter.pngrevious_chapter.pngous_chapter.pngs_chapter.pngchapter.png titletle="На предыдущую главуiv>
>
iv class="arrow-left-tab"> class="arrow-left-tab"> lass="arrow-left-tab"> ps://prior.studentlibrary.ru/patrns/book_read/to_previous_page_gr.png://prior.studentlibrary.ru/patrns/book_read/to_previous_page_gr.png/prior.studentlibrary.ru/patrns/book_read/to_previous_page_gr.pngrior.studentlibrary.ru/patrns/book_read/to_previous_page_gr.pngor.studentlibrary.ru/patrns/book_read/to_previous_page_gr.png.studentlibrary.ru/patrns/book_read/to_previous_page_gr.pngtudentlibrary.ru/patrns/book_read/to_previous_page_gr.png
div>
/prior.studentlibrary.ru/patrns/book_read/to_next_page_gr.pngrior.studentlibrary.ru/patrns/book_read/to_next_page_gr.pngor.studentlibrary.ru/patrns/book_read/to_next_page_gr.pngtudentlibrary.ru/patrns/book_read/to_next_page_gr.pngdentlibrary.ru/patrns/book_read/to_next_page_gr.pngntlibrary.ru/patrns/book_read/to_next_page_gr.pngtlibrary.ru/patrns/book_read/to_next_page_gr.pngibrary.ru/patrns/book_read/to_next_page_gr.pngrary.ru/patrns/book_read/to_next_page_gr.pngu/patrns/book_read/to_next_page_gr.pngpatrns/book_read/to_next_page_gr.pngtrns/book_read/to_next_page_gr.pngrns/book_read/to_next_page_gr.pngs/book_read/to_next_page_gr.pngbook_read/to_next_page_gr.pngok_read/to_next_page_gr.png_read/to_next_page_gr.png/to_next_page_gr.pngo_next_page_gr.png-SCN0003.htmlCN0003.html0003.html03.htmlml_next_chapter.pngext_chapter.pngt_chapter.pngchapter.pngter.pngr.pngg" едующую главудующую главуующую главущую главуую главую главуiv>
>
iv class="arrow-to-finish"> class="arrow-to-finish"> lass="arrow-to-finish"> reff="https://prior.studentlibrary.ru/en/doc/ISBN9785703855904-SCN0005/003.htmltps://prior.studentlibrary.ru/en/doc/ISBN9785703855904-SCN0005/003.html05/003.html/003.html03.html.htmlinish_book.pngish_book.pngh_book.pngbook.png.pngngltледнюю страницуеднюю страницуднюю страницуюю страницую страницу страницуdiv>
v>
div>
v>
l-md-2 col-sm-2 col-xs-2 va-m">
md-2 col-sm-2 col-xs-2 va-m">
-2 col-sm-2 col-xs-2 va-m">
col-sm-2 col-xs-2 va-m">
ol-sm-2 col-xs-2 va-m">
-sm-2 col-xs-2 va-m">
m-2 col-xs-2 va-m">
circle animated-effect wrap-set-bmark-div wrap-speaker">
rcle animated-effect wrap-set-bmark-div wrap-speaker">
animated-effect wrap-set-bmark-div wrap-speaker">
imated-effect wrap-set-bmark-div wrap-speaker">
ated-effect wrap-set-bmark-div wrap-speaker">
-effect wrap-set-bmark-div wrap-speaker">
ffect wrap-set-bmark-div wrap-speaker">
t wrap-set-bmark-div wrap-speaker">
wrap-set-bmark-div wrap-speaker">
ap-set-bmark-div wrap-speaker">
rcttps://prior.studentlibrary.ru/patrns/speaker-gray.pngps://prior.studentlibrary.ru/patrns/speaker-gray.png://prior.studentlibrary.ru/patrns/speaker-gray.png//prior.studentlibrary.ru/patrns/speaker-gray.pngprior.studentlibrary.ru/patrns/speaker-gray.pngior.studentlibrary.ru/patrns/speaker-gray.pngudentlibrary.ru/patrns/speaker-gray.pngentlibrary.ru/patrns/speaker-gray.pngtlibrary.ru/patrns/speaker-gray.pnglibrary.ru/patrns/speaker-gray.pngbrary.ru/patrns/speaker-gray.pngary.ru/patrns/speaker-gray.pngy.ru/patrns/speaker-gray.pngru/patrns/speaker-gray.pngtrns/speaker-gray.pngns/speaker-gray.pngе недоступно недоступнодоступнооступноступноупнопноо
/
/
div class="delimiter"> /
class="delimiter"> /
ass="delimiter"> /
s="delimiter"> /
="delimiter"> /
delimiter"> /
limiter"> /
r"> /
> /
/
/div> iv> >
Внимание! Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
-substratum">Внимание! Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
ubstratum">Внимание! Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
ratum">Внимание! Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
tum">Внимание! Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
m">Внимание! Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
">Внимание! Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Внимание! Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
нимание! Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
ание! Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
ние! Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
ие! Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
е! Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
! Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
ля озвучивания и цитирования книги перейдите в режим постраничного просмотра.
я озвучивания и цитирования книги перейдите в режим постраничного просмотра.
звучивания и цитирования книги перейдите в режим постраничного просмотра.
вучивания и цитирования книги перейдите в режим постраничного просмотра.
ги перейдите в режим постраничного просмотра.
и перейдите в режим постраничного просмотра.
перейдите в режим постраничного просмотра.
ерейдите в режим постраничного просмотра.
ейдите в режим постраничного просмотра.
йдите в режим постраничного просмотра.
дите в режим постраничного просмотра.
class="substr-img">lass="substr-img">ss="substr-img">="substr-img">bstr-img">tr-img">mg">">https://prior.studentlibrary.ru/patrns/book_read/to_finish_book.png" alt="На последнюю страницу" title="На последнюю страницу">
/
Внимание! Для озвучивания и цитирования книги перейдите в режим постраничного просмотра.
Для продолжения работы требуется
Registration
General Catalogue
Издательства
УГС
Мои списки
Скачать приложение
Вязкоупругое поведение биосовместимых сплавов никелида титана
Table of contents
Введение
Глава 1. Вязкоупругое поведение пористых сплавов никелида титана, полученных методом самораспространяющегося высокотемпературного синтеза (Е.С. Марченко, Ю.Ф. Ясенчук, Г.А. Байгонакова, Т.Л. Чекалкин)
+
Глава 2. Особенности циклической деформации биологических тканей и биоматериалов из сплава никелида титана (Ю.Ф. Ясенчук, О.В. Кокорев, С.В. Гюнтер, В.Э. Гюнтер, А.Н. Моногенов)
+
Глава 3. Сверхэластичность и двойной эффект памяти формы в [OOlj-TiNiCu-монокристаллах при сжатии (Ю.И. Чумляков, И.В. Киреева, З.В. Победенная)
+
Глава 4. In vivo исследования TiNi материалов (О.В. Кокорев, Е.Б. Топольницкий, А.А. Радкевич, А.Л. Чернышова, В.И. Штин, В.Н. Ходоренко)
-
4.1. Оценка in vivo пористых сплавов СВС-TiNi
4.2. Оценка in vivo трикотажа из сплава TiNi
Литература к главе 4