Search Results for - Narrowed by: 2006 - Computer software. - Logics and Meanings of Programs.SirsiDynix Enterprisehttps://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dPUBDATE$002509Publication$002bDate$0025092006$0025092006$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsoftware.$002509Computer$002bsoftware.$0026qf$003dSUBJECT$002509Subject$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026ps$003d300?2024-09-27T10:24:17ZImplementation and Application of Automata 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5114662024-09-27T10:24:17Z2024-09-27T10:24:17Zby Ibarra, Oscar H. editor.<br/><a href="http://dx.doi.org/10.1007/11812128">http://dx.doi.org/10.1007/11812128</a><br/>Format: Electronic Resources<br/>Finite-State Methods and Natural Language Processing 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005. Revised Papersent://SD_ILS/0/SD_ILS:5112822024-09-27T10:24:17Z2024-09-27T10:24:17Zby Yli-Jyrä, Anssi. editor.<br/><a href="http://dx.doi.org/10.1007/11780885">http://dx.doi.org/10.1007/11780885</a><br/>Format: Electronic Resources<br/>Graph Transformations Third International Conference, ICGT 2006 Natal, Rio Grande do Norte, Brazil, September 17-23, 2006 Proceedingsent://SD_ILS/0/SD_ILS:5116172024-09-27T10:24:17Z2024-09-27T10:24:17Zby Corradini, Andrea. editor.<br/><a href="http://dx.doi.org/10.1007/11841883">http://dx.doi.org/10.1007/11841883</a><br/>Format: Electronic Resources<br/>Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5108242024-09-27T10:24:17Z2024-09-27T10:24:17Zby Hermanns, Holger. editor.<br/><a href="http://dx.doi.org/10.1007/11691372">http://dx.doi.org/10.1007/11691372</a><br/>Format: Electronic Resources<br/>Recent Advances in Constraints Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papersent://SD_ILS/0/SD_ILS:5110732024-09-27T10:24:17Z2024-09-27T10:24:17Zby Hnich, Brahim. editor.<br/><a href="http://dx.doi.org/10.1007/11754602">http://dx.doi.org/10.1007/11754602</a><br/>Format: Electronic Resources<br/>Mathematical Foundations of Computer Science 2006 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5115702024-09-27T10:24:17Z2024-09-27T10:24:17Zby Královič, Rastislav. editor.<br/><a href="http://dx.doi.org/10.1007/11821069">http://dx.doi.org/10.1007/11821069</a><br/>Format: Electronic Resources<br/>FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5120232024-09-27T10:24:17Z2024-09-27T10:24:17Zby Arun-Kumar, S. editor.<br/><a href="http://dx.doi.org/10.1007/11944836">http://dx.doi.org/10.1007/11944836</a><br/>Format: Electronic Resources<br/>LATIN 2006: Theoretical Informatics 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5107522024-09-27T10:24:17Z2024-09-27T10:24:17Zby Correa, José R. editor.<br/><a href="http://dx.doi.org/10.1007/11682462">http://dx.doi.org/10.1007/11682462</a><br/>Format: Electronic Resources<br/>Implementation and Application of Automata 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papersent://SD_ILS/0/SD_ILS:5108372024-09-27T10:24:17Z2024-09-27T10:24:17Zby Farré, Jacques. editor.<br/><a href="http://dx.doi.org/10.1007/11605157">http://dx.doi.org/10.1007/11605157</a><br/>Format: Electronic Resources<br/>STACS 2006 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5105632024-09-27T10:24:17Z2024-09-27T10:24:17Zby Durand, Bruno. editor.<br/><a href="http://dx.doi.org/10.1007/11672142">http://dx.doi.org/10.1007/11672142</a><br/>Format: Electronic Resources<br/>Advances in Artificial Intelligence - IBERAMIA-SBIA 2006 2nd International Joint Conference, 10th Ibero-American Conference on AI, 18th Brazilian AI Symposium, Ribeirão Preto, Brazil, October 23-27, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5117232024-09-27T10:24:17Z2024-09-27T10:24:17Zby Sichman, Jaime Simão. editor.<br/><a href="http://dx.doi.org/10.1007/11874850">http://dx.doi.org/10.1007/11874850</a><br/>Format: Electronic Resources<br/>