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

Descrizione completa

Salvato in:
Dettagli Bibliografici
Autore principale: Kowalczyk, Ryszard (edición)
Altri autori: Nguyen, Ngoc Thanh (edición) (edición)
Natura: Libro
Lingua:inglese
Pubblicazione: Heidelberg, Alemania : Springer, 2014, c2014
Serie:(Lecture Notes in Computer Science ; 8780)
Soggetti:
Accesso online:Ver documento en línea
Tags: Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!

Accesso online

Ver documento en línea
Dettagli sul posseduto da IT2
Collocazione:
Libro en línea
Ejemplar 572075-1
Disponible
Préstamo en línea
Collezione:
Libros electrónicos en línea
Note:
Consultar en línea