Search Results for Computer industry. - Narrowed by: Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dComputer$002bindustry.$0026qf$003dSUBJECT$002509Konu$002509Software$002bengineering.$002509Software$002bengineering.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?dt=list 2026-04-05T08:04:39Z Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career ent://SD_ILS/0/SD_ILS:605668 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Graf, Susanne. editor. (orcid)0000-0003-4354-6807&#160;Pettersson, Paul. editor. (orcid)0000-0003-4040-3480&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-73751-0">https://doi.org/10.1007/978-3-031-73751-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Business 15th International Conference, ICSOB 2024, Utrecht, The Netherlands, November 18-20, 2024, Proceedings ent://SD_ILS/0/SD_ILS:607738 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Papatheocharous, Efi. editor. (orcid)0000-0002-5157-8131&#160;Farshidi, Siamak. editor. (orcid)0000-0003-3270-4398&#160;Jansen, Slinger. editor. (orcid)0000-0003-3752-2868&#160;Hyrynsalmi, Sonja. editor. (orcid)0000-0002-1715-6250&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-85849-9">https://doi.org/10.1007/978-3-031-85849-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Computer Interaction 10th Iberoamerican Conference, HCI-COLLAB 2024, Pereira, Colombia, June 4-7, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:608665 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Agredo-Delgado, Vanessa. editor. (orcid)0000-0003-0870-6895&#160;Ruiz, Pablo H. editor. (orcid)0000-0003-2098-2614&#160;Meneses Escobar, Carlos Augusto. editor. (orcid)0000-0002-8192-6889&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-91328-0">https://doi.org/10.1007/978-3-031-91328-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday ent://SD_ILS/0/SD_ILS:609119 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Barik, Rajkishore. editor.&#160;Gupta, Rajiv. editor.&#160;Palsberg, Jens. editor. (orcid)0000-0003-4747-365X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-97492-2">https://doi.org/10.1007/978-3-031-97492-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 3 ent://SD_ILS/0/SD_ILS:609917 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Silhavy, Radek. editor.&#160;Silhavy, Petr. 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-96380-3">https://doi.org/10.1007/978-3-031-96380-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> New Perspectives in Software Engineering ent://SD_ILS/0/SD_ILS:602627 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Mej&iacute;a, Jezreel. editor. (orcid)0000-0003-0292-9318&#160;Mu&ntilde;oz, Mirna. editor.&#160;Rocha, Alvaro. editor. (orcid)0000-0002-0750-8187&#160;Hern&aacute;ndez P&eacute;rez, Yasmin. editor. (orcid)0000-0002-8842-0899&#160;Avila-George, Himer. editor. (orcid)0000-0001-8578-0170<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-50590-4">https://doi.org/10.1007/978-3-031-50590-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Human-Computer Interaction 9th Iberoamerican Workshop, HCI-COLLAB 2023, Buenos Aires, Argentina, September 13-15, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:603302 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Ruiz, Pablo H. editor. (orcid)0000-0003-2098-2614&#160;Agredo-Delgado, Vanessa. editor. (orcid)0000-0003-0870-6895&#160;Mon, Alicia. editor. (orcid)0000-0001-6365-9943&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-57982-0">https://doi.org/10.1007/978-3-031-57982-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computing 17th Colombian Conference on Computing, CCC 2023, Medellin, Colombia, August 10-11, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:601957 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Tabares, Marta. editor.&#160;Vallejo, Paola. editor.&#160;Suarez, Biviana. editor.&#160;Suarez, Marco. editor.&#160;Ruiz, Oscar. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-47372-2">https://doi.org/10.1007/978-3-031-47372-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Business 14th International Conference, ICSOB 2023, Lahti, Finland, November 27-29, 2023, Proceedings ent://SD_ILS/0/SD_ILS:602545 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Hyrynsalmi, Sami. editor.&#160;M&uuml;nch, J&uuml;rgen. editor. (orcid)0000-0003-0327-8094&#160;Smolander, Kari. editor.&#160;Melegati, Jorge. 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-53227-6">https://doi.org/10.1007/978-3-031-53227-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computing 18th Colombian Conference on Computing, CCC 2024, Manizales, Colombia, September 4-6, 2024, Revised Selected Papers, Part I ent://SD_ILS/0/SD_ILS:606624 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Duque-M&eacute;ndez, N&eacute;stor Dar&iacute;o. editor. (orcid)0000-0002-4608-281X&#160;Aristiz&aacute;bal-Quintero, Luz &Aacute;ngela. editor. (orcid)0000-0003-4510-9029&#160;Orozco-Alzate, Mauricio. editor. (orcid)0000-0002-5937-6382&#160;Aguilar, Jose. editor. (orcid)0000-0003-4194-6882&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-75233-9">https://doi.org/10.1007/978-3-031-75233-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Design for Resilient Computer Systems ent://SD_ILS/0/SD_ILS:604307 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Schagaev, Igor. author.&#160;Gutknecht, J&uuml;rg. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-55139-0">https://doi.org/10.1007/978-3-031-55139-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Intelligent Computing Technology and Applications 20th International Conference, ICIC 2024, Tianjin, China, August 5-8, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:604571 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Huang, De-Shuang. editor.&#160;Zhang, Xiankun. editor.&#160;Zhang, Qinhu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-5663-6">https://doi.org/10.1007/978-981-97-5663-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Intelligent Computing Technology and Applications 20th International Conference, ICIC 2024, Tianjin, China, August 5-8, 2024, Proceedings, Part V ent://SD_ILS/0/SD_ILS:604572 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Huang, De-Shuang. editor.&#160;Zhang, Xiankun. editor.&#160;Zhang, Chuanlei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-5675-9">https://doi.org/10.1007/978-981-97-5675-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Intelligent Computing Technology and Applications 20th International Conference, ICIC 2024, Tianjin, China, August 5-8, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:604602 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Huang, De-Shuang. editor.&#160;Zhang, Chuanlei. editor.&#160;Pan, Yijie. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-5666-7">https://doi.org/10.1007/978-981-97-5666-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Intelligent Computing Technology and Applications 20th International Conference, ICIC 2024, Tianjin, China, August 5-8, 2024, Proceedings, Part III ent://SD_ILS/0/SD_ILS:604611 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Huang, De-Shuang. editor.&#160;Si, Zhanjun. editor.&#160;Zhang, Qinhu. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-5669-8">https://doi.org/10.1007/978-981-97-5669-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Computing 18th Colombian Conference on Computing, CCC 2024, Manizales, Colombia, September 4-6, 2024, Revised Selected Papers, Part II ent://SD_ILS/0/SD_ILS:606616 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Duque-M&eacute;ndez, N&eacute;stor Dar&iacute;o. editor. (orcid)0000-0002-4608-281X&#160;Aristiz&aacute;bal-Quintero, Luz &Aacute;ngela. editor. (orcid)0000-0003-4510-9029&#160;Orozco-Alzate, Mauricio. editor. (orcid)0000-0002-5937-6382&#160;Aguilar, Jose. editor. (orcid)0000-0003-4194-6882&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-75236-0">https://doi.org/10.1007/978-3-031-75236-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Intelligent Computing Technology and Applications 20th International Conference, ICIC 2024, Tianjin, China, August 5-8, 2024, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:604603 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Huang, De-Shuang. editor.&#160;Si, Zhanjun. editor.&#160;Zhang, Chuanlei. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-5672-8">https://doi.org/10.1007/978-981-97-5672-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Intelligent Computing Technology and Applications 20th International Conference, ICIC 2024, Tianjin, China, August 5-8, 2024, Proceedings, Part VI ent://SD_ILS/0/SD_ILS:604604 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Huang, De-Shuang. editor.&#160;Si, Zhanjun. editor.&#160;Chen, Wei. editor. (orcid)0000-0002-7663-278X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-97-5678-0">https://doi.org/10.1007/978-981-97-5678-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Business 10th International Conference, ICSOB 2019, Jyv&auml;skyl&auml;, Finland, November 18&ndash;20, 2019, Proceedings ent://SD_ILS/0/SD_ILS:485079 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Hyrynsalmi, Sami. editor. (orcid)0000-0002-5073-3750&#160;Suoranta, Mari. editor. (orcid)0000-0002-3849-4902&#160;Nguyen-Duc, Anh. editor. (orcid)0000-0002-7063-9200&#160;Tyrv&auml;inen, Pasi. editor. (orcid)0000-0001-7716-3244&#160;Abrahamsson, Pekka. editor. (orcid)0000-0002-4360-2226<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-33742-1">https://doi.org/10.1007/978-3-030-33742-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fault Prediction Modeling for the Prediction of Number of Software Faults ent://SD_ILS/0/SD_ILS:485780 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Rathore, Santosh Singh. author.&#160;Kumar, Sandeep. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-7131-8">https://doi.org/10.1007/978-981-13-7131-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Reliability Aspect of Cloud Computing Environment ent://SD_ILS/0/SD_ILS:399144 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Kumar, Vikas. author.&#160;Vidhyalakshmi, R. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-13-3023-0">https://doi.org/10.1007/978-981-13-3023-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods 16th International Conference, SEFM 2018, Held as Part of STAF 2018, Toulouse, France, June 27&ndash;29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399218 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Johnsen, Einar Broch. editor.&#160;Schaefer, Ina. 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-92970-5">https://doi.org/10.1007/978-3-319-92970-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods and Software Engineering 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399356 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Sun, Jing. editor.&#160;Sun, Meng. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02450-5">https://doi.org/10.1007/978-3-030-02450-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Modeling 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:399365 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Margaria, Tiziana. editor.&#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-030-03418-4">https://doi.org/10.1007/978-3-030-03418-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:399366 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Margaria, Tiziana. editor.&#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-030-03427-6">https://doi.org/10.1007/978-3-030-03427-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:399397 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Margaria, Tiziana. editor.&#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-030-03424-5">https://doi.org/10.1007/978-3-030-03424-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Verification 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:399410 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Margaria, Tiziana. editor.&#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-030-03421-4">https://doi.org/10.1007/978-3-030-03421-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verified Software. Theories, Tools, and Experiments 10th International Conference, VSTTE 2018, Oxford, UK, July 18&ndash;19, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:399597 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Piskac, Ruzica. editor.&#160;R&uuml;mmer, Philipp. editor. (orcid)0000-0002-2733-7098&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03592-1">https://doi.org/10.1007/978-3-030-03592-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Architecture 12th European Conference on Software Architecture, ECSA 2018, Madrid, Spain, September 24&ndash;28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399751 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Cuesta, Carlos E. editor. (orcid)0000-0003-0286-4219&#160;Garlan, David. editor. (orcid)0000-0002-6735-8301&#160;P&eacute;rez, Jennifer. editor. (orcid)0000-0003-3192-7995&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00761-4">https://doi.org/10.1007/978-3-030-00761-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> A Study Guide to the ISTQB&reg; Foundation Level 2018 Syllabus Test Techniques and Sample Mock Exams ent://SD_ILS/0/SD_ILS:399773 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Roman, Adam. 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-98740-8">https://doi.org/10.1007/978-3-319-98740-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Industrial Critical Systems 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400230 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Howar, Falk. editor.&#160;Barnat, Ji&#345;&iacute;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00244-2">https://doi.org/10.1007/978-3-030-00244-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17&ndash;22, 2017, Tutorial Lectures ent://SD_ILS/0/SD_ILS:400263 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z 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-030-02928-9">https://doi.org/10.1007/978-3-030-02928-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Privacy Technologies and Policy 6th Annual Privacy Forum, APF 2018, Barcelona, Spain, June 13-14, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400265 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Medina, Manel. editor.&#160;Mitrakas, Andreas. editor.&#160;Rannenberg, Kai. editor.&#160;Schweighofer, Erich. editor.&#160;Tsouroulas, Nikolaos. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-02547-2">https://doi.org/10.1007/978-3-030-02547-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Production Management Systems. Smart Manufacturing for Industry 4.0 IFIP WG 5.7 International Conference, APMS 2018, Seoul, Korea, August 26-30, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:399018 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Moon, Ilkyeong. editor. (orcid)0000-0002-7072-1351&#160;Lee, Gyu M. editor. (orcid)0000-0001-5466-6244&#160;Park, Jinwoo. editor.&#160;Kiritsis, Dimitris. editor. (orcid)0000-0003-3660-9187&#160;von Cieminski, Gregor. editor. (orcid)0000-0001-9869-5055<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99707-0">https://doi.org/10.1007/978-3-319-99707-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Systems, Software and Services Process Improvement 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399494 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Larrucea, Xabier. editor.&#160;Santamaria, Izaskun. editor.&#160;O'Connor, Rory V. editor.&#160;Messnarz, Richard. 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-97925-0">https://doi.org/10.1007/978-3-319-97925-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Production Management Systems. Production Management for Data-Driven, Intelligent, Collaborative, and Sustainable Manufacturing IFIP WG 5.7 International Conference, APMS 2018, Seoul, Korea, August 26-30, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:399505 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Moon, Ilkyeong. editor. (orcid)0000-0002-7072-1351&#160;Lee, Gyu M. editor. (orcid)0000-0001-5466-6244&#160;Park, Jinwoo. editor.&#160;Kiritsis, Dimitris. editor. (orcid)0000-0003-3660-9187&#160;von Cieminski, Gregor. editor. (orcid)0000-0001-9869-5055<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99704-9">https://doi.org/10.1007/978-3-319-99704-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Business 9th International Conference, ICSOB 2018, Tallinn, Estonia, June 11&ndash;12, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399925 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Wnuk, Krzysztof. editor.&#160;Brinkkemper, Sjaak. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-04840-2">https://doi.org/10.1007/978-3-030-04840-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26&ndash;28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400075 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481&#160;Bensalem, Saddek. editor.&#160;Bliudze, Simon. editor. (orcid)0000-0002-7900-5271&#160;Monsuez, Bruno. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00359-3">https://doi.org/10.1007/978-3-030-00359-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400039 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95162-1">https://doi.org/10.1007/978-3-319-95162-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400040 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95165-2">https://doi.org/10.1007/978-3-319-95165-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400129 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Russo, Alessandra. editor. (orcid)0000-0002-3318-8711&#160;Sch&uuml;rr, Andy. editor. (orcid)0000-0001-8100-1109&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-89363-1">https://doi.org/10.1007/978-3-319-89363-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29&ndash;31, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400131 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Podelski, Andreas. 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-99725-4">https://doi.org/10.1007/978-3-319-99725-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14&ndash;20, 2018. Proceedings ent://SD_ILS/0/SD_ILS:400607 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Baier, Christel. editor. (orcid)0000-0002-5321-9343&#160;Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-89366-2">https://doi.org/10.1007/978-3-319-89366-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Modelling Foundations and Applications 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Toulouse, France, June 26-28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401565 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Pierantonio, Alfonso. editor. (orcid)0000-0002-5231-3952&#160;Trujillo, Salvador. editor. (orcid)0000-0002-3147-4618&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92997-2">https://doi.org/10.1007/978-3-319-92997-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Perspectives of System Informatics 11th International Andrei P. Ershov Informatics Conference, PSI 2017, Moscow, Russia, June 27-29, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:401949 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Petrenko, Alexander K. editor. (orcid)0000-0001-7411-3831&#160;Voronkov, Andrei. 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-74313-4">https://doi.org/10.1007/978-3-319-74313-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9&ndash;10, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400465 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Stamelos, Ioannis. editor.&#160;O'Connor, Rory V. editor.&#160;Rout, Terry. editor.&#160;Dorling, Alec. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00623-5">https://doi.org/10.1007/978-3-030-00623-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Product-Focused Software Process Improvement 19th International Conference, PROFES 2018, Wolfsburg, Germany, November 28&ndash;30, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400547 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Kuhrmann, Marco. editor. (orcid)0000-0001-6101-8931&#160;Schneider, Kurt. editor.&#160;Pfahl, Dietmar. editor. (orcid)0000-0003-2400-501X&#160;Amasaki, Sousuke. editor.&#160;Ciolkowski, Marcus. editor. (orcid)0000-0001-8494-4794<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03673-7">https://doi.org/10.1007/978-3-030-03673-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Runtime Verification 18th International Conference, RV 2018, Limassol, Cyprus, November 10&ndash;13, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400554 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Colombo, Christian. editor.&#160;Leucker, Martin. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-03769-7">https://doi.org/10.1007/978-3-030-03769-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Lectures on Runtime Verification Introductory and Advanced Topics ent://SD_ILS/0/SD_ILS:400774 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601&#160;Falcone, Yli&egrave;s. 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-75632-5">https://doi.org/10.1007/978-3-319-75632-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2&ndash;5, 2018, Proceedings, Part IV ent://SD_ILS/0/SD_ILS:400571 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95171-3">https://doi.org/10.1007/978-3-319-95171-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Functional and Logic Programming 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9&ndash;11, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401110 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Gallagher, John P. editor. (orcid)0000-0001-6984-7419&#160;Sulzmann, Martin. 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-90686-7">https://doi.org/10.1007/978-3-319-90686-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tests and Proofs 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings ent://SD_ILS/0/SD_ILS:401698 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Dubois, Catherine. editor.&#160;Wolff, Burkhart. 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-92994-1">https://doi.org/10.1007/978-3-319-92994-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2&ndash;5, 2018, Proceedings, Part III ent://SD_ILS/0/SD_ILS:402376 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95168-3">https://doi.org/10.1007/978-3-319-95168-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computational Science and Its Applications &ndash; ICCSA 2018 18th International Conference, Melbourne, VIC, Australia, July 2-5, 2018, Proceedings, Part V ent://SD_ILS/0/SD_ILS:402377 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X&#160;Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959&#160;Misra, Sanjay. editor. (orcid)0000-0002-3556-9331&#160;Stankova, Elena. editor. (orcid)0000-0003-2625-452X&#160;Torre, Carmelo M. editor. (orcid)0000-0003-4737-6040<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-95174-4">https://doi.org/10.1007/978-3-319-95174-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing IFIP WG 5.7 International Conference, APMS 2017, Hamburg, Germany, September 3-7, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:612092 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;L&ouml;dding, Hermann. editor.&#160;Riedel, Ralph. editor.&#160;Thoben, Klaus-Dieter. editor.&#160;von Cieminski, Gregor. editor.&#160;Kiritsis, Dimitris. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-66923-6">https://doi.org/10.1007/978-3-319-66923-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enterprise Architecture at Work Modelling, Communication and Analysis ent://SD_ILS/0/SD_ILS:614629 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Lankhorst, Marc. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-53933-0">https://doi.org/10.1007/978-3-662-53933-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cloud Service Benchmarking Measuring Quality of Cloud Services from a Client Perspective ent://SD_ILS/0/SD_ILS:614363 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Bermbach, David. author.&#160;Wittern, Erik. author.&#160;Tai, Stefan. 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-55483-9">https://doi.org/10.1007/978-3-319-55483-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Source Code Modularization Theory and Techniques ent://SD_ILS/0/SD_ILS:613135 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Isazadeh, Ayaz. author.&#160;Izadkhah, Habib. author. (orcid)0000-0001-7595-8350&#160;Elgedawy, Islam. author. (orcid)0000-0002-9884-1590&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-63346-6">https://doi.org/10.1007/978-3-319-63346-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> ICT Education 46th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2017, Magaliesburg, South Africa, July 3-5, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613148 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Liebenberg, Janet. editor.&#160;Gruner, Stefan. 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-69670-6">https://doi.org/10.1007/978-3-319-69670-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Green IT Engineering: Concepts, Models, Complex Systems Architectures ent://SD_ILS/0/SD_ILS:611372 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Kharchenko, Vyacheslav. editor.&#160;Kondratenko, Yuriy. editor.&#160;Kacprzyk, Janusz. 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-44162-7">https://doi.org/10.1007/978-3-319-44162-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications ent://SD_ILS/0/SD_ILS:617536 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;O'Regan, Gerard. 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-64021-1">https://doi.org/10.1007/978-3-319-64021-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing IFIP WG 5.7 International Conference, APMS 2017, Hamburg, Germany, September 3-7, 2017, Proceedings, Part II ent://SD_ILS/0/SD_ILS:618419 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;L&ouml;dding, Hermann. editor.&#160;Riedel, Ralph. editor.&#160;Thoben, Klaus-Dieter. editor.&#160;von Cieminski, Gregor. editor.&#160;Kiritsis, Dimitris. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-66926-7">https://doi.org/10.1007/978-3-319-66926-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Business 8th International Conference, ICSOB 2017, Essen, Germany, June 12-13, 2017, Proceedings ent://SD_ILS/0/SD_ILS:618060 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Ojala, Arto. editor. (orcid)0000-0002-3276-6348&#160;Holmstr&ouml;m Olsson, Helena. editor.&#160;Werder, Karl. 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-69191-6">https://doi.org/10.1007/978-3-319-69191-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Production Management Systems. Initiatives for a Sustainable World IFIP WG 5.7 International Conference, APMS 2016, Iguassu Falls, Brazil, September 3-7, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:610973 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;N&auml;&auml;s, Irenilza. editor.&#160;Vendrametto, Oduvaldo. editor.&#160;Mendes Reis, Jo&atilde;o. editor.&#160;Gon&ccedil;alves, Rodrigo Franco. editor.&#160;Silva, M&aacute;rcia Terra. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-51133-7">https://doi.org/10.1007/978-3-319-51133-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Control Modes on Mobile Software Platforms Empirical Studies on the Importance of Informal Control ent://SD_ILS/0/SD_ILS:612130 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Goldbach, Tobias. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-658-14893-5">https://doi.org/10.1007/978-3-658-14893-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Behavioural Models From Modelling Finite Automata to Analysing Business Processes ent://SD_ILS/0/SD_ILS:614579 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Kunze, Matthias. author.&#160;Weske, Mathias. 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-44960-9">https://doi.org/10.1007/978-3-319-44960-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Frontier Computing Theory, Technologies and Applications ent://SD_ILS/0/SD_ILS:614931 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Hung, Jason C. editor.&#160;Yen, Neil Y. editor.&#160;Li, Kuan-Ching. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-10-0539-8">https://doi.org/10.1007/978-981-10-0539-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Platform Embedded Security Technology Revealed Safeguarding the Future of Computing with Intel Embedded Security and Management Engine ent://SD_ILS/0/SD_ILS:618584 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Ruan, Xiaoyu. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-1-4302-6572-6">https://doi.org/10.1007/978-1-4302-6572-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Business. From Physical Products to Software Services and Solutions 4th International Conference, ICSOB 2013, Potsdam, Germany, June 11-14, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334783 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Herzwurm, Georg. editor.&#160;Margaria, Tiziana. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334783.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-39336-5">http://dx.doi.org/10.1007/978-3-642-39336-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Business Third International Conference, ICSOB 2012, Cambridge, MA, USA, June 18-20, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196951 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Cusumano, Michael A. editor.&#160;Iyer, Bala. editor.&#160;Venkatraman, N. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30746-1">http://dx.doi.org/10.1007/978-3-642-30746-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Seductive Computer Why IT Systems Always Fail ent://SD_ILS/0/SD_ILS:176266 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Partridge, Derek. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-1-84996-498-2">http://dx.doi.org/10.1007/978-1-84996-498-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software engineering best practices lessons from successful projects in the top companies ent://SD_ILS/0/SD_ILS:293337 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Jones, Capers.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://mhebooklibrary.com/reader/software-engineering-best-practices">Subscription required</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service-orientierte Architekturen mit Web Services Konzepte &ndash; Standards &ndash; Praxis ent://SD_ILS/0/SD_ILS:198770 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Melzer, Ingo. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-8274-2550-8">http://dx.doi.org/10.1007/978-3-8274-2550-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Process Improvement 16th European Conference, EuroSPI 2009, Alcala (Madrid), Spain, September 2-4, 2009. Proceedings ent://SD_ILS/0/SD_ILS:190846 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;O&rsquo;Connor, Rory V. editor.&#160;Baddoo, Nathan. editor.&#160;Cuadrago Gallego, Juan. editor.&#160;Rejas Muslera, Ricardo. editor.&#160;Smolander, Kari. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-04133-4">http://dx.doi.org/10.1007/978-3-642-04133-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Process Improvement 15th European Conference, EuroSPI 2008, Dublin, Ireland, September 3-5, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188816 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;O&rsquo;Connor, Rory V. editor.&#160;Baddoo, Nathan. editor.&#160;Smolander, Kari. editor.&#160;Messnarz, Richard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-85936-9">http://dx.doi.org/10.1007/978-3-540-85936-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> E-Government Ict Professionalism and Competences Service Science ent://SD_ILS/0/SD_ILS:164763 2026-04-05T08:04:39Z 2026-04-05T08:04:39Z Author&#160;Mazzeo, Antonino. editor.&#160;Bellini, Roberto. editor.&#160;Motta, Gianmario. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-0-387-09712-1">http://dx.doi.org/10.1007/978-0-387-09712-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>