Arama Sonuçları Fairness. - Daraltılmış: 2015SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dFairness.$0026qf$003dPUBDATE$002509Yay$0025C4$0025B1n$002bY$0025C4$0025B1l$0025C4$0025B1$0025092015$0025092015$0026ps$003d300?2024-12-04T03:14:52ZComputer 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-04T03:14:52Z2024-12-04T03:14:52ZYazar Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519007.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-04T03:14:52Z2024-12-04T03:14:52ZYazar Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)<br/>Yer Numarası XX(519090.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~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-04T03:14:52Z2024-12-04T03:14:52ZYazar Hoefer, Martin. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518974.1)<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>