Search Results for Invariants. - Narrowed by: Online Library - 2023SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dInvariants.$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dPUBDATE$002509Publication$002bDate$0025092023$0025092023$0026te$003dILS$0026ps$003d300?dt=list2024-10-16T22:00:47ZStatic Analysis 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5212582024-10-16T22:00:47Z2024-10-16T22:00:47ZAuthor Hermenegildo, Manuel V. editor. Morales, José F. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521258.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-44245-2">https://doi.org/10.1007/978-3-031-44245-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verified Software. Theories, Tools and Experiments. 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papersent://SD_ILS/0/SD_ILS:5208022024-10-16T22:00:47Z2024-10-16T22:00:47ZAuthor Lal, Akash. editor. Tonetta, Stefano. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520802.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-25803-9">https://doi.org/10.1007/978-3-031-25803-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~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-10-16T22:00:47Z2024-10-16T22:00:47ZAuthor Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(520840.1)<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>Formal Methods and Software Engineering 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5213242024-10-16T22:00:47Z2024-10-16T22:00:47ZAuthor Li, Yi. editor. Tahar, Sofiène. editor. SpringerLink (Online service)<br/>Preferred Shelf Number XX(521324.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-7584-6">https://doi.org/10.1007/978-981-99-7584-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Scale Space and Variational Methods in Computer Vision 9th International Conference, SSVM 2023, Santa Margherita di Pula, Italy, May 21-25, 2023, Proceedingsent://SD_ILS/0/SD_ILS:5213912024-10-16T22:00:47Z2024-10-16T22:00:47ZAuthor Calatroni, Luca. editor. Donatelli, Marco. editor. Morigi, Serena. editor. Prato, Marco. editor. Santacesaria, Matteo. editor.<br/>Preferred Shelf Number XX(521391.1)<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-31975-4">https://doi.org/10.1007/978-3-031-31975-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>