Search Results for Computer science. - Narrowed by: Shehory, Onn. editor. - E-Book - Computer science. - Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience.$0026qf$003dAUTHOR$002509Author$002509Shehory$00252C$002bOnn.$002beditor.$002509Shehory$00252C$002bOnn.$002beditor.$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026te$003dILS$0026ps$003d300? 2024-08-18T17:35:33Z Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197489 2024-08-18T17:35:33Z 2024-08-18T17:35:33Z Author&#160;Eder, Kerstin. editor.&#160;Louren&ccedil;o, Jo&atilde;o. editor.&#160;Shehory, Onn. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34188-5">http://dx.doi.org/10.1007/978-3-642-34188-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Agent-Mediated Electronic Commerce and Trading Agent Design and Analysis AAMAS 2007 Workshop, AMEC 2007, Honolulu, Hawaii, May 14, 2007, and AAAI 2007 Workshop, TADA 2007, Vancouver, Canada, July 23, 2007, Selected and Revised Papers ent://SD_ILS/0/SD_ILS:189109 2024-08-18T17:35:33Z 2024-08-18T17:35:33Z Author&#160;Collins, John. editor.&#160;Faratin, Peyman. editor.&#160;Parsons, Simon. editor.&#160;Rodriguez-Aguilar, Juan A. editor.&#160;Sadeh, Norman M. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-88713-3">http://dx.doi.org/10.1007/978-3-540-88713-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>