Search Results for Formal methods (Computer science) - Narrowed by: Application software.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dFormal$002bmethods$002b$002528Computer$002bscience$002529$0026qf$003dSUBJECT$002509Subject$002509Application$002bsoftware.$002509Application$002bsoftware.$0026ps$003d300?dt=list2026-04-03T15:51:25ZSOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6130732026-04-03T15:51:25Z2026-04-03T15:51:25ZAuthor Steffen, Bernhard. editor. Baier, Christel. editor. van den Brand, Mark. editor. Eder, Johann. editor. Hinchey, Mike. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51963-0">https://doi.org/10.1007/978-3-319-51963-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Digital Libraries and Multimedia Archives 12th Italian Research Conference on Digital Libraries, IRCDL 2016, Florence, Italy, February 4-5, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6179022026-04-03T15:51:25Z2026-04-03T15:51:25ZAuthor Agosti, Maristella. editor. Bertini, Marco. editor. Ferilli, Stefano. editor. Marinai, Simone. editor. Orio, Nicola. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56300-8">https://doi.org/10.1007/978-3-319-56300-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>