Search Results for Engineering design. - Narrowed by: Software engineering.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dEngineering$002bdesign.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026pe$003dd$00253A$0026ps$003d300$0026isd$003dtrue?dt=list
2026-04-05T08:36:49Z
Software Engineering Techniques: Design for Quality
ent://SD_ILS/0/SD_ILS:166267
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Sacha, Krzysztof. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-39388-9">http://dx.doi.org/10.1007/978-0-387-39388-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 5
ent://SD_ILS/0/SD_ILS:609705
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-96775-7">https://doi.org/10.1007/978-3-031-96775-7</a><br/>Format: Electronic Resources<br/>Availability 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:36:49Z
2026-04-05T08:36:49Z
Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Methods Design and Application Proceedings of 13th Computer Science Online Conference 2024, Volume 1
ent://SD_ILS/0/SD_ILS:605664
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-70285-3">https://doi.org/10.1007/978-3-031-70285-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Application in Systems Design Proceedings of 6th Computational Methods in Systems and Software 2022, Volume 1
ent://SD_ILS/0/SD_ILS:526912
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-21435-6">https://doi.org/10.1007/978-3-031-21435-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cooperative Design, Visualization, and Engineering 16th International Conference, CDVE 2019, Mallorca, Spain, October 6–9, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484920
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Luo, Yuhua. editor. (orcid)0000-0003-3057-4753 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30949-7">https://doi.org/10.1007/978-3-030-30949-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cooperative Design, Visualization, and Engineering 15th International Conference, CDVE 2018, Hangzhou, China, October 21–24, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399772
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Luo, Yuhua. editor. (orcid)0000-0003-3057-4753 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00560-3">https://doi.org/10.1007/978-3-030-00560-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cooperative Design, Visualization, and Engineering 14th International Conference, CDVE 2017, Mallorca, Spain, September 17-20, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:615960
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Luo, Yuhua. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66805-5">https://doi.org/10.1007/978-3-319-66805-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design Science Methodology for Information Systems and Software Engineering
ent://SD_ILS/0/SD_ILS:487890
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Wieringa, Roel J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43839-8">https://doi.org/10.1007/978-3-662-43839-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Model-Driven Engineering 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures
ent://SD_ILS/0/SD_ILS:197000
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Bernardo, Marco. editor. Cortellessa, Vittorio. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-30982-3">http://dx.doi.org/10.1007/978-3-642-30982-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cooperative Design, Visualization, and Engineering 8th International Conference, CDVE 2011, Hong Kong, China, September 11-14, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195430
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Luo, Yuhua. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-23734-8">http://dx.doi.org/10.1007/978-3-642-23734-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cooperative Design, Visualization, and Engineering 7th International Conference, CDVE 2010, Calvia, Mallorca, Spain, September 19-22, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193173
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Luo, Yuhua. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16066-0">http://dx.doi.org/10.1007/978-3-642-16066-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification and Validation in Systems Engineering Assessing UML/SysML Design Models
ent://SD_ILS/0/SD_ILS:192902
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Debbabi, Mourad. author. Hassaïne, Fawzi. author. Jarraya, Yosr. author. Soeanu, Andrei. author. Alawneh, Luay. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15228-3">http://dx.doi.org/10.1007/978-3-642-15228-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design Requirements Engineering: A Ten-Year Perspective Design Requirements Workshop, Cleveland, OH, USA, June 3-6, 2007, Revised and Invited Papers
ent://SD_ILS/0/SD_ILS:189499
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Lyytinen, Kalle. editor. Loucopoulos, Pericles. editor. Mylopoulos, John. editor. Robinson, Bill. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-92966-6">http://dx.doi.org/10.1007/978-3-540-92966-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cooperative Design, Visualization, and Engineering 6th International Conference, CDVE 2009, Luxembourg, Luxembourg, September 20-23, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190891
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Luo, Yuhua. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-04265-2">http://dx.doi.org/10.1007/978-3-642-04265-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Collaborative and Distributed Chemical Engineering. From Understanding to Substantial Design Process Support Results of the IMPROVE Project
ent://SD_ILS/0/SD_ILS:185984
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Nagl, Manfred. editor. Marquardt, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70552-9">http://dx.doi.org/10.1007/978-3-540-70552-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cooperative Design, Visualization, and Engineering 5th International Conference, CDVE 2008 Calvià, Mallorca, Spain, September 21-25, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:188967
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Luo, Yuhua. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-88011-0">http://dx.doi.org/10.1007/978-3-540-88011-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cooperative Design, Visualization, and Engineering 4th International Conference, CDVE 2007, Shanghai, China, September 16-20, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:187260
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Luo, Yuhua. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-74780-2">http://dx.doi.org/10.1007/978-3-540-74780-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering 3 Domains, Requirements, and Software Design
ent://SD_ILS/0/SD_ILS:183791
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Bjøner, Dines. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-33653-2">http://dx.doi.org/10.1007/3-540-33653-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cooperative Design, Visualization, and Engineering Third International Conference, CDVE 2006, Mallorca, Spain, September 17-20, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184774
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Luo, Yuhua. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11863649">http://dx.doi.org/10.1007/11863649</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cooperative Design, Visualization, and Engineering Second International Conference, CDVE 2005, Palma de Mallorca, Spain, September 18-21, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183047
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Luo, Yuhua. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11555223">http://dx.doi.org/10.1007/11555223</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integration-Ready Architecture and Design Software Engineering with XML, Java, .NET, Wireless, Speech, and Knowledge Technologies
ent://SD_ILS/0/SD_ILS:236067
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Zhuk, Jeff.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1017/CBO9780511547058">Access by subscription</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Computer Science and Frontiers in Education: Computer Science and Computer Engineering 20th International Conference, FCS 2024, and 20th International Conference, FECS 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:601658
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-85930-4">https://doi.org/10.1007/978-3-031-85930-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer and Communication Engineering 4th International Conference, CCCE 2024, Oslo, Norway, May 24-26, 2024, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:605666
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Neri, Filippo. editor. (orcid)0000-0002-2529-2287 Du, Ke-Lin. editor. (orcid)0000-0002-9136-3952 San-Blas, Angel-Antonio. editor. (orcid)0000-0002-4341-8277 Jiang, Zhiyu. editor. (orcid)0000-0002-6360-8262 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71079-7">https://doi.org/10.1007/978-3-031-71079-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career
ent://SD_ILS/0/SD_ILS:605668
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Graf, Susanne. editor. (orcid)0000-0003-4354-6807 Pettersson, Paul. editor. (orcid)0000-0003-4040-3480 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
The Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday
ent://SD_ILS/0/SD_ILS:605669
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Hinchey, Mike. editor. Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-73887-6">https://doi.org/10.1007/978-3-031-73887-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Concise Introduction to Software Engineering With Open Source and GenAI
ent://SD_ILS/0/SD_ILS:607111
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Jalote, Pankaj. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-74318-4">https://doi.org/10.1007/978-3-031-74318-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rebeca for Actor Analysis in Action Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday
ent://SD_ILS/0/SD_ILS:607700
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Lee, Edward A. editor. (orcid)0000-0002-5663-0584 Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794 Talcott, Carolyn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-85134-6">https://doi.org/10.1007/978-3-031-85134-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Pattern Languages of Programming V
ent://SD_ILS/0/SD_ILS:607718
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Wallingford, Eugene. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 Kohls, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-70810-1">https://doi.org/10.1007/978-3-662-70810-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part I
ent://SD_ILS/0/SD_ILS:608160
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-82949-9">https://doi.org/10.1007/978-3-031-82949-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence for System Oriented Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 1
ent://SD_ILS/0/SD_ILS:609874
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-96798-6">https://doi.org/10.1007/978-3-031-96798-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:606203
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-77382-2">https://doi.org/10.1007/978-3-031-77382-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Applications and Interoperable Systems 25th IFIP WG 6.1 International Conference, DAIS 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:608938
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Balouek, Daniel. editor. (orcid)0000-0001-6038-1077 Medeiros, Ibéria. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-95728-4">https://doi.org/10.1007/978-3-031-95728-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:609419
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-98682-6">https://doi.org/10.1007/978-3-031-98682-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:608161
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-82957-4">https://doi.org/10.1007/978-3-031-82957-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part III
ent://SD_ILS/0/SD_ILS:608165
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-83885-9">https://doi.org/10.1007/978-3-031-83885-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Processes in Software Engineering and Extreme Programming 26th International Conference on Agile Software Development, XP 2025, Brugg-Windisch, Switzerland, June 2-5, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:608677
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Peter, Sibylle. editor. (orcid)0009-0007-4308-053X Kropp, Martin. editor. (orcid)0000-0002-7439-6517 Aguiar, Ademar. editor. (orcid)0000-0002-4046-4729 Anslow, Craig. editor. (orcid)0000-0001-8064-6300 Lunesu, Maria Ilaria. editor. (orcid)0000-0002-2552-4228<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-94544-1">https://doi.org/10.1007/978-3-031-94544-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Information Systems Engineering Workshops CAiSE 2025 Workshops, Vienna, Austria, June 16-20, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:608909
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Grabis, Jānis. editor. (orcid)0000-0003-2196-0214 Wautelet, Yves. editor. (orcid)0000-0002-6560-9787 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-94931-9">https://doi.org/10.1007/978-3-031-94931-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:609411
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-98679-6">https://doi.org/10.1007/978-3-031-98679-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:609418
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-98668-0">https://doi.org/10.1007/978-3-031-98668-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:609420
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-98685-7">https://doi.org/10.1007/978-3-031-98685-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Formal Methods 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:606006
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Kosmatov, Nikolai. editor. Kovács, Laura. editor. (orcid)0000-0002-8299-2714 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-76554-4">https://doi.org/10.1007/978-3-031-76554-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
CyberSecurity in a DevOps Environment From Requirements to Monitoring
ent://SD_ILS/0/SD_ILS:602151
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Sadovykh, Andrey. editor. Truscan, Dragos. editor. Mallouli, Wissam. editor. Cavalli, Ana Rosa. editor. Seceleanu, Cristina. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42212-6">https://doi.org/10.1007/978-3-031-42212-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Optimization, Learning Algorithms and Applications Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27-29, 2023, Revised Selected Papers, Part I
ent://SD_ILS/0/SD_ILS:602476
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Pereira, Ana I. editor. (orcid)0000-0003-3803-2043 Mendes, Armando. editor. Fernandes, Florbela P. editor. (orcid)0000-0001-9542-4460 Pacheco, Maria F. editor. (orcid)0000-0001-7915-0391 Coelho, João P. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-53025-8">https://doi.org/10.1007/978-3-031-53025-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Optimization, Learning Algorithms and Applications Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27-29, 2023, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:602504
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Pereira, Ana I. editor. (orcid)0000-0003-3803-2043 Mendes, Armando. editor. Fernandes, Florbela P. editor. (orcid)0000-0001-9542-4460 Pacheco, Maria F. editor. (orcid)0000-0001-7915-0391 Coelho, João P. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-53036-4">https://doi.org/10.1007/978-3-031-53036-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ernst Denert Award for Software Engineering 2022 Practice Meets Foundations
ent://SD_ILS/0/SD_ILS:603043
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Bodden, Eric. editor. Felderer, Michael. editor. Hasselbring, Wilhelm. editor. (orcid)0000-0001-6625-4335 Herber, Paula. editor. Koziolek, Heiko. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-44412-8">https://doi.org/10.1007/978-3-031-44412-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Metamodeling: Applications and Trajectories to the Future Essays in Honor of Dimitris Karagiannis
ent://SD_ILS/0/SD_ILS:604382
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341 Kühn, Harald. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-56862-6">https://doi.org/10.1007/978-3-031-56862-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Optimization, Learning Algorithms and Applications 4th International Conference, OL2A 2024, Tenerife, Spain, July 24-26, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:606686
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Pereira, Ana I. editor. (orcid)0000-0003-3803-2043 Fernandes, Florbela P. editor. (orcid)0000-0001-9542-4460 Coelho, João P. editor. (orcid)0000-0002-7616-1383 Teixeira, João P. editor. (orcid)0000-0002-6679-5702 Lima, José. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-77426-3">https://doi.org/10.1007/978-3-031-77426-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Optimization, Learning Algorithms and Applications 4th International Conference, OL2A 2024, Tenerife, Spain, July 24-26, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:606687
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Pereira, Ana I. editor. (orcid)0000-0003-3803-2043 Fernandes, Florbela P. editor. (orcid)0000-0001-9542-4460 Coelho, João P. editor. (orcid)0000-0002-7616-1383 Teixeira, João P. editor. (orcid)0000-0002-6679-5702 Lima, José. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-77432-4">https://doi.org/10.1007/978-3-031-77432-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Formal Methods 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13-15, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:601952
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Herber, Paula. editor. Wijs, Anton. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-47705-8">https://doi.org/10.1007/978-3-031-47705-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Centered Software Engineering 10th IFIP WG 13.2 International Working Conference, HCSE 2024, Reykjavik, Iceland, July 8-10, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:604150
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Lárusdóttir, Marta Kristín. editor. (orcid)0000-0003-0256-5710 Naqvi, Bilal. editor. (orcid)0000-0001-5271-5604 Bernhaupt, Regina. editor. (orcid)0000-0003-3522-5990 Ardito, Carmelo. editor. (orcid)0000-0001-8993-9855 Sauer, Stefan. editor. (orcid)0000-0003-3084-0409<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-64576-1">https://doi.org/10.1007/978-3-031-64576-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamental Approaches to Software Engineering 27th International Conference, FASE 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
ent://SD_ILS/0/SD_ILS:603161
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57259-3">https://doi.org/10.1007/978-3-031-57259-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The French School of Programming
ent://SD_ILS/0/SD_ILS:603390
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Meyer, Bertrand. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34518-0">https://doi.org/10.1007/978-3-031-34518-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Applications and Interoperable Systems 24th IFIP WG 6.1 International Conference, DAIS 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:603899
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Martins, Rolando. editor. (orcid)0000-0002-1838-1417 Selimi, Mennan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-62638-8">https://doi.org/10.1007/978-3-031-62638-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Modeling and Software Design 14th International Symposium, BMSD 2024, Luxembourg City, Luxembourg, July 1-3, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:604170
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Shishkov, Boris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-64073-5">https://doi.org/10.1007/978-3-031-64073-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Understanding the Digital World Modeling with HERAKLIT
ent://SD_ILS/0/SD_ILS:604947
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Fettke, Peter. author. Reisig, Wolfgang. author. (orcid)0000-0002-7026-2810 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61898-7">https://doi.org/10.1007/978-3-031-61898-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Experimentation in Software Engineering
ent://SD_ILS/0/SD_ILS:605033
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Wohlin, Claes. author. Runeson, Per. author. Höst, Martin. author. Ohlsson, Magnus C. author. Regnell, Björn. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-69306-3">https://doi.org/10.1007/978-3-662-69306-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantum Software Aspects of Theory and System Design
ent://SD_ILS/0/SD_ILS:604803
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Exman, Iaakov. editor. (orcid)0000-0002-9917-3950 Pérez-Castillo, Ricardo. editor. (orcid)0000-0002-9271-3184 Piattini, Mario. editor. (orcid)0000-0002-7212-8279 Felderer, Michael. editor. (orcid)0000-0003-3818-4442 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-64136-7">https://doi.org/10.1007/978-3-031-64136-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Engineering of Digital Twins
ent://SD_ILS/0/SD_ILS:604841
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Fitzgerald, John. editor. (orcid)0000-0001-7041-1807 Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742 Larsen, Peter Gorm. editor. (orcid)0000-0002-4589-1500 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-66719-0">https://doi.org/10.1007/978-3-031-66719-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Designing Software Intensive Products Integrating Engineering and Intellectual Property Management to the Development of Innovative Products
ent://SD_ILS/0/SD_ILS:527485
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Atem de Carvalho, Rogerio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-08893-3">https://doi.org/10.1007/978-3-031-08893-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning software engineering
ent://SD_ILS/0/SD_ILS:599078
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Stephens, Rod, author.<br/>Preferred Shelf Number QA76.758 .S74 2023<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320592">https://onlinelibrary.wiley.com/doi/book/10.1002/9781394320592</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Official Google Cloud Certified Professional Data Engineer study guide
ent://SD_ILS/0/SD_ILS:596021
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Sullivan, Dan, 1962-<br/>Preferred Shelf Number QA76.3<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119618461">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119618461</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Systems engineering of software-enabled systems
ent://SD_ILS/0/SD_ILS:595142
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Fairley, R. E. (Richard E.), 1937- author.<br/>Preferred Shelf Number QA76.758<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119535041">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119535041</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Gear Engineering
ent://SD_ILS/0/SD_ILS:401469
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Goldfarb, Veniamin. editor. Trubachev, Evgenii. editor. Barmina, Natalya. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60399-5">https://doi.org/10.1007/978-3-319-60399-5</a><br/>Format: Electronic Resources<br/>Availability 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:36:49Z
2026-04-05T08:36:49Z
Author Lödding, Hermann. editor. Riedel, Ralph. editor. Thoben, Klaus-Dieter. editor. von Cieminski, Gregor. editor. Kiritsis, Dimitris. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetings
ent://SD_ILS/0/SD_ILS:615500
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Nakajima, Shin. editor. Talpin, Jean-Pierre. editor. Toyoshima, Masumi. editor. Yu, Huafeng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-4436-6">https://doi.org/10.1007/978-981-10-4436-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automotive Software Architectures An Introduction
ent://SD_ILS/0/SD_ILS:615838
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Staron, Miroslaw. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58610-6">https://doi.org/10.1007/978-3-319-58610-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:615981
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Gabmeyer, Sebastian. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61467-0">https://doi.org/10.1007/978-3-319-61467-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Collaboration and Technology 23rd International Conference, CRIWG 2017, Saskatoon, SK, Canada, August 9-11, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:615999
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Gutwin, Carl. editor. Ochoa, Sergio F. editor. (orcid)0000-0002-0431-8767 Vassileva, Julita. editor. Inoue, Tomoo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63874-4">https://doi.org/10.1007/978-3-319-63874-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concise Guide to Software Engineering From Fundamentals to Application Methods
ent://SD_ILS/0/SD_ILS:617836
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57750-0">https://doi.org/10.1007/978-3-319-57750-0</a><br/>Format: Electronic Resources<br/>Availability 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-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Failure-Modes-Based Software Reading
ent://SD_ILS/0/SD_ILS:617952
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Zhu, Yang-Ming. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65103-3">https://doi.org/10.1007/978-3-319-65103-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Present and Ulterior Software Engineering
ent://SD_ILS/0/SD_ILS:610759
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Mazzara, Manuel. editor. Meyer, Bertrand. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67425-4">https://doi.org/10.1007/978-3-319-67425-4</a><br/>Format: Electronic Resources<br/>Availability 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:36:49Z
2026-04-05T08:36:49Z
Author Bermbach, David. author. Wittern, Erik. author. Tai, Stefan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools
ent://SD_ILS/0/SD_ILS:612946
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Mahmood, Zaigham. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54325-3">https://doi.org/10.1007/978-3-319-54325-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unraveling Software Maintenance and Evolution Thinking Outside the Box
ent://SD_ILS/0/SD_ILS:613157
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Varga, Ervin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71303-8">https://doi.org/10.1007/978-3-319-71303-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Green IT Engineering: Concepts, Models, Complex Systems Architectures
ent://SD_ILS/0/SD_ILS:611372
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Kharchenko, Vyacheslav. editor. Kondratenko, Yuriy. editor. Kacprzyk, Janusz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Exploring Services Science 8th International Conference, IESS 2017, Rome, Italy, May 24-26, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611497
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Za, Stefano. editor. Drăgoicea, Monica. editor. Cavallari, Maurizio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56925-3">https://doi.org/10.1007/978-3-319-56925-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cryptographic Hardware and Embedded Systems - CHES 2017 19th International Conference, Taipei, Taiwan, September 25-28, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611609
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Fischer, Wieland. editor. Homma, Naofumi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66787-4">https://doi.org/10.1007/978-3-319-66787-4</a><br/>Format: Electronic Resources<br/>Availability 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-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Csöndes, Tibor. editor. Kovács, Gábor. editor. Réthy, György. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Service-Oriented Computing 15th International Conference, ICSOC 2017, Malaga, Spain, November 13-16, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613743
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Maximilien, Michael. editor. Vallecillo, Antonio. editor. Wang, Jianmin. editor. Oriol, Marc. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69035-3">https://doi.org/10.1007/978-3-319-69035-3</a><br/>Format: Electronic Resources<br/>Availability 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-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990 Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability 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:36:49Z
2026-04-05T08:36:49Z
Author Lödding, Hermann. editor. Riedel, Ralph. editor. Thoben, Klaus-Dieter. editor. von Cieminski, Gregor. editor. Kiritsis, Dimitris. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
TRIZ - The Theory of Inventive Problem Solving Current Research and Trends in French Academic Institutions
ent://SD_ILS/0/SD_ILS:615694
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Cavallucci, Denis. editor. (orcid)0000-0003-1815-5601 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56593-4">https://doi.org/10.1007/978-3-319-56593-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Information Systems Engineering Workshops CAISE 2017 International Workshops, Essen, Germany, June 12-16, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617470
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Metzger, Andreas. editor. Persson, Anne. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60048-2">https://doi.org/10.1007/978-3-319-60048-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Requirements Engineering
ent://SD_ILS/0/SD_ILS:617792
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Dick, Jeremy. author. Hull, Elizabeth. author. Jackson, Ken. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61073-3">https://doi.org/10.1007/978-3-319-61073-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bridging the Gap between Requirements Engineering and Software Architecture A Problem-Oriented and Quality-Driven Method
ent://SD_ILS/0/SD_ILS:617804
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Alebrahim, Azadeh. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-17694-5">https://doi.org/10.1007/978-3-658-17694-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human Centered Software Product Lines
ent://SD_ILS/0/SD_ILS:618153
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Sottet, Jean-Sébastien. editor. García Frey, Alfonso. editor. Vanderdonckt, Jean. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60947-8">https://doi.org/10.1007/978-3-319-60947-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Handbook of Formal Methods in Human-Computer Interaction
ent://SD_ILS/0/SD_ILS:618485
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Weyers, Benjamin. editor. (orcid)0000-0003-4785-708X Bowen, Judy. editor. Dix, Alan. editor. Palanque, Philippe. editor. (orcid)0000-0002-5381-971X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51838-1">https://doi.org/10.1007/978-3-319-51838-1</a><br/>Format: Electronic Resources<br/>Availability 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:36:49Z
2026-04-05T08:36:49Z
Author Nääs, Irenilza. editor. Vendrametto, Oduvaldo. editor. Mendes Reis, João. editor. Gonçalves, Rodrigo Franco. editor. Silva, Márcia Terra. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Service-Oriented Computing 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613023
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Sheng, Quan Z. editor. Stroulia, Eleni. editor. (orcid)0000-0002-8784-8236 Tata, Samir. editor. Bhiri, Sami. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46295-0">https://doi.org/10.1007/978-3-319-46295-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Security, Privacy, and Applied Cryptography Engineering 6th International Conference, SPACE 2016, Hyderabad, India, December 14-18, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613502
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Carlet, Claude. editor. (orcid)0000-0002-6118-7927 Hasan, M. Anwar. editor. Saraswat, Vishal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49445-6">https://doi.org/10.1007/978-3-319-49445-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Functional Safety for Road Vehicles New Challenges and Solutions for E-mobility and Automated Driving
ent://SD_ILS/0/SD_ILS:615793
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Ross, Hans-Leo. author. (orcid)0009-0009-0125-8824 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33361-8">https://doi.org/10.1007/978-3-319-33361-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
ent://SD_ILS/0/SD_ILS:616134
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29628-9">https://doi.org/10.1007/978-3-319-29628-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Modeling and Simulation in Business System Design
ent://SD_ILS/0/SD_ILS:611168
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Roubtsova, Ella. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15102-1">https://doi.org/10.1007/978-3-319-15102-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Simulation A Model Driven Engineering Approach
ent://SD_ILS/0/SD_ILS:611189
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Topçu, Okan. author. Durak, Umut. author. Oğuztüzün, Halit. author. Yilmaz, Levent. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-03050-0">https://doi.org/10.1007/978-3-319-03050-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Developers as Users Semiotic Investigations in Human-Centered Software Development
ent://SD_ILS/0/SD_ILS:614418
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Sieckenius de Souza, Clarisse. author. Fontoura de Gusmão Cerqueira, Renato. author. Marques Afonso, Luiz. author. Rossi de Mello Brandão, Rafael. author. Soares Jansen Ferreira, Juliana. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42831-4">https://doi.org/10.1007/978-3-319-42831-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Intelligence and Quantitative Software Engineering
ent://SD_ILS/0/SD_ILS:611266
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Pedrycz, Witold. editor. Succi, Giancarlo. editor. Sillitti, Alberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-25964-2">https://doi.org/10.1007/978-3-319-25964-2</a><br/>Format: Electronic Resources<br/>Availability 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-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Crnkovic, Ivica. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
System Architecture An Ordinary Engineering Discipline
ent://SD_ILS/0/SD_ILS:612989
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Paul, Wolfgang J. author. Baumann, Christoph. author. Lutsyk, Petro. author. Schmaltz, Sabine. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-43065-2">https://doi.org/10.1007/978-3-319-43065-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Collaboration in a Hyperconnected World 17th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2016, Porto, Portugal, October 3-5, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613167
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Afsarmanesh, Hamideh. editor. (orcid)0000-0001-5402-2000 Camarinha-Matos, Luis M. editor. (orcid)0000-0003-0594-1961 Lucas Soares, António. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45390-3">https://doi.org/10.1007/978-3-319-45390-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Architecture in Action Designing and Executing Architectural Models with SysADL Grounded on the OMG SysML Standard
ent://SD_ILS/0/SD_ILS:617519
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Oquendo, Flavio. author. Leite, Jair. author. Batista, Thaís. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44339-3">https://doi.org/10.1007/978-3-319-44339-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Exploring Services Science 7th International Conference, IESS 2016, Bucharest, Romania, May 25-27, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:617541
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Borangiu, Theodor. editor. (orcid)0000-0002-4801-1951 Drăgoicea, Monica. editor. Nóvoa, Henriqueta. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-32689-4">https://doi.org/10.1007/978-3-319-32689-4</a><br/>Format: Electronic Resources<br/>Availability 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-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Bogdan, Cristian. editor. Gulliksen, Jan. editor. Sauer, Stefan. editor. (orcid)0000-0003-3084-0409 Forbrig, Peter. editor. Winckler, Marco. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <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: Electronic Resources<br/>Availability Online Library~1<br/>
Tangible Interactive Systems Grasping the Real World with Computers
ent://SD_ILS/0/SD_ILS:618466
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Boy, Guy André. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30270-6">https://doi.org/10.1007/978-3-319-30270-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Requirements Engineering for Digital Health
ent://SD_ILS/0/SD_ILS:530191
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Fricker, Samuel A. editor. Thümmler, Christoph. editor. Gavras, Anastasius. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09798-5">https://doi.org/10.1007/978-3-319-09798-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering A Methodical Approach
ent://SD_ILS/0/SD_ILS:618696
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Foster, Elvis. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0847-2">https://doi.org/10.1007/978-1-4842-0847-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Privacy Engineer's Manifesto Getting from Policy to Code to QA to Value
ent://SD_ILS/0/SD_ILS:618599
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Dennedy, Michelle. author. Fox, Jonathan. author. Finneran, Tom. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6356-2">https://doi.org/10.1007/978-1-4302-6356-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Physical Layer Multi-Core Prototyping A Dataflow-Based Approach for LTE eNodeB
ent://SD_ILS/0/SD_ILS:330930
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Pelcat, Maxime. author. Aridhi, Slaheddine. author. Piat, Jonathan. author. Nezan, Jean-François. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330930.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4210-2">http://dx.doi.org/10.1007/978-1-4471-4210-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded Systems: Design, Analysis and Verification 4th IFIP TC 10 International Embedded Systems Symposium, IESS 2013, Paderborn, Germany, June 17-19, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334682
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Schirner, Gunar. editor. Götz, Marcelo. editor. Rettberg, Achim. editor. Zanella, Mauro C. editor. Rammig, Franz J. editor.<br/>Preferred Shelf Number ONLINE(334682.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38853-8">http://dx.doi.org/10.1007/978-3-642-38853-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design Thinking Research Studying Co-Creation in Practice
ent://SD_ILS/0/SD_ILS:194768
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Plattner, Hasso. editor. Meinel, Christoph. editor. Leifer, Larry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21643-5">http://dx.doi.org/10.1007/978-3-642-21643-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Methods, Techniques, and Applications in Modeling and Simulation Asia Simulation Conference 2011, Seoul, Korea, November 2011, Proceedings
ent://SD_ILS/0/SD_ILS:203980
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Kim, Jong-Hyun. editor. Lee, Kangsun. editor. Tanaka, Satoshi. editor. Park, Soo-Hyun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-4-431-54216-2">http://dx.doi.org/10.1007/978-4-431-54216-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Configuration Problem Solving
ent://SD_ILS/0/SD_ILS:174403
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Petrie, Charles J. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-4532-6">http://dx.doi.org/10.1007/978-1-4614-4532-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Informationstechnologie für Ingenieure
ent://SD_ILS/0/SD_ILS:195781
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Eigner, Martin. author. Gerhardt, Florian. author. Gilz, Torsten. author. Mogo Nem, Fabrice. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24893-1">http://dx.doi.org/10.1007/978-3-642-24893-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Genetic Algorithms for Applied CAD Problems
ent://SD_ILS/0/SD_ILS:188661
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Kureichik, Viktor M. author. Malioukov, Sergey P. author. Kureichik, Vladimir V. author. Malioukov, Alexander S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-85281-0">http://dx.doi.org/10.1007/978-3-540-85281-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design and Use of Serious Games
ent://SD_ILS/0/SD_ILS:170551
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Kankaanranta, Marja. editor. Neittaanmäki, Pekka. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-9496-5">http://dx.doi.org/10.1007/978-1-4020-9496-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dependability benchmarking for computer systems
ent://SD_ILS/0/SD_ILS:249772
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Kanoun, Karama. Spainhower, Lisa.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6129686">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6129686</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Compiling Esterel
ent://SD_ILS/0/SD_ILS:166755
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Potop-Butucaru, Dumitru. author. Edwards, Stephen A. author. Berry, Gérard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-70628-3">http://dx.doi.org/10.1007/978-0-387-70628-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software engineering quality practices
ent://SD_ILS/0/SD_ILS:542857
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Kandt, Ronald Kirk., author.<br/>Preferred Shelf Number QA76.758 .K35 2006<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420031102">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
FPGA Implementations of Neural Networks
ent://SD_ILS/0/SD_ILS:165522
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Omondi, Amos R. editor. Rajapakse, Jagath C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-28487-7">http://dx.doi.org/10.1007/0-387-28487-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wissenschaftstheoretische Grundlagen für die rechnerunterstützte Konstruktion
ent://SD_ILS/0/SD_ILS:182193
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Lossack, Ralf-Stefan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/3-540-29947-5">http://dx.doi.org/10.1007/3-540-29947-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Algorithms, Architectures and Applications for Reconfigurable Computing
ent://SD_ILS/0/SD_ILS:168817
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Lysaght, Patrick. editor. Rosenstiel, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/1-4020-3128-9">http://dx.doi.org/10.1007/1-4020-3128-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
UML for SOC Design
ent://SD_ILS/0/SD_ILS:165177
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Martin, Grant. editor. Müller, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b135980">http://dx.doi.org/10.1007/b135980</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computers, Software Engineering, and Digital Devices
ent://SD_ILS/0/SD_ILS:542493
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Dorf, Richard C., author. Taylor and Francis.<br/>Preferred Shelf Number TK7885<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420037050">Click here to view.</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software engineering for image processing systems
ent://SD_ILS/0/SD_ILS:545262
2026-04-05T08:36:49Z
2026-04-05T08:36:49Z
Author Laplante, Phillip A., author.<br/>Preferred Shelf Number TA1637 .L34 2004<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781135510749">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>