Transactions on Computational Collective Intelligence : XVI /

Contiene: Reparación no intrusiva de violaciones de seguridad y vida en programas reactivos; Diseño de sistemas adaptativos utilizando agentes teleo-reactivos; Hacia el modelado formal y la verificación de sistemas informáticos generalizados; Revisando los modelos de estrategias comerciales algorítm...

全面介绍

Guardado en:
书目详细资料
主要作者: Kowalczyk, Ryszard (edición)
其他作者: Nguyen, Ngoc Thanh (edición) (edición)
格式: 图书
语言:英语
出版: Heidelberg, Alemania : Springer, 2014, c2014
丛编:(Lecture Notes in Computer Science ; 8780)
主题:
在线阅读:Ver documento en línea
标签: 添加标签
没有标签, 成为第一个标记此记录!