Search Results for Electronic. - Narrowed by: Compilers (Computer programs). SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dElectronic.$0026qf$003dSUBJECT$002509Subject$002509Compilers$002b$002528Computer$002bprograms$002529.$002509Compilers$002b$002528Computer$002bprograms$002529.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?dt=list 2026-03-15T09:28:45Z Programming Languages and Systems 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II ent://SD_ILS/0/SD_ILS:608327 2026-03-15T09:28:45Z 2026-03-15T09:28:45Z Author&#160;Vafeiadis, Viktor. editor. (orcid)0000-0001-8436-0334&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-91121-7">https://doi.org/10.1007/978-3-031-91121-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 34th European Symposium on Programming, ESOP 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I ent://SD_ILS/0/SD_ILS:608300 2026-03-15T09:28:45Z 2026-03-15T09:28:45Z Author&#160;Vafeiadis, Viktor. editor. (orcid)0000-0001-8436-0334&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-91118-7">https://doi.org/10.1007/978-3-031-91118-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Compiler Construction Fundamentals and Applications ent://SD_ILS/0/SD_ILS:608277 2026-03-15T09:28:45Z 2026-03-15T09:28:45Z Author&#160;M&ouml;ssenb&ouml;ck, Hanspeter. author. (orcid)0000-0001-7706-7308&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-84813-1">https://doi.org/10.1007/978-3-031-84813-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:603162 2026-03-15T09:28:45Z 2026-03-15T09:28:45Z Author&#160;Weirich, Stephanie. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-57267-8">https://doi.org/10.1007/978-3-031-57267-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 33rd European Symposium on Programming, ESOP 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:603153 2026-03-15T09:28:45Z 2026-03-15T09:28:45Z Author&#160;Weirich, Stephanie. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-57262-3">https://doi.org/10.1007/978-3-031-57262-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings ent://SD_ILS/0/SD_ILS:611608 2026-03-15T09:28:45Z 2026-03-15T09:28:45Z Author&#160;Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331&#160;Troubitsyna, Elena A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-65948-0">https://doi.org/10.1007/978-3-319-65948-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Data Mining. Applications and Theoretical Aspects 17th Industrial Conference, ICDM 2017, New York, NY, USA, July 12-13, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616222 2026-03-15T09:28:45Z 2026-03-15T09:28:45Z Author&#160;Perner, Petra. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-62701-4">https://doi.org/10.1007/978-3-319-62701-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616126 2026-03-15T09:28:45Z 2026-03-15T09:28:45Z Author&#160;Lahiri, Shuvendu. editor.&#160;Reger, Giles. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-67531-2">https://doi.org/10.1007/978-3-319-67531-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Graph Transformation 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616013 2026-03-15T09:28:45Z 2026-03-15T09:28:45Z Author&#160;de Lara, Juan. editor.&#160;Plump, Detlef. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-61470-0">https://doi.org/10.1007/978-3-319-61470-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Economics of Grids, Clouds, Systems, and Services 14th International Conference, GECON 2017, Biarritz, France, September 19-21, 2017, Proceedings ent://SD_ILS/0/SD_ILS:618355 2026-03-15T09:28:45Z 2026-03-15T09:28:45Z Author&#160;Pham, Congduc. editor.&#160;Altmann, J&ouml;rn. editor.&#160;Ba&ntilde;ares, Jos&eacute; &Aacute;ngel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-68066-8">https://doi.org/10.1007/978-3-319-68066-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service-Oriented Computing - ICSOC 2016 Workshops ASOCA, ISyCC, BSCI, and Satellite Events, Banff, AB, Canada, October 10-13, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613142 2026-03-15T09:28:45Z 2026-03-15T09:28:45Z Author&#160;Drira, Khalil. editor. (orcid)0000-0002-4770-1563&#160;Wang, Hongbing. editor.&#160;Yu, Qi. editor.&#160;Wang, Yan. editor.&#160;Yan, Yuhong. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-68136-8">https://doi.org/10.1007/978-3-319-68136-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Separation Logic for High-level Synthesis ent://SD_ILS/0/SD_ILS:614385 2026-03-15T09:28:45Z 2026-03-15T09:28:45Z Author&#160;Winterstein, Felix. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-53222-6">https://doi.org/10.1007/978-3-319-53222-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures ent://SD_ILS/0/SD_ILS:617841 2026-03-15T09:28:45Z 2026-03-15T09:28:45Z Author&#160;Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140&#160;Liu, Zhiming. editor. (orcid)0000-0001-9771-3071&#160;Zhang, Zili. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-56841-6">https://doi.org/10.1007/978-3-319-56841-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> SDL 2017: Model-Driven Engineering for Future Internet 18th International SDL Forum, Budapest, Hungary, October 9-11, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613738 2026-03-15T09:28:45Z 2026-03-15T09:28:45Z Author&#160;Cs&ouml;ndes, Tibor. editor.&#160;Kov&aacute;cs, G&aacute;bor. editor.&#160;R&eacute;thy, Gy&ouml;rgy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-68015-6">https://doi.org/10.1007/978-3-319-68015-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Interactive Theorem Proving 8th International Conference, ITP 2017, Bras&iacute;lia, Brazil, September 26-29, 2017, Proceedings ent://SD_ILS/0/SD_ILS:611599 2026-03-15T09:28:45Z 2026-03-15T09:28:45Z Author&#160;Ayala-Rinc&oacute;n, Mauricio. editor.&#160;Mu&ntilde;oz, C&eacute;sar A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-66107-0">https://doi.org/10.1007/978-3-319-66107-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616270 2026-03-15T09:28:45Z 2026-03-15T09:28:45Z Author&#160;Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990&#160;Sirjani, Marjan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-66197-1">https://doi.org/10.1007/978-3-319-66197-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mastering Scale and Complexity in Software Reuse 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616111 2026-03-15T09:28:45Z 2026-03-15T09:28:45Z Author&#160;Botterweck, Goetz. editor.&#160;Werner, Claudia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-56856-0">https://doi.org/10.1007/978-3-319-56856-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modelling Foundations and Applications 13th European Conference, ECMFA 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616117 2026-03-15T09:28:45Z 2026-03-15T09:28:45Z Author&#160;Anjorin, Anthony. editor.&#160;Espinoza, Hu&aacute;scar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-61482-3">https://doi.org/10.1007/978-3-319-61482-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Theory and Practice of Model Transformation 10th International Conference, ICMT 2017, Held as Part of STAF 2017, Marburg, Germany, July 17-18, 2017, Proceedings ent://SD_ILS/0/SD_ILS:616106 2026-03-15T09:28:45Z 2026-03-15T09:28:45Z Author&#160;Guerra, Esther. editor.&#160;van den Brand, Mark. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-61473-1">https://doi.org/10.1007/978-3-319-61473-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Smart Card Research and Advanced Applications 15th International Conference, CARDIS 2016, Cannes, France, November 7-9, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:617136 2026-03-15T09:28:45Z 2026-03-15T09:28:45Z Author&#160;Lemke-Rust, Kerstin. editor.&#160;Tunstall, Michael. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-54669-8">https://doi.org/10.1007/978-3-319-54669-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings ent://SD_ILS/0/SD_ILS:611151 2026-03-15T09:28:45Z 2026-03-15T09:28:45Z Author&#160;Chang, Bor-Yuh Evan. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-71237-6">https://doi.org/10.1007/978-3-319-71237-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings ent://SD_ILS/0/SD_ILS:613532 2026-03-15T09:28:45Z 2026-03-15T09:28:45Z Author&#160;Yevtushenko, Nina. editor.&#160;Cavalli, Ana Rosa. editor.&#160;Yenig&uuml;n, H&uuml;sn&uuml;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-67549-7">https://doi.org/10.1007/978-3-319-67549-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Programming with Scala Language Exploration ent://SD_ILS/0/SD_ILS:613298 2026-03-15T09:28:45Z 2026-03-15T09:28:45Z Author&#160;Upadhyaya, Bhim P. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-69368-2">https://doi.org/10.1007/978-3-319-69368-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Graphics for Java Programmers ent://SD_ILS/0/SD_ILS:613230 2026-03-15T09:28:45Z 2026-03-15T09:28:45Z Author&#160;Ammeraal, Leen. author.&#160;Zhang, Kang. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-63357-2">https://doi.org/10.1007/978-3-319-63357-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Technologies 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:615906 2026-03-15T09:28:45Z 2026-03-15T09:28:45Z Author&#160;Cabello, Enrique. editor.&#160;Cardoso, Jorge. editor.&#160;Ludwig, Andr&eacute;. editor.&#160;Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545&#160;van Sinderen, Marten. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-62569-0">https://doi.org/10.1007/978-3-319-62569-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Data Mining. Applications and Theoretical Aspects 16th Industrial Conference, ICDM 2016, New York, NY, USA, July 13-17, 2016. Proceedings ent://SD_ILS/0/SD_ILS:611427 2026-03-15T09:28:45Z 2026-03-15T09:28:45Z Author&#160;Perner, Petra. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-41561-1">https://doi.org/10.1007/978-3-319-41561-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings ent://SD_ILS/0/SD_ILS:612727 2026-03-15T09:28:45Z 2026-03-15T09:28:45Z Author&#160;Crnkovic, Ivica. editor.&#160;Troubitsyna, Elena. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<br/> OpenMP: Memory, Devices, and Tasks 12th International Workshop on OpenMP, IWOMP 2016, Nara, Japan, October 5-7, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616098 2026-03-15T09:28:45Z 2026-03-15T09:28:45Z Author&#160;Maruyama, Naoya. editor.&#160;de Supinski, Bronis R. editor.&#160;Wahib, Mohamed. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-45550-1">https://doi.org/10.1007/978-3-319-45550-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Centered and Error-Resilient Systems Development IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings ent://SD_ILS/0/SD_ILS:618325 2026-03-15T09:28:45Z 2026-03-15T09:28:45Z Author&#160;Bogdan, Cristian. editor.&#160;Gulliksen, Jan. editor.&#160;Sauer, Stefan. editor. (orcid)0000-0003-3084-0409&#160;Forbrig, Peter. editor.&#160;Winckler, Marco. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-44902-9">https://doi.org/10.1007/978-3-319-44902-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<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:616634 2026-03-15T09:28:45Z 2026-03-15T09:28:45Z Author&#160;Corn&eacute;lio, M&aacute;rcio. editor.&#160;Roscoe, Bill. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:612298 2026-03-15T09:28:45Z 2026-03-15T09:28:45Z Author&#160;Braga, Christiano. editor.&#160;&Ouml;lveczky, Peter Csaba. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<br/> Formal Methods: Foundations and Applications 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611832 2026-03-15T09:28:45Z 2026-03-15T09:28:45Z Author&#160;Ribeiro, Leila. editor.&#160;Lecomte, Thierry. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:611433 2026-03-15T09:28:45Z 2026-03-15T09:28:45Z Author&#160;Grabowski, Jens. editor.&#160;Herbold, Steffen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:616986 2026-03-15T09:28:45Z 2026-03-15T09:28:45Z Author&#160;Wotawa, Franz. editor.&#160;Nica, Mihai. editor.&#160;Kushik, Natalia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<br/> Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616886 2026-03-15T09:28:45Z 2026-03-15T09:28:45Z Author&#160;Falcone, Yli&egrave;s. editor.&#160;S&aacute;nchez, C&eacute;sar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-46982-9">https://doi.org/10.1007/978-3-319-46982-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Technologies 10th International Joint Conference, ICSOFT 2015, Colmar, France, July 20-22, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:617931 2026-03-15T09:28:45Z 2026-03-15T09:28:45Z Author&#160;Lorenz, Pascal. editor.&#160;Cardoso, Jorge. editor.&#160;Maciaszek, Leszek A. editor.&#160;van Sinderen, Marten. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<br/> Transactions on Modularity and Composition I ent://SD_ILS/0/SD_ILS:617818 2026-03-15T09:28:45Z 2026-03-15T09:28:45Z Author&#160;Chiba, Shigeru. editor.&#160;S&uuml;dholt, Mario. editor.&#160;Eugster, Patrick. editor.&#160;Ziarek, Lukasz. editor.&#160;Leavens, Gary T. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<br/> Transactions on Foundations for Mastering Change I ent://SD_ILS/0/SD_ILS:617815 2026-03-15T09:28:45Z 2026-03-15T09:28:45Z Author&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<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:616745 2026-03-15T09:28:45Z 2026-03-15T09:28:45Z Author&#160;W&#261;sowski, Andrzej. editor.&#160;L&ouml;nn, Henrik. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<br/> Software Architecture 10th European Conference, ECSA 2016, Copenhagen, Denmark, November 28 -- December 2, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616700 2026-03-15T09:28:45Z 2026-03-15T09:28:45Z Author&#160;Tekinerdogan, Bedir. editor. (orcid)0000-0002-8538-7261&#160;Zdun, Uwe. editor. (orcid)0000-0002-6233-2591&#160;Babar, Ali. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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/>Availability&#160;Online Library~1<br/>