Search Results for Shehory, Onn. - Narrowed by: 2012 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dShehory$00252C$002bOnn.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092012$0025092012$0026ps$003d300? 2024-10-30T03:07:37Z 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-10-30T03:07:37Z 2024-10-30T03:07:37Z 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. Designing Trading Strategies and Mechanisms for Electronic Markets AMEC 2010, Toronto, ON, Canada, May 10, 2010, and TADA 2010, Cambridge, MA, USA, June 7, 2010 Revised Selected Papers ent://SD_ILS/0/SD_ILS:197491 2024-10-30T03:07:37Z 2024-10-30T03:07:37Z Author&#160;David, Esther. editor.&#160;Larson, Kate. editor.&#160;Rogers, Alex. editor.&#160;Shehory, Onn. editor.&#160;Stein, Sebastian. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34200-4">http://dx.doi.org/10.1007/978-3-642-34200-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>