Search Results for Logic design - Narrowed by: Aceto, Luca. editor. - Online Library - Logic design. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic$002bdesign$0026qf$003dAUTHOR$002509Author$002509Aceto$00252C$002bLuca.$002beditor.$002509Aceto$00252C$002bLuca.$002beditor.$0026qf$003dLIBRARY$002509Library$0025091$00253AONLINE$002509Online$002bLibrary$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300? 2024-08-22T03:52:23Z Automata, Languages and Programming 38th International Colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part II ent://SD_ILS/0/SD_ILS:194889 2024-08-22T03:52:23Z 2024-08-22T03:52:23Z Author&#160;Aceto, Luca. editor.&#160;Henzinger, Monika. editor.&#160;Sgall, Ji&#345;&iacute;. 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-22012-8">http://dx.doi.org/10.1007/978-3-642-22012-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings ent://SD_ILS/0/SD_ILS:183600 2024-08-22T03:52:23Z 2024-08-22T03:52:23Z Author&#160;Aceto, Luca. editor.&#160;Ing&oacute;lfsd&oacute;ttir, Anna. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11690634">http://dx.doi.org/10.1007/11690634</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>