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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Kowalczyk, Ryszard (edición)
Weitere Verfasser: Nguyen, Ngoc Thanh (edición) (edición)
Format: Buch
Sprache:Englisch
Veröffentlicht: Heidelberg, Alemania : Springer, 2014, c2014
Schriftenreihe:(Lecture Notes in Computer Science ; 8780)
Schlagworte:
Online-Zugang:Ver documento en línea
Tags: Tag hinzufügen
Keine Tags, Fügen Sie das erste Tag hinzu!