Search Results for Theory of Computation. - Narrowed by: 2006 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dTheory$002bof$002bComputation.$0026qf$003dPUBDATE$002509Publication$002bDate$0025092006$0025092006$0026ic$003dtrue$0026ps$003d300? 2025-12-13T14:26:53Z Theory of Computation ent://SD_ILS/0/SD_ILS:175434 2025-12-13T14:26:53Z 2025-12-13T14:26:53Z Author&#160;Kozen, Dexter C. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/1-84628-477-5">http://dx.doi.org/10.1007/1-84628-477-5</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 2025-12-13T14:26:53Z 2025-12-13T14:26:53Z 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/> Theory and Applications of Models of Computation Third International Conference, TAMC 2006, Beijing, China, May 15-20, 2006. Proceedings ent://SD_ILS/0/SD_ILS:183909 2025-12-13T14:26:53Z 2025-12-13T14:26:53Z Author&#160;Cai, Jin-Yi. editor.&#160;Cooper, S. Barry. editor.&#160;Li, Angsheng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11750321">http://dx.doi.org/10.1007/11750321</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Trends and perspectives in modern computational science : lectures presented in the International Conference of Computational Methods in Sciences and Engineering (ICCMSE 2006) : recognised conference by the European Society of Computational Met ent://SD_ILS/0/SD_ILS:538682 2025-12-13T14:26:53Z 2025-12-13T14:26:53Z Author&#160;International Conference of Computational Methods in Sciences and Engineering (2006 : Chania, Greece)&#160;Maroulis, George.&#160;Simos, T. E.&#160;European Society of Computational Methods in Science and Engineering.<br/>Preferred Shelf Number&#160;Q183.9 .I524 2006<br/>Electronic Access&#160;<a href="https://www.taylorfrancis.com/books/9789047418627">Click here to view.</a><br/>Format:&#160;Books<br/>Availability&#160;Online Library~1<br/> Handbook of elliptic and hyperelliptic curve cryptography ent://SD_ILS/0/SD_ILS:547539 2025-12-13T14:26:53Z 2025-12-13T14:26:53Z Author&#160;Cohen, Henri.&#160;Frey, Gerhard, 1944-&#160;Avanzi, Roberto.<br/>Preferred Shelf Number&#160;QA567.2 .E44 H36 2006 EB<br/>Electronic Access&#160;Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781420034981">https://www.taylorfrancis.com/books/9781420034981</a> Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780367801625">https://www.taylorfrancis.com/books/9780367801625</a> OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>