Arama Sonu&ccedil;lar&#305; Dastani, Mehdi. - Daralt&#305;lm&#305;&#351;: Electronic data processing. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dDastani$00252C$002bMehdi.$0026qf$003dSUBJECT$002509Konu$002509Electronic$002bdata$002bprocessing.$002509Electronic$002bdata$002bprocessing.$0026ps$003d300? 2026-01-25T20:07:30Z Specification and Verification of Multi-agent Systems ent://SD_ILS/0/SD_ILS:172741 2026-01-25T20:07:30Z 2026-01-25T20:07:30Z Yazar&#160;Dastani, Mehdi. editor.&#160;Hindriks, Koen V. editor.&#160;Meyer, John-Jules Charles. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-1-4419-6984-2">http://dx.doi.org/10.1007/978-1-4419-6984-2</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Multi-Agent Programming: Languages, Tools and Applications ent://SD_ILS/0/SD_ILS:167933 2026-01-25T20:07:30Z 2026-01-25T20:07:30Z Yazar&#160;El Fallah Seghrouchni, Amal. editor.&#160;Dix, J&uuml;rgen. editor.&#160;Dastani, Mehdi. editor.&#160;Bordini, Rafael H. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/978-0-387-89299-3">http://dx.doi.org/10.1007/978-0-387-89299-3</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/> Multi-Agent Programming Languages, Platforms and Applications ent://SD_ILS/0/SD_ILS:165269 2026-01-25T20:07:30Z 2026-01-25T20:07:30Z Yazar&#160;Bordini, Rafael H. editor.&#160;Dastani, Mehdi. editor.&#160;Dix, J&uuml;rgen. editor.&#160;Fallah Seghrouchni, Amal. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/b137449">http://dx.doi.org/10.1007/b137449</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>