Arama Sonuçları Sharygina, Natasha.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dSharygina$00252C$002bNatasha.$0026ps$003d300?2024-11-11T03:57:56ZComputer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3348512024-11-11T03:57:56Z2024-11-11T03:57:56ZYazar Sharygina, Natasha. editor. Veith, Helmut. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE(334851.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-39799-8">http://dx.doi.org/10.1007/978-3-642-39799-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part IIent://SD_ILS/0/SD_ILS:5208402024-11-11T03:57:56Z2024-11-11T03:57:56ZYazar Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520840.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-30820-8">https://doi.org/10.1007/978-3-031-30820-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part Ient://SD_ILS/0/SD_ILS:5208432024-11-11T03:57:56Z2024-11-11T03:57:56ZYazar Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)<br/>Yer Numarası XX(520843.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-30823-9">https://doi.org/10.1007/978-3-031-30823-9</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Validation of Evolving Softwareent://SD_ILS/0/SD_ILS:5185812024-11-11T03:57:56Z2024-11-11T03:57:56ZYazar Chockler, Hana. editor. Kroening, Daniel. editor. Mariani, Leonardo. editor. Sharygina, Natasha. editor. SpringerLink (Online service)<br/>Yer Numarası XX(518581.1)<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-10623-6">https://doi.org/10.1007/978-3-319-10623-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>