Search Results for - Narrowed by: Management of Computing and Information Systems. - Programming Languages, Compilers, Interpreters. SirsiDynix Enterprise https://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509Management$002bof$002bComputing$002band$002bInformation$002bSystems.$002509Management$002bof$002bComputing$002band$002bInformation$002bSystems.$0026qf$003dSUBJECT$002509Subject$002509Programming$002bLanguages$00252C$002bCompilers$00252C$002bInterpreters.$002509Programming$002bLanguages$00252C$002bCompilers$00252C$002bInterpreters.$0026ps$003d300$0026isd$003dtrue? 2024-09-22T17:56:43Z Software Technologies 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:2084941 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Lorenz, Pascal. editor.<br/><a href="https://doi.org/10.1007/978-3-319-30142-6">https://doi.org/10.1007/978-3-319-30142-6</a><br/>Format:&#160;Electronic Resources<br/> Software Architecture 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings ent://SD_ILS/0/SD_ILS:2085260 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Tekinerdogan, Bedir. editor.<br/><a href="https://doi.org/10.1007/978-3-319-48992-6">https://doi.org/10.1007/978-3-319-48992-6</a><br/>Format:&#160;Electronic Resources<br/> System Analysis and Modeling. Technology-Specific Aspects of Models 9th International Conference, SAM 2016, Saint-Melo, France, October 3-4, 2016. Proceedings ent://SD_ILS/0/SD_ILS:2085087 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Grabowski, Jens. editor.<br/><a href="https://doi.org/10.1007/978-3-319-46613-2">https://doi.org/10.1007/978-3-319-46613-2</a><br/>Format:&#160;Electronic Resources<br/> Testing Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings ent://SD_ILS/0/SD_ILS:2085441 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Wotawa, Franz. editor.<br/><a href="https://doi.org/10.1007/978-3-319-47443-4">https://doi.org/10.1007/978-3-319-47443-4</a><br/>Format:&#160;Electronic Resources<br/> Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings ent://SD_ILS/0/SD_ILS:2085898 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Crnkovic, Ivica. editor.<br/><a href="https://doi.org/10.1007/978-3-319-45892-2">https://doi.org/10.1007/978-3-319-45892-2</a><br/>Format:&#160;Electronic Resources<br/> Transactions on Modularity and Composition I ent://SD_ILS/0/SD_ILS:2085831 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Chiba, Shigeru. editor.<br/><a href="https://doi.org/10.1007/978-3-319-46969-0">https://doi.org/10.1007/978-3-319-46969-0</a><br/>Format:&#160;Electronic Resources<br/> Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings ent://SD_ILS/0/SD_ILS:2086155 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Corn&eacute;lio, M&aacute;rcio. editor.<br/><a href="https://doi.org/10.1007/978-3-319-29473-5">https://doi.org/10.1007/978-3-319-29473-5</a><br/>Format:&#160;Electronic Resources<br/> Modelling Foundations and Applications 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings ent://SD_ILS/0/SD_ILS:2085820 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;WÄ…sowski, Andrzej. editor.<br/><a href="https://doi.org/10.1007/978-3-319-42061-5">https://doi.org/10.1007/978-3-319-42061-5</a><br/>Format:&#160;Electronic Resources<br/> Transactions on Foundations for Mastering Change I ent://SD_ILS/0/SD_ILS:2086117 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Steffen, Bernhard. editor.<br/><a href="https://doi.org/10.1007/978-3-319-46508-1">https://doi.org/10.1007/978-3-319-46508-1</a><br/>Format:&#160;Electronic Resources<br/> Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings ent://SD_ILS/0/SD_ILS:2085618 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Ribeiro, Leila. editor.<br/><a href="https://doi.org/10.1007/978-3-319-49815-7">https://doi.org/10.1007/978-3-319-49815-7</a><br/>Format:&#160;Electronic Resources<br/> Formal Aspects of Component Software 12th International Conference, FACS 2015, Niter&oacute;i, Brazil, October 14-16, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:2085786 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Braga, Christiano. editor.<br/><a href="https://doi.org/10.1007/978-3-319-28934-2">https://doi.org/10.1007/978-3-319-28934-2</a><br/>Format:&#160;Electronic Resources<br/> Reliable Software Technologies &ndash; Ada-Europe 2008 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings ent://SD_ILS/0/SD_ILS:502662 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Kordon, Fabrice. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-68624-8">http://dx.doi.org/10.1007/978-3-540-68624-8</a><br/>Format:&#160;Electronic Resources<br/> Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers ent://SD_ILS/0/SD_ILS:503449 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Hierons, Robert M. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78917-8">http://dx.doi.org/10.1007/978-3-540-78917-8</a><br/>Format:&#160;Electronic Resources<br/> Models in Software Engineering Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised Selected Papers ent://SD_ILS/0/SD_ILS:502706 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Giese, Holger. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69073-3">http://dx.doi.org/10.1007/978-3-540-69073-3</a><br/>Format:&#160;Electronic Resources<br/> Model Driven Engineering Languages and Systems 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings ent://SD_ILS/0/SD_ILS:503724 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Czarnecki, Krzysztof. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-87875-9">http://dx.doi.org/10.1007/978-3-540-87875-9</a><br/>Format:&#160;Electronic Resources<br/> ECOOP 2008 &ndash; Object-Oriented Programming 22nd European Conference Paphos, Cyprus, July 7-11, 2008 Proceedings ent://SD_ILS/0/SD_ILS:502820 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Vitek, Jan. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-70592-5">http://dx.doi.org/10.1007/978-3-540-70592-5</a><br/>Format:&#160;Electronic Resources<br/> FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings ent://SD_ILS/0/SD_ILS:502633 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Cuellar, Jorge. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-68237-0">http://dx.doi.org/10.1007/978-3-540-68237-0</a><br/>Format:&#160;Electronic Resources<br/> Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings ent://SD_ILS/0/SD_ILS:502652 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Suzuki, Kenji. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-68524-1">http://dx.doi.org/10.1007/978-3-540-68524-1</a><br/>Format:&#160;Electronic Resources<br/> Object-Oriented Technology. ECOOP 2007 Workshop Reader ECOOP 2007 Workshops, Berlin, Germany, July 30-31, 2007, Final Reports ent://SD_ILS/0/SD_ILS:503335 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Cebulla, Michael. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78195-0">http://dx.doi.org/10.1007/978-3-540-78195-0</a><br/>Format:&#160;Electronic Resources<br/> Early Aspects: Current Challenges and Future Directions 10th International Workshop, Vancouver, Canada, March 13, 2007, Revised Selected Papers ent://SD_ILS/0/SD_ILS:512977 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Moreira, Ana. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-76811-1">http://dx.doi.org/10.1007/978-3-540-76811-1</a><br/>Format:&#160;Electronic Resources<br/> ECOOP 2007 &ndash; Object-Oriented Programming 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512699 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Ernst, Erik. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73589-2">http://dx.doi.org/10.1007/978-3-540-73589-2</a><br/>Format:&#160;Electronic Resources<br/> Transactions on Aspect-Oriented Software Development IV ent://SD_ILS/0/SD_ILS:513002 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Rashid, Awais. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-77042-8">http://dx.doi.org/10.1007/978-3-540-77042-8</a><br/>Format:&#160;Electronic Resources<br/> Testing of Software and Communicating Systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512589 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Petrenko, Alexandre. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73066-8">http://dx.doi.org/10.1007/978-3-540-73066-8</a><br/>Format:&#160;Electronic Resources<br/> Agile Processes in Software Engineering and Extreme Programming 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512597 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;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:&#160;Electronic Resources<br/> Foundations of Security Analysis and Design IV FOSAD 2006/2007 Tutorial Lectures ent://SD_ILS/0/SD_ILS:512837 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Aldini, Alessandro. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-74810-6">http://dx.doi.org/10.1007/978-3-540-74810-6</a><br/>Format:&#160;Electronic Resources<br/> Runtime Verification 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers ent://SD_ILS/0/SD_ILS:513036 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Sokolsky, Oleg. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-77395-5">http://dx.doi.org/10.1007/978-3-540-77395-5</a><br/>Format:&#160;Electronic Resources<br/> Transactions on Aspect-Oriented Software Development III ent://SD_ILS/0/SD_ILS:512878 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Rashid, Awais. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75162-5">http://dx.doi.org/10.1007/978-3-540-75162-5</a><br/>Format:&#160;Electronic Resources<br/> Object-Oriented Technology. ECOOP 2006 Workshop Reader ECOOP 2006 Workshops, Nantes, France, July 3-7, 2006, Final Reports ent://SD_ILS/0/SD_ILS:512391 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;S&uuml;dholt, Mario. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71774-4">http://dx.doi.org/10.1007/978-3-540-71774-4</a><br/>Format:&#160;Electronic Resources<br/> Reliable Software Technologies &ndash; Ada Europe 2007 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, June 25-29, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512621 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Abdennadher, Nabil. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-73230-3">http://dx.doi.org/10.1007/978-3-540-73230-3</a><br/>Format:&#160;Electronic Resources<br/> Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007. Proceedings ent://SD_ILS/0/SD_ILS:512884 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Engels, Gregor. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-75209-7">http://dx.doi.org/10.1007/978-3-540-75209-7</a><br/>Format:&#160;Electronic Resources<br/> Models in Software Engineering Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers ent://SD_ILS/0/SD_ILS:512164 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;K&uuml;hne, Thomas. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-69489-2">http://dx.doi.org/10.1007/978-3-540-69489-2</a><br/>Format:&#160;Electronic Resources<br/> FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings ent://SD_ILS/0/SD_ILS:511467 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Misra, Jayadev. editor.<br/><a href="http://dx.doi.org/10.1007/11813040">http://dx.doi.org/10.1007/11813040</a><br/>Format:&#160;Electronic Resources<br/> Refinement Techniques in Software Engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures ent://SD_ILS/0/SD_ILS:511772 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Cavalcanti, Ana. editor.<br/><a href="http://dx.doi.org/10.1007/11889229">http://dx.doi.org/10.1007/11889229</a><br/>Format:&#160;Electronic Resources<br/> Formal Approaches to Software Testing 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers ent://SD_ILS/0/SD_ILS:511131 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Grieskamp, Wolfgang. editor.<br/><a href="http://dx.doi.org/10.1007/11759744">http://dx.doi.org/10.1007/11759744</a><br/>Format:&#160;Electronic Resources<br/> Extreme Programming and Agile Processes in Software Engineering 7th International Conference, XP 2006, Oulu, Finland, June 17-22, 2006. Proceedings ent://SD_ILS/0/SD_ILS:511238 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Abrahamsson, Pekka. editor.<br/><a href="http://dx.doi.org/10.1007/11774129">http://dx.doi.org/10.1007/11774129</a><br/>Format:&#160;Electronic Resources<br/> Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers ent://SD_ILS/0/SD_ILS:511990 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Havelund, Klaus. editor.<br/><a href="http://dx.doi.org/10.1007/11940197">http://dx.doi.org/10.1007/11940197</a><br/>Format:&#160;Electronic Resources<br/> Model Driven Engineering Languages and Systems 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings ent://SD_ILS/0/SD_ILS:511736 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Nierstrasz, Oscar. editor.<br/><a href="http://dx.doi.org/10.1007/11880240">http://dx.doi.org/10.1007/11880240</a><br/>Format:&#160;Electronic Resources<br/> Reliable Software Technologies &ndash; Ada-Europe 2006 11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006. Proceedings ent://SD_ILS/0/SD_ILS:511190 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Pinho, Lu&iacute;s Miguel. editor.<br/><a href="http://dx.doi.org/10.1007/11767077">http://dx.doi.org/10.1007/11767077</a><br/>Format:&#160;Electronic Resources<br/> ECOOP 2006 &ndash; Object-Oriented Programming 20th European Conference, Nantes, France, July 3-7, 2006. Proceedings ent://SD_ILS/0/SD_ILS:511313 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Thomas, Dave. editor.<br/><a href="http://dx.doi.org/10.1007/11785477">http://dx.doi.org/10.1007/11785477</a><br/>Format:&#160;Electronic Resources<br/> Transactions on Aspect-Oriented Software Development I ent://SD_ILS/0/SD_ILS:510806 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Rashid, Awais. editor.<br/><a href="http://dx.doi.org/10.1007/11687061">http://dx.doi.org/10.1007/11687061</a><br/>Format:&#160;Electronic Resources<br/> Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshops Doctoral Symposium, Educators Symposium Montego Bay, Jamaica, October 2-7, 2005 Revised Selected Papers ent://SD_ILS/0/SD_ILS:510180 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Bruel, Jean-Michel. editor.<br/><a href="http://dx.doi.org/10.1007/11663430">http://dx.doi.org/10.1007/11663430</a><br/>Format:&#160;Electronic Resources<br/> Generative and Transformational Techniques in Software Engineering International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers ent://SD_ILS/0/SD_ILS:511763 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;L&auml;mmel, Ralf. editor.<br/><a href="http://dx.doi.org/10.1007/11877028">http://dx.doi.org/10.1007/11877028</a><br/>Format:&#160;Electronic Resources<br/> Transactions on Aspect-Oriented Software Development II ent://SD_ILS/0/SD_ILS:511926 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Rashid, Awais. editor.<br/><a href="http://dx.doi.org/10.1007/11922827">http://dx.doi.org/10.1007/11922827</a><br/>Format:&#160;Electronic Resources<br/> ECOOP 2005 - Object-Oriented Programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510154 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Black, Andrew P. editor.<br/><a href="http://dx.doi.org/10.1007/11531142">http://dx.doi.org/10.1007/11531142</a><br/>Format:&#160;Electronic Resources<br/> Extreme Programming and Agile Processes in Software Engineering 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005. Proceedings ent://SD_ILS/0/SD_ILS:509969 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Baumeister, Hubert. editor.<br/><a href="http://dx.doi.org/10.1007/b137278">http://dx.doi.org/10.1007/b137278</a><br/>Format:&#160;Electronic Resources<br/> Foundations of Security Analysis and Design III FOSAD 2004/2005 Tutorial Lectures ent://SD_ILS/0/SD_ILS:510308 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Aldini, Alessandro. editor.<br/><a href="http://dx.doi.org/10.1007/11554578">http://dx.doi.org/10.1007/11554578</a><br/>Format:&#160;Electronic Resources<br/> Embedded Systems Design The ARTIST Roadmap for Research and Development ent://SD_ILS/0/SD_ILS:510343 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Bouyssounouse, Bruno. author.<br/><a href="http://dx.doi.org/10.1007/b106761">http://dx.doi.org/10.1007/b106761</a><br/>Format:&#160;Electronic Resources<br/> Generative Programming and Component Engineering 4th International Conference, GPCE 2005, Tallinn, Estonia, September 29 - October 1, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510347 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Gl&uuml;ck, Robert. editor.<br/><a href="http://dx.doi.org/10.1007/11561347">http://dx.doi.org/10.1007/11561347</a><br/>Format:&#160;Electronic Resources<br/> UML Modeling Languages and Applications &lt;&thinsp;&lt;UML&gt;&thinsp;&gt; 2004 Satellite Activities, Lisbon, Portugal, October 11-15, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:510187 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Jardim Nunes, Nuno. editor.<br/><a href="http://dx.doi.org/10.1007/b106725">http://dx.doi.org/10.1007/b106725</a><br/>Format:&#160;Electronic Resources<br/> Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers ent://SD_ILS/0/SD_ILS:510231 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Grabowski, Jens. editor.<br/><a href="http://dx.doi.org/10.1007/b106767">http://dx.doi.org/10.1007/b106767</a><br/>Format:&#160;Electronic Resources<br/> FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510147 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Fitzgerald, John. editor.<br/><a href="http://dx.doi.org/10.1007/b27882">http://dx.doi.org/10.1007/b27882</a><br/>Format:&#160;Electronic Resources<br/> Model Driven Engineering Languages and Systems 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510420 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Briand, Lionel. editor.<br/><a href="http://dx.doi.org/10.1007/11557432">http://dx.doi.org/10.1007/11557432</a><br/>Format:&#160;Electronic Resources<br/> Reliable Software Technology &ndash; Ada-Europe 2005 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510119 2024-09-22T17:56:43Z 2024-09-22T17:56:43Z by&#160;Vardanega, Tullio. editor.<br/><a href="http://dx.doi.org/10.1007/b137344">http://dx.doi.org/10.1007/b137344</a><br/>Format:&#160;Electronic Resources<br/>