Verification od dynamic epistemic properties in multi-agent systems = Verifikacija dinamičkih epistemičkih svojstava višeagentskih sustava : doctoral thesis = doktorska disertacija / Marina Bagić Babac ; [mentor Marijan kunštić]
By: Bagić Babac, Marina.
Contributor(s): Kunštić, Marijan [ths].
Material type: TextPublisher: Zagreb : M. Bagić Babac ; Fakultet elektrotehnike i računarstva, 2009Description: ix, 138 str. : graf. prikazi ; 30 cm + CD.Item type | Current location | Call number | Vol info | Copy number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|---|
Doktorska disertacija | Središnja knjižnica KF | KF-4259 | 004.414* BAGIĆ ver | 26668 | Available | 0000000777421 | |||
Doktorska disertacija | Središnja knjižnica | KF-4259 | 004.414* BAGIĆ ver | 26669 | 1 | 0000000777438 | |||
Doktorska disertacija | Središnja knjižnica | KF-4259 | 004.414* BAGIĆ ver | 26668/cd | 1 | CD | 0000000777414 |
Total holds: 0
There are no comments for this item.