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

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Kowalczyk, Ryszard (edición)
Otros autores: Nguyen, Ngoc Thanh (edición)
Formato: Libro
Idioma:Inglés
Publicado: Heidelberg, Alemania : Springer, 2014, c2014
Colección:(Lecture Notes in Computer Science ; 8780)
Temas:
Acceso en línea:Ver documento en línea
Etiquetas: Agrega una etiqueta
Sin etiquetas, Sé el primero en etiquetar este registro!