Search Results for Science -- Software. - Narrowed by: Computer programming.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dScience$002b--$002bSoftware.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bprogramming.$002509Computer$002bprogramming.$0026ps$003d300$0026isd$003dtrue?dt=list2026-04-08T08:50:40ZFoundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedingsent://SD_ILS/0/SD_ILS:4830522026-04-08T08:50:40Z2026-04-08T08:50:40ZAuthor Bojańczyk, Mikołaj. editor. Simpson, Alex. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17127-8">https://doi.org/10.1007/978-3-030-17127-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Numbers and Computersent://SD_ILS/0/SD_ILS:6063662026-04-08T08:50:40Z2026-04-08T08:50:40ZAuthor Kneusel, Ronald T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-67482-2">https://doi.org/10.1007/978-3-031-67482-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Object-based Programming with Goent://SD_ILS/0/SD_ILS:6093322026-04-08T08:50:40Z2026-04-08T08:50:40ZAuthor Maurer, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-44704-5">https://doi.org/10.1007/978-3-658-44704-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The French School of Programmingent://SD_ILS/0/SD_ILS:6033902026-04-08T08:50:40Z2026-04-08T08:50:40ZAuthor 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/>Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6122922026-04-08T08:50:40Z2026-04-08T08:50:40ZAuthor Yang, Hongseok. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54434-1">https://doi.org/10.1007/978-3-662-54434-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:6108512026-04-08T08:50:40Z2026-04-08T08:50:40ZAuthor Gibson-Robinson, Thomas. editor. Hopcroft, Philippa. editor. Lazić, Ranko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51046-0">https://doi.org/10.1007/978-3-319-51046-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedingsent://SD_ILS/0/SD_ILS:6160412026-04-08T08:50:40Z2026-04-08T08:50:40ZAuthor Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X Taha, Walid. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51676-9">https://doi.org/10.1007/978-3-319-51676-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexityent://SD_ILS/0/SD_ILS:6163212026-04-08T08:50:40Z2026-04-08T08:50:40ZAuthor Zeume, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54314-6">https://doi.org/10.1007/978-3-662-54314-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Understanding Control Flow Concurrent Programming Using μC++ent://SD_ILS/0/SD_ILS:6122122026-04-08T08:50:40Z2026-04-08T08:50:40ZAuthor Buhr, Peter A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-25703-7">https://doi.org/10.1007/978-3-319-25703-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedingsent://SD_ILS/0/SD_ILS:6113312026-04-08T08:50:40Z2026-04-08T08:50:40ZAuthor Gavanelli, Marco. editor. Reppy, John. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28228-2">https://doi.org/10.1007/978-3-319-28228-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedingsent://SD_ILS/0/SD_ILS:6122882026-04-08T08:50:40Z2026-04-08T08:50:40ZAuthor Thiemann, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49498-1">https://doi.org/10.1007/978-3-662-49498-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papersent://SD_ILS/0/SD_ILS:6165792026-04-08T08:50:40Z2026-04-08T08:50:40ZAuthor Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29613-5">https://doi.org/10.1007/978-3-319-29613-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Retrogame Archeology Exploring Old Computer Gamesent://SD_ILS/0/SD_ILS:6129292026-04-08T08:50:40Z2026-04-08T08:50:40ZAuthor Aycock, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30004-7">https://doi.org/10.1007/978-3-319-30004-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papersent://SD_ILS/0/SD_ILS:6163292026-04-08T08:50:40Z2026-04-08T08:50:40ZAuthor Lucanu, Dorel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44802-2">https://doi.org/10.1007/978-3-319-44802-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>