Search Results for Computing Methodologies. - Narrowed by: Machine theory. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputing$002bMethodologies.$0026qf$003dSUBJECT$002509Subject$002509Machine$002btheory.$002509Machine$002btheory.$0026ps$003d300?dt=list 2026-03-20T05:34:04Z Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings ent://SD_ILS/0/SD_ILS:608987 2026-03-20T05:34:04Z 2026-03-20T05:34:04Z Author&#160;Beckmann, Arnold. editor. (orcid)0000-0001-7958-5790&#160;Oitavem, Isabel. editor. (orcid)0000-0002-3573-9281&#160;Manea, Florin. editor. (orcid)0000-0001-6094-3324&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-95908-0">https://doi.org/10.1007/978-3-031-95908-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings ent://SD_ILS/0/SD_ILS:612727 2026-03-20T05:34:04Z 2026-03-20T05:34:04Z Author&#160;Crnkovic, Ivica. editor.&#160;Troubitsyna, Elena. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-45892-2">https://doi.org/10.1007/978-3-319-45892-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>