Search Results for Dastani, Mehdi. - Narrowed by: Electronic data processing. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dDastani$00252C$002bMehdi.$0026qf$003dSUBJECT$002509Subject$002509Electronic$002bdata$002bprocessing.$002509Electronic$002bdata$002bprocessing.$0026ps$003d300? 2025-12-22T01:13:30Z Specification and Verification of Multi-agent Systems ent://SD_ILS/0/SD_ILS:172741 2025-12-22T01:13:30Z 2025-12-22T01:13:30Z Author&#160;Dastani, Mehdi. editor.&#160;Hindriks, Koen V. editor.&#160;Meyer, John-Jules Charles. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-Agent Programming: Languages, Tools and Applications ent://SD_ILS/0/SD_ILS:167933 2025-12-22T01:13:30Z 2025-12-22T01:13:30Z Author&#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/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#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;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-Agent Programming Languages, Platforms and Applications ent://SD_ILS/0/SD_ILS:165269 2025-12-22T01:13:30Z 2025-12-22T01:13:30Z Author&#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/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b137449">http://dx.doi.org/10.1007/b137449</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>