Arama Sonuçları Case studies. - Daraltılmış: Software engineering.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dCase$002bstudies.$0026qf$003dSUBJECT$002509Konu$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300?dt=list2024-11-29T17:30:13ZDesign, User Experience, and Usability. Practice and Case Studies 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part IVent://SD_ILS/0/SD_ILS:4860882024-11-29T17:30:13Z2024-11-29T17:30:13ZYazar Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-030-23535-2">https://doi.org/10.1007/978-3-030-23535-2</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Design, User Experience, and Usability: Users, Contexts and Case Studies 7th International Conference, DUXU 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part IIIent://SD_ILS/0/SD_ILS:4026722024-11-29T17:30:13Z2024-11-29T17:30:13ZYazar Marcus, Aaron. editor. Wang, Wentao. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-319-91806-8">https://doi.org/10.1007/978-3-319-91806-8</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Formal Methods for Safety and Security Case Studies for Aerospace Applicationsent://SD_ILS/0/SD_ILS:4022292024-11-29T17:30:13Z2024-11-29T17:30:13ZYazar Nanda, Manju. editor. Jeppu, Yogananda. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-981-10-4121-1">https://doi.org/10.1007/978-981-10-4121-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studiesent://SD_ILS/0/SD_ILS:3336882024-11-29T17:30:13Z2024-11-29T17:30:13ZYazar Reisig, Wolfgang. author. SpringerLink (Online service)<br/>Yer Numarası ONLINE(333688.1)<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-33278-4">http://dx.doi.org/10.1007/978-3-642-33278-4</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part IIent://SD_ILS/0/SD_ILS:1974602024-11-29T17:30:13Z2024-11-29T17:30:13ZYazar Margaria, Tiziana. editor. Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="http://dx.doi.org/10.1007/978-3-642-34032-1">http://dx.doi.org/10.1007/978-3-642-34032-1</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>