Search Results for Theory of Computation. - Narrowed by: Computational complexity. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dTheory$002bof$002bComputation.$0026qf$003dSUBJECT$002509Subject$002509Computational$002bcomplexity.$002509Computational$002bcomplexity.$0026te$003dILS$0026ps$003d300?dt=list 2025-04-01T01:44:15Z Introduction to the theory of computation ent://SD_ILS/0/SD_ILS:313457 2025-04-01T01:44:15Z 2025-04-01T01:44:15Z Author&#160;Sipser, Michael.<br/>Preferred Shelf Number&#160;QA267 S56 2013<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Algorithms and theory of computation handbook ent://SD_ILS/0/SD_ILS:288695 2025-04-01T01:44:15Z 2025-04-01T01:44:15Z Author&#160;Atallah, Mikhail J.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781420049503">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Elements of the theory of computation ent://SD_ILS/0/SD_ILS:124125 2025-04-01T01:44:15Z 2025-04-01T01:44:15Z Author&#160;Lewis, Harry R.&#160;Papadimitriou, Christos H.<br/>Preferred Shelf Number&#160;QA267 .L49 1998<br/>Format:&#160;Books<br/>Availability&#160;Beytepe Library~1<br/> Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14&ndash;20, 2018. Proceedings ent://SD_ILS/0/SD_ILS:400607 2025-04-01T01:44:15Z 2025-04-01T01:44:15Z Author&#160;Baier, Christel. editor. (orcid)0000-0002-5321-9343&#160;Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-89366-2">https://doi.org/10.1007/978-3-319-89366-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory of Quantum Computation, Communication, and Cryptography 7th Conference, TQC 2012, Tokyo, Japan, May 17-19, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:334022 2025-04-01T01:44:15Z 2025-04-01T01:44:15Z Author&#160;Iwama, Kazuo. editor.&#160;Kawano, Yasuhito. editor.&#160;Murao, Mio. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334022.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35656-8">http://dx.doi.org/10.1007/978-3-642-35656-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Computation Theory 19th International Symposium, FCT 2013, Liverpool, UK, August 19-21, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334901 2025-04-01T01:44:15Z 2025-04-01T01:44:15Z Author&#160;G&#261;sieniec, Leszek. editor.&#160;Wolter, Frank. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334901.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40164-0">http://dx.doi.org/10.1007/978-3-642-40164-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Models of Computation 8th Annual Conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194517 2025-04-01T01:44:15Z 2025-04-01T01:44:15Z Author&#160;Ogihara, Mitsunori. editor.&#160;Tarui, Jun. 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-20877-5">http://dx.doi.org/10.1007/978-3-642-20877-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory of Quantum Computation, Communication, and Cryptography 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:193796 2025-04-01T01:44:15Z 2025-04-01T01:44:15Z Author&#160;Dam, Wim. editor.&#160;Kendon, Vivien M. editor.&#160;Severini, Simone. 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-18073-6">http://dx.doi.org/10.1007/978-3-642-18073-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Computation Theory 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195192 2025-04-01T01:44:15Z 2025-04-01T01:44:15Z Author&#160;Owe, Olaf. editor.&#160;Steffen, Martin. editor.&#160;Telle, Jan Arne. 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-22953-4">http://dx.doi.org/10.1007/978-3-642-22953-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings ent://SD_ILS/0/SD_ILS:192376 2025-04-01T01:44:15Z 2025-04-01T01:44:15Z Author&#160;Kratochv&iacute;l, Jan. editor.&#160;Li, Angsheng. editor.&#160;Fiala, Ji&#345;&iacute;. editor.&#160;Kolman, Petr. 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-13562-0">http://dx.doi.org/10.1007/978-3-642-13562-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Applications of Models of Computation 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190189 2025-04-01T01:44:15Z 2025-04-01T01:44:15Z Author&#160;Chen, Jianer. editor.&#160;Cooper, S. Barry. 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-02017-9">http://dx.doi.org/10.1007/978-3-642-02017-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Computation Theory 17th International Symposium, FCT 2009, Wroc&#322;aw, Poland, September 2-4, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190613 2025-04-01T01:44:15Z 2025-04-01T01:44:15Z Author&#160;Kuty&#322;owski, Miros&#322;aw. editor.&#160;Charatonik, Witold. editor.&#160;G&#281;bala, Maciej. 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-03409-1">http://dx.doi.org/10.1007/978-3-642-03409-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and theory of computation handbook. Special topics and techniques ent://SD_ILS/0/SD_ILS:291679 2025-04-01T01:44:15Z 2025-04-01T01:44:15Z Author&#160;Atallah, Mikhail J.&#160;Blanton, Marina.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781584888215">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithms and theory of computation handbook. General concepts and techniques ent://SD_ILS/0/SD_ILS:291680 2025-04-01T01:44:15Z 2025-04-01T01:44:15Z Author&#160;Atallah, Mikhail J.&#160;Blanton, Marina.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781584888239">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory of Quantum Computation, Communication, and Cryptography 4th Workshop,TQC 2009, Waterloo, Canada, May 11-13, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191450 2025-04-01T01:44:15Z 2025-04-01T01:44:15Z Author&#160;Childs, Andrew. editor.&#160;Mosca, Michele. 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-10698-9">http://dx.doi.org/10.1007/978-3-642-10698-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory of Quantum Computation, Communication, and Cryptography Third Workshop, TQC 2008 Tokyo, Japan, January 30 - February 1, 2008. Revised Selected Papers ent://SD_ILS/0/SD_ILS:189241 2025-04-01T01:44:15Z 2025-04-01T01:44:15Z Author&#160;Kawano, Yasuhito. editor.&#160;Mosca, Michele. 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-540-89304-2">http://dx.doi.org/10.1007/978-3-540-89304-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings ent://SD_ILS/0/SD_ILS:187096 2025-04-01T01:44:15Z 2025-04-01T01:44:15Z Author&#160;Csuhaj-Varj&uacute;, Erzs&eacute;bet. editor.&#160;&Eacute;sik, Zolt&aacute;n. 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-540-74240-1">http://dx.doi.org/10.1007/978-3-540-74240-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamentals of Computation Theory 15th International Symposium, FCT 2005, L&uuml;beck, Germany, August 17-20, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182959 2025-04-01T01:44:15Z 2025-04-01T01:44:15Z Author&#160;Li&#347;kiewicz, Maciej. editor.&#160;Reischuk, R&uuml;diger. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11537311">http://dx.doi.org/10.1007/11537311</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Limits of computation an introduction to the undecidable and the intractable ent://SD_ILS/0/SD_ILS:286266 2025-04-01T01:44:15Z 2025-04-01T01:44:15Z Author&#160;Reiter, Edna E. (Edna Elizabeth)&#160;Johnson, Clayton Matthew.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781439882078">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Complex Sciences Second International Conference, COMPLEX 2012, Santa Fe, NM, USA, December 5-7, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:332975 2025-04-01T01:44:15Z 2025-04-01T01:44:15Z Author&#160;Glass, Kristin. editor.&#160;Colbaugh, Richard. editor.&#160;Ormerod, Paul. editor.&#160;Tsao, Jeffrey. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(332975.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-319-03473-7">http://dx.doi.org/10.1007/978-3-319-03473-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Frontiers in Algorithmics and Algorithmic Aspects in Information and Management Third Joint International Conference, FAW-AAIM 2013, Dalian, China, June 26-28, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334663 2025-04-01T01:44:15Z 2025-04-01T01:44:15Z Author&#160;Fellows, Michael. editor.&#160;Tan, Xuehou. editor.&#160;Zhu, Binhai. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334663.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38756-2">http://dx.doi.org/10.1007/978-3-642-38756-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Combinatorial Search: From Algorithms to Systems ent://SD_ILS/0/SD_ILS:335109 2025-04-01T01:44:15Z 2025-04-01T01:44:15Z Author&#160;Hamadi, Youssef. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335109.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-41482-4">http://dx.doi.org/10.1007/978-3-642-41482-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings ent://SD_ILS/0/SD_ILS:335032 2025-04-01T01:44:15Z 2025-04-01T01:44:15Z Author&#160;Grossi, Davide. editor.&#160;Roy, Olivier. editor.&#160;Huang, Huaxin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335032.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-40948-6">http://dx.doi.org/10.1007/978-3-642-40948-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>