Search Results for Fairness. - Narrowed by: 2015SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dFairness.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092015$0025092015$0026ic$003dtrue$0026ps$003d300?2024-12-04T09:36:38ZComputer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5190072024-12-04T09:36:38Z2024-12-04T09:36:38ZAuthor Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519007.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-21690-4">https://doi.org/10.1007/978-3-319-21690-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedingsent://SD_ILS/0/SD_ILS:5190902024-12-04T09:36:38Z2024-12-04T09:36:38ZAuthor Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(519090.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-46681-0">https://doi.org/10.1007/978-3-662-46681-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Algorithmic Game Theory 8th International Symposium, SAGT 2015, Saarbrücken, Germany, September 28-30, 2015. Proceedingsent://SD_ILS/0/SD_ILS:5189742024-12-04T09:36:38Z2024-12-04T09:36:38ZAuthor Hoefer, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(518974.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-48433-3">https://doi.org/10.1007/978-3-662-48433-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>