Search Results for Process Engineering. - Narrowed by: Computers. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dProcess$002bEngineering.$0026qf$003dSUBJECT$002509Subject$002509Computers.$002509Computers.$0026ps$003d300$0026isd$003dtrue?dt=list 2026-03-17T14:02:46Z Cooperative Information Systems 30th International Conference, CoopIS 2024, Porto, Portugal, November 19-21, 2024, Proceedings ent://SD_ILS/0/SD_ILS:607235 2026-03-17T14:02:46Z 2026-03-17T14:02:46Z Author&#160;Comuzzi, Marco. editor. (orcid)0000-0002-6944-4705&#160;Grigori, Daniela. editor. (orcid)0000-0003-1741-8676&#160;Sellami, Mohamed. editor. (orcid)0000-0002-7547-1857&#160;Zhou, Zhangbing. editor. (orcid)0000-0002-3195-2253&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-81375-7">https://doi.org/10.1007/978-3-031-81375-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part II ent://SD_ILS/0/SD_ILS:608927 2026-03-17T14:02:46Z 2026-03-17T14:02:46Z Author&#160;Krogstie, John. editor. (orcid)0000-0003-4830-1876&#160;Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108&#160;Kappel, Gerti. editor. (orcid)0000-0002-4758-9436&#160;Proper, Henderik A. editor. (orcid)0000-0002-7318-2496&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-94571-7">https://doi.org/10.1007/978-3-031-94571-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part I ent://SD_ILS/0/SD_ILS:608926 2026-03-17T14:02:46Z 2026-03-17T14:02:46Z Author&#160;Krogstie, John. editor. (orcid)0000-0003-4830-1876&#160;Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108&#160;Kappel, Gertri. editor. (orcid)0000-0002-4758-9436&#160;Proper, Henderik A. editor. (orcid)0000-0002-7318-2496&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-94569-4">https://doi.org/10.1007/978-3-031-94569-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Frontiers of Performability Engineering In Honor of Prof. K.B. Misra ent://SD_ILS/0/SD_ILS:603022 2026-03-17T14:02:46Z 2026-03-17T14:02:46Z Author&#160;Karanki, Durga Rao. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-99-8258-5">https://doi.org/10.1007/978-981-99-8258-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Enterprise Design, Operations, and Computing 27th International Conference, EDOC 2023, Groningen, The Netherlands, October 30 - November 3, 2023, Proceedings ent://SD_ILS/0/SD_ILS:602325 2026-03-17T14:02:46Z 2026-03-17T14:02:46Z Author&#160;Proper, Henderik A. editor. (orcid)0000-0002-7318-2496&#160;Pufahl, Luise. editor. (orcid)0000-0002-5182-2587&#160;Karastoyanova, Dimka. editor.&#160;van Sinderen, Marten. editor.&#160;Moreira, Jo&atilde;o. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-46587-1">https://doi.org/10.1007/978-3-031-46587-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Ethical and Legal Aspects of Computing A Professional Perspective from Software Engineering ent://SD_ILS/0/SD_ILS:603014 2026-03-17T14:02:46Z 2026-03-17T14:02:46Z 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-031-52664-0">https://doi.org/10.1007/978-3-031-52664-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Cooperative Information Systems 29th International Conference, CoopIS 2023, Groningen, The Netherlands, October 30-November 3, 2023, Proceedings ent://SD_ILS/0/SD_ILS:601880 2026-03-17T14:02:46Z 2026-03-17T14:02:46Z Author&#160;Sellami, Mohamed. editor.&#160;Vidal, Maria-Esther. editor.&#160;van Dongen, Boudewijn. editor.&#160;Gaaloul, Walid. editor. (orcid)0000-0003-0451-532X&#160;Panetto, Herv&eacute;. editor. (orcid)0000-0002-5537-2261<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-46846-9">https://doi.org/10.1007/978-3-031-46846-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Information Systems Engineering 36th International Conference, CAiSE 2024, Limassol, Cyprus, June 3-7, 2024, Proceedings ent://SD_ILS/0/SD_ILS:603826 2026-03-17T14:02:46Z 2026-03-17T14:02:46Z Author&#160;Guizzardi, Giancarlo. editor. (orcid)0000-0002-3452-553X&#160;Santoro, Flavia. editor. (orcid)0000-0003-3421-1984&#160;Mouratidis, Haralambos. editor. (orcid)0000-0002-2599-0712&#160;Soffer, Pnina. editor. (orcid)0000-0003-4659-883X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-61057-8">https://doi.org/10.1007/978-3-031-61057-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Risk-Conscious Operations Management An Integrated Paradigm for Complex Engineering System ent://SD_ILS/0/SD_ILS:526722 2026-03-17T14:02:46Z 2026-03-17T14:02:46Z Author&#160;Varde, Prabhakar V. author.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-981-19-9334-3">https://doi.org/10.1007/978-981-19-9334-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Product-Focused Software Process Improvement 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29-December 1, 2017, Proceedings ent://SD_ILS/0/SD_ILS:610854 2026-03-17T14:02:46Z 2026-03-17T14:02:46Z Author&#160;Felderer, Michael. editor. (orcid)0000-0003-3818-4442&#160;M&eacute;ndez Fern&aacute;ndez, Daniel. editor.&#160;Turhan, Burak. editor.&#160;Kalinowski, Marcos. editor. (orcid)0000-0003-1445-3425&#160;Sarro, Federica. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-69926-4">https://doi.org/10.1007/978-3-319-69926-4</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-03-17T14:02:46Z 2026-03-17T14:02:46Z 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/> Requirements Engineering: Foundation for Software Quality 23rd International Working Conference, REFSQ 2017, Essen, Germany, February 27 - March 2, 2017, Proceedings ent://SD_ILS/0/SD_ILS:615991 2026-03-17T14:02:46Z 2026-03-17T14:02:46Z Author&#160;Gr&uuml;nbacher, Paul. editor.&#160;Perini, Anna. editor. (orcid)0000-0001-8818-6476&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-54045-0">https://doi.org/10.1007/978-3-319-54045-0</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-17T14:02:46Z 2026-03-17T14:02:46Z 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/> Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs ent://SD_ILS/0/SD_ILS:617799 2026-03-17T14:02:46Z 2026-03-17T14:02:46Z Author&#160;Herdt, Vladimir. 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-12680-3">https://doi.org/10.1007/978-3-658-12680-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>