Search Results for Computer science. - Narrowed by: Online Library - Data structures (Computer scienc. - Information theory.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience.$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dSUBJECT$002509Subject$002509Data$002bstructures$002b$002528Computer$002bscienc.$002509Data$002bstructures$002b$002528Computer$002bscienc.$0026qf$003dSUBJECT$002509Subject$002509Information$002btheory.$002509Information$002btheory.$0026ps$003d300$0026isd$003dtrue?2024-09-12T12:11:50ZTheory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4017142024-09-12T12:11:50Z2024-09-12T12:11:50ZAuthor Beyersdorff, Olaf. editor. Wintersteiger, Christoph M. editor. (orcid)0000-0003-0102-4381 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94144-8">https://doi.org/10.1007/978-3-319-94144-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Adventures Between Lower Bounds and Higher Altitudes Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:4001632024-09-12T12:11:50Z2024-09-12T12:11:50ZAuthor Böckenhauer, Hans-Joachim. editor. Komm, Dennis. editor. Unger, Walter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98355-4">https://doi.org/10.1007/978-3-319-98355-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles of Security and Trust 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedingsent://SD_ILS/0/SD_ILS:4006402024-09-12T12:11:50Z2024-09-12T12:11:50ZAuthor Bauer, Lujo. editor. Küsters, Ralf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89722-6">https://doi.org/10.1007/978-3-319-89722-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>