Search Results for - Narrowed by: Computers and Society. - Logics and Meanings of Programs.SirsiDynix Enterprisehttps://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509Computers$002band$002bSociety.$002509Computers$002band$002bSociety.$0026qf$003dSUBJECT$002509Subject$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026ps$003d300?2024-06-07T00:39:20ZTests and Proofs Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008. Proceedingsent://SD_ILS/0/SD_ILS:5034852024-06-07T00:39:20Z2024-06-07T00:39:20Zby Beckert, Bernhard. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-79124-9">http://dx.doi.org/10.1007/978-3-540-79124-9</a><br/>Format: Electronic Resources<br/>Tests and Proofs First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papersent://SD_ILS/0/SD_ILS:5127202024-06-07T00:39:20Z2024-06-07T00:39:20Zby Gurevich, Yuri. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73770-4">http://dx.doi.org/10.1007/978-3-540-73770-4</a><br/>Format: Electronic Resources<br/>Agile Processes in Software Engineering and Extreme Programming 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedingsent://SD_ILS/0/SD_ILS:5125972024-06-07T00:39:20Z2024-06-07T00:39:20Zby Concas, Giulio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73101-6">http://dx.doi.org/10.1007/978-3-540-73101-6</a><br/>Format: Electronic Resources<br/>Software Architectures, Components, and Applications Third International Conference on Quality of Software Architectures, QoSA 2007, Medford, MA, USA, July 11-23, 2007, Revised Selected Papersent://SD_ILS/0/SD_ILS:5130452024-06-07T00:39:20Z2024-06-07T00:39:20Zby Overhage, Sven. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-77619-2">http://dx.doi.org/10.1007/978-3-540-77619-2</a><br/>Format: Electronic Resources<br/>Web Services and Formal Methods Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedingsent://SD_ILS/0/SD_ILS:5116162024-06-07T00:39:20Z2024-06-07T00:39:20Zby Bravetti, Mario. editor.<br/><a href="http://dx.doi.org/10.1007/11841197">http://dx.doi.org/10.1007/11841197</a><br/>Format: Electronic Resources<br/>Quality of Software Architectures Second International Conference on Quality of Software Architectures, QoSA 2006, Västerås, Sweden, June 27-29, 2006 Revised Papersent://SD_ILS/0/SD_ILS:5119132024-06-07T00:39:20Z2024-06-07T00:39:20Zby Hofmeister, Christine. editor.<br/><a href="http://dx.doi.org/10.1007/11921998">http://dx.doi.org/10.1007/11921998</a><br/>Format: Electronic Resources<br/>Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedingsent://SD_ILS/0/SD_ILS:5112382024-06-07T00:39:20Z2024-06-07T00:39:20Zby Abrahamsson, Pekka. editor.<br/><a href="http://dx.doi.org/10.1007/11774129">http://dx.doi.org/10.1007/11774129</a><br/>Format: Electronic Resources<br/>Quality of Software Architectures and Software Quality First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5104192024-06-07T00:39:20Z2024-06-07T00:39:20Zby Reussner, Ralf. editor.<br/><a href="http://dx.doi.org/10.1007/11558569">http://dx.doi.org/10.1007/11558569</a><br/>Format: Electronic Resources<br/>Object-Oriented Technology. ECOOP 2004 Workshop Reader ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reportsent://SD_ILS/0/SD_ILS:5097362024-06-07T00:39:20Z2024-06-07T00:39:20Zby Malenfant, Jacques. editor.<br/><a href="http://dx.doi.org/10.1007/b104146">http://dx.doi.org/10.1007/b104146</a><br/>Format: Electronic Resources<br/>Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5099692024-06-07T00:39:20Z2024-06-07T00:39:20Zby Baumeister, Hubert. editor.<br/><a href="http://dx.doi.org/10.1007/b137278">http://dx.doi.org/10.1007/b137278</a><br/>Format: Electronic Resources<br/>Formal Techniques for Computer Systems and Business Processes European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedingsent://SD_ILS/0/SD_ILS:5102862024-06-07T00:39:20Z2024-06-07T00:39:20Zby Bravetti, Mario. editor.<br/><a href="http://dx.doi.org/10.1007/11549970">http://dx.doi.org/10.1007/11549970</a><br/>Format: Electronic Resources<br/>