Вы здесь

Главная

Software Engineering for Self-Adaptive Systems III: Assurances: Revised Selected and Invited Papers/ International Seminar, Dagstuhl Castle, Germany, December 2013

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2017
Ключевые слова: 
адаптивная система
искусственный интеллект
эволюционный алгоритм
формальный метод
формальная верификация
верификация по
генетический алгоритм
машинное обучение
model checking
самоадаптация
семантика
дизайн по
разработка по
система программирования
Стр.: 
435 p.
Редактор: 
De_Lemos R.
Garlan D.
Ghezzi C.
Giese H.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
9640
Карточка: 

Software Engineering for Self-Adaptive Systems III: Assurances: Revised Selected and Invited Papers/ International Seminar, Dagstuhl Castle, Germany, December 2013Ed. by De_Lemos R., Garlan D., Ghezzi C., Giese H..-Berlin.: Springer, 2017.-Vol. 9640.-435 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO12 796