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...

Cijeli opis

Bibliografski detalji
Glavni autor: Kowalczyk, Ryszard (edición)
Daljnji autori: Nguyen, Ngoc Thanh (edición) (edición)
Format: Knjiga
Jezik:engleski
Izdano: Heidelberg, Alemania : Springer, 2014, c2014
Serija:(Lecture Notes in Computer Science ; 8780)
Teme:
Online pristup:Ver documento en línea

Slični predmeti: Transactions on Computational Collective Intelligence :