Search Results for Computing Systems Design. - Narrowed by: Machine theory.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputing$002bSystems$002bDesign.$0026qf$003dSUBJECT$002509Subject$002509Machine$002btheory.$002509Machine$002btheory.$0026ps$003d300?2026-04-26T17:37:08ZReal Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Careerent://SD_ILS/0/SD_ILS:6056682026-04-26T17:37:08Z2026-04-26T17:37:08ZAuthor Graf, Susanne. editor. (orcid)0000-0003-4354-6807 Pettersson, Paul. editor. (orcid)0000-0003-4040-3480 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-73751-0">https://doi.org/10.1007/978-3-031-73751-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The French School of Programmingent://SD_ILS/0/SD_ILS:6033902026-04-26T17:37:08Z2026-04-26T17:37:08ZAuthor Meyer, Bertrand. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34518-0">https://doi.org/10.1007/978-3-031-34518-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Practice of Formal Methods Essays in Honour of Cliff Jones, Part IIent://SD_ILS/0/SD_ILS:6050222026-04-26T17:37:08Z2026-04-26T17:37:08ZAuthor Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 Baxter, James. editor. (orcid)0000-0001-6083-9607 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-66673-5">https://doi.org/10.1007/978-3-031-66673-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Practice of Formal Methods Essays in Honour of Cliff Jones, Part Ient://SD_ILS/0/SD_ILS:6050312026-04-26T17:37:08Z2026-04-26T17:37:08ZAuthor Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 Baxter, James. editor. (orcid)0000-0001-6083-9607 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-66676-6">https://doi.org/10.1007/978-3-031-66676-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6127272026-04-26T17:37:08Z2026-04-26T17:37:08ZAuthor Crnkovic, Ivica. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>