Search Results for Computer science. - Narrowed by: SpringerLink (Online service) - E-Book - 2007 - Computer software. - Information theory.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bscience.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dPUBDATE$002509Publication$002bDate$0025092007$0025092007$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsoftware.$002509Computer$002bsoftware.$0026qf$003dSUBJECT$002509Subject$002509Information$002btheory.$002509Information$002btheory.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?2024-09-06T03:08:13ZComputer Science – Theory and Applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1871822024-09-06T03:08:13Z2024-09-06T03:08:13ZAuthor Diekert, Volker. editor. Volkov, Mikhail V. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74510-5">http://dx.doi.org/10.1007/978-3-540-74510-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Computation and Logic in the Real World Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1867162024-09-06T03:08:13Z2024-09-06T03:08:13ZAuthor Cooper, S. Barry. editor. Löwe, Benedikt. editor. Sorbi, Andrea. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73001-9">http://dx.doi.org/10.1007/978-3-540-73001-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logic, Language, Information and Computation 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1868542024-09-06T03:08:13Z2024-09-06T03:08:13ZAuthor Leivant, Daniel. editor. Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73445-1">http://dx.doi.org/10.1007/978-3-540-73445-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theory and Applications of Models of Computation 4th International Conference, TAMC 2007, Shanghai, China, May 22-25, 2007. Proceedingsent://SD_ILS/0/SD_ILS:1865572024-09-06T03:08:13Z2024-09-06T03:08:13ZAuthor Cai, Jin-Yi. editor. Cooper, S. Barry. editor. Zhu, Hong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72504-6">http://dx.doi.org/10.1007/978-3-540-72504-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Theoretical Aspects of Local Searchent://SD_ILS/0/SD_ILS:1843152024-09-06T03:08:13Z2024-09-06T03:08:13ZAuthor Michiels, Wil. author. Korst, Jan. author. Aarts, Emile. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-35854-1">http://dx.doi.org/10.1007/978-3-540-35854-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Genetic Programming Theory and Practice IVent://SD_ILS/0/SD_ILS:1664932024-09-06T03:08:13Z2024-09-06T03:08:13ZAuthor Riolo, Rick. editor. Soule, Terence. editor. Worzel, Bill. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-49650-4">http://dx.doi.org/10.1007/978-0-387-49650-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Evolutionary Algorithms for Solving Multi-Objective Problems Second Editionent://SD_ILS/0/SD_ILS:1661762024-09-06T03:08:13Z2024-09-06T03:08:13ZAuthor Coello, Carlos A. Coello. author. Lamont, Gary B. author. Veldhuizen, David A. Van. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-36797-2">http://dx.doi.org/10.1007/978-0-387-36797-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>The Calculus of Computation Decision Procedures with Applications to Verificationent://SD_ILS/0/SD_ILS:1870582024-09-06T03:08:13Z2024-09-06T03:08:13ZAuthor Bradley, Aaron R. author. Manna, Zohar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74113-8">http://dx.doi.org/10.1007/978-3-540-74113-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>