Search Results for Algebra--Data processing. - Narrowed by: Computer Science, general. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dAlgebra--Data$002bprocessing.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bScience$00252C$002bgeneral.$002509Computer$002bScience$00252C$002bgeneral.$0026ic$003dtrue$0026ps$003d300? 2024-11-09T11:50:25Z Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334875 2024-11-09T11:50:25Z 2024-11-09T11:50:25Z Author&#160;Libkin, Leonid. editor.&#160;Kohlenbach, Ulrich. editor.&#160;Queiroz, Ruy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334875.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39992-3">http://dx.doi.org/10.1007/978-3-642-39992-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Grammar 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, D&uuml;sseldorf, Germany, August 2013. Proceedings ent://SD_ILS/0/SD_ILS:334877 2024-11-09T11:50:25Z 2024-11-09T11:50:25Z Author&#160;Morrill, Glyn. editor.&#160;Nederhof, Mark-Jan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334877.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39998-5">http://dx.doi.org/10.1007/978-3-642-39998-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Certified Programs and Proofs Third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings ent://SD_ILS/0/SD_ILS:332982 2024-11-09T11:50:25Z 2024-11-09T11:50:25Z Author&#160;Gonthier, Georges. editor.&#160;Norrish, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332982.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03545-1">http://dx.doi.org/10.1007/978-3-319-03545-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>