Search Results for Computational complexity. - Narrowed by: English - 2005 - Logic design. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputational$002bcomplexity.$0026qf$003dLANGUAGE$002509Language$002509ENG$002509English$0026qf$003dPUBDATE$002509Publication$002bDate$0025092005$0025092005$0026qf$003dSUBJECT$002509Subject$002509Logic$002bdesign.$002509Logic$002bdesign.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue? 2024-09-05T08:39:36Z Developments in Language Theory 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182828 2024-09-05T08:39:36Z 2024-09-05T08:39:36Z Author&#160;Felice, Clelia. editor.&#160;Restivo, Antonio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b137735">http://dx.doi.org/10.1007/b137735</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday ent://SD_ILS/0/SD_ILS:182933 2024-09-05T08:39:36Z 2024-09-05T08:39:36Z Author&#160;Kreowski, Hans-J&ouml;rg. editor.&#160;Montanari, Ugo. editor.&#160;Orejas, Fernando. editor.&#160;Rozenberg, Grzegorz. editor.&#160;Taentzer, Gabriele. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b106390">http://dx.doi.org/10.1007/b106390</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mathematical Foundations of Computer Science 2005 30th International Symposium, MFCS 2005, Gdansk, Poland, August 29&ndash;September 2, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182953 2024-09-05T08:39:36Z 2024-09-05T08:39:36Z Author&#160;J&#553;drzejowicz, Joanna. editor.&#160;Szepietowski, Andrzej. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11549345">http://dx.doi.org/10.1007/11549345</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183361 2024-09-05T08:39:36Z 2024-09-05T08:39:36Z Author&#160;Sarukkai, Sundar. editor.&#160;Sen, Sandeep. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11590156">http://dx.doi.org/10.1007/11590156</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Developments in Language Theory 8th International Conference, DLT 2004, Auckland, New Zealand, December 13-17, 2004. Proceedings ent://SD_ILS/0/SD_ILS:182351 2024-09-05T08:39:36Z 2024-09-05T08:39:36Z Author&#160;Calude, Cristian S. editor.&#160;Calude, Elena. editor.&#160;Dinneen, Michael J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b103739">http://dx.doi.org/10.1007/b103739</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004. Proceedings ent://SD_ILS/0/SD_ILS:182343 2024-09-05T08:39:36Z 2024-09-05T08:39:36Z Author&#160;Lodaya, Kamal. editor.&#160;Mahajan, Meena. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b104325">http://dx.doi.org/10.1007/b104325</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theoretical Computer Science 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183091 2024-09-05T08:39:36Z 2024-09-05T08:39:36Z Author&#160;Coppo, Mario. editor.&#160;Lodi, Elena. editor.&#160;Pinna, G. Michele. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11560586">http://dx.doi.org/10.1007/11560586</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>