Search Results for -- ANS&#304;KLOPED&#304;LER. - Narrowed by: Esparza, Javier. editor. - Electronic Library - Algorithms. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003d--$002bANS$0025C4$0025B0KLOPED$0025C4$0025B0LER.$0026qf$003dAUTHOR$002509Author$002509Esparza$00252C$002bJavier.$002beditor.$002509Esparza$00252C$002bJavier.$002beditor.$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253AELEKKUTUPH$002509Electronic$002bLibrary$0026qf$003dSUBJECT$002509Subject$002509Algorithms.$002509Algorithms.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue? 2024-09-12T07:48:06Z Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28&ndash;31, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486578 2024-09-12T07:48:06Z 2024-09-12T07:48:06Z Author&#160;Chen, Yu-Fang. editor. (orcid)0000-0003-2872-0336&#160;Cheng, Chih-Hong. editor.&#160;Esparza, Javier. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-31784-3">https://doi.org/10.1007/978-3-030-31784-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I ent://SD_ILS/0/SD_ILS:487501 2024-09-12T07:48:06Z 2024-09-12T07:48:06Z Author&#160;Esparza, Javier. editor.&#160;Fraigniaud, Pierre. editor.&#160;Husfeldt, Thore. editor.&#160;Koutsoupias, Elias. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-43948-7">https://doi.org/10.1007/978-3-662-43948-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II ent://SD_ILS/0/SD_ILS:489053 2024-09-12T07:48:06Z 2024-09-12T07:48:06Z Author&#160;Esparza, Javier. editor.&#160;Fraigniaud, Pierre. editor.&#160;Husfeldt, Thore. editor.&#160;Koutsoupias, Elias. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-43951-7">https://doi.org/10.1007/978-3-662-43951-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>