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

Mô tả đầy đủ

Đã lưu trong:
Chi tiết về thư mục
Tác giả chính: Kowalczyk, Ryszard (edición)
Tác giả khác: Nguyen, Ngoc Thanh (edición) (edición)
Định dạng: Sách
Ngôn ngữ:Tiếng Anh
Được phát hành: Heidelberg, Alemania : Springer, 2014, c2014
Loạt:(Lecture Notes in Computer Science ; 8780)
Những chủ đề:
Truy cập trực tuyến:Ver documento en línea
Các nhãn: Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!