Search Results for Pitts, Andrew. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dPitts$00252C$002bAndrew.$0026ic$003dtrue$0026ps$003d300? 2024-10-31T12:10:36Z Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings ent://SD_ILS/0/SD_ILS:519161 2024-10-31T12:10:36Z 2024-10-31T12:10:36Z Author&#160;Pitts, Andrew. editor. (orcid)&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;XX(519161.1)<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-46678-0">https://doi.org/10.1007/978-3-662-46678-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II ent://SD_ILS/0/SD_ILS:197110 2024-10-31T12:10:36Z 2024-10-31T12:10:36Z Author&#160;Czumaj, Artur. editor.&#160;Mehlhorn, Kurt. editor.&#160;Pitts, Andrew. editor.&#160;Wattenhofer, Roger. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31585-5">http://dx.doi.org/10.1007/978-3-642-31585-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages, and Programming 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part I ent://SD_ILS/0/SD_ILS:197112 2024-10-31T12:10:36Z 2024-10-31T12:10:36Z Author&#160;Czumaj, Artur. editor.&#160;Mehlhorn, Kurt. editor.&#160;Pitts, Andrew. editor.&#160;Wattenhofer, Roger. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-31594-7">http://dx.doi.org/10.1007/978-3-642-31594-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>