Prohlížení dle předmětu "Rodin"

Zobrazují se záznamy 1-4 z 4

Big data process advancement

Jašek, Roman; Krayem, Said; Žáček, Petr (Springer Verlag, 2017)
Improved adaptive fault tolerance model for increasing reliability in cloud computing using Event-B

Ali, Ammar Alhaj; Jašek, Roman; Krayem, Said; Chramcov, Bronislav; Žáček, Petr (Springer Verlag, 2019)
Multi-agent systems interacting (addressing scopes, control resources)

Kadi, Mohamad; Krayem, Said; Jašek, Roman; Žáček, Petr; Chramcov, Bronislav (Springer Verlag, 2019)
Proving the effectiveness of negotiation protocols KQML in multi-agent systems using event-B

Ali, Ammar Alhaj; Jašek, Roman; Krayem, Said; Žáček, Petr (Springer Verlag, 2017)

Zobrazují se záznamy 1-4 z 4

Prohledat DSpace