Search Results for Systems software. - Narrowed by: Software engineering.

Evolving Software Systems

2026-03-14T17:16:01Z

Author Mens, Tom. editor. Serebrenik, Alexander. editor. Cleve, Anthony. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-45398-4
Format: Electronic Resources
Availability Online Library~1

Software and Systems Traceability

2026-03-14T17:16:01Z

Author Cleland-Huang, Jane. editor. Gotel, Orlena. editor. Zisman, Andrea. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4471-2239-5
Format: Electronic Resources
Availability Online Library~1

Specification of Software Systems

2026-03-14T17:16:01Z

Author Alagar, V.S. author. Periyasamy, K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-277-3
Format: Electronic Resources
Availability Online Library~1

Software Design for Resilient Computer Systems

2026-03-14T17:16:01Z

Author Schagaev, Igor. author. Gutknecht, Jürg. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-55139-0
Format: Electronic Resources
Availability Online Library~1

Systems engineering of software-enabled systems

2026-03-14T17:16:01Z

Author Fairley, R. E. (Richard E.), 1937- author.
Preferred Shelf Number QA76.758
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119535041
Format: Electronic Resources
Availability Online Library~1

Software Design for Resilient Computer Systems

2026-03-14T17:16:01Z

Author Schagaev, Igor. author. Thomas, Kaegi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29465-0
Format: Electronic Resources
Availability Online Library~1

Recommendation Systems in Software Engineering

2026-03-14T17:16:01Z

Author Robillard, Martin P. editor. Maalej, Walid. editor. Walker, Robert J. editor. Zimmermann, Thomas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-45135-5
Format: Electronic Resources
Availability Online Library~1

Systems and software engineering with applications

2026-03-14T17:16:01Z

Author Schneidewind, Norman.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5769539 IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5769539
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Self-Adaptive Systems

2026-03-14T17:16:01Z

Author Cheng, Betty H. C. editor. Lemos, Rogério. editor. Giese, Holger. editor. Inverardi, Paola. editor. Magee, Jeff. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02161-9
Format: Electronic Resources
Availability Online Library~1

Networked RFID Systems, Software and Services

2026-03-14T17:16:01Z

Author Roussos, George. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84800-153-4
Format: Electronic Resources
Availability Online Library~1

Trustworthy systems through quantitative software engineering

2026-03-14T17:16:01Z

Author Bernstein, Lawrence, 1940- Yuhas, C. M. Wiley InterScience (Online service)
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/servlet/opac?bknumber=5988898
Format: Electronic Resources
Availability Online Library~1

Software engineering for image processing systems

2026-03-14T17:16:01Z

Author Laplante, Phillip A., author.
Preferred Shelf Number TA1637 .L34 2004
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

EMBEDDED SOFTWARE DEVELOPMENT FOR SAFETY-CRITICAL SYSTEMS

2026-03-14T17:16:01Z

Author Hobbs, Chris (Christopher W.)
Preferred Shelf Number QA76.76 .D47
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003598145 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Model-Driven Dependability Assessment of Software Systems

2026-03-14T17:16:01Z

Author Bernardi, Simona. author. Merseguer, José. author. Petriu, Dorina Corina. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334812.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-39512-3
Format: Electronic Resources
Availability Online Library~1

Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 3

2026-03-14T17:16:01Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-96380-3
Format: Electronic Resources
Availability Online Library~1

Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 5

2026-03-14T17:16:01Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-96775-7
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I

2026-03-14T17:16:01Z

Author Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90643-5
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III

2026-03-14T17:16:01Z

Author Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90660-2
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and System Engineering Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 2

2026-03-14T17:16:01Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-96759-7
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence for System Oriented Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 1

2026-03-14T17:16:01Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-96798-6
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II

2026-03-14T17:16:01Z

Author Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90653-4
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings

2026-03-14T17:16:01Z

Author Menéndez, Héctor D. editor. (orcid)0000-0002-6314-3725 Bello-Orgaz, Gema. editor. (orcid)0000-0003-2826-3286 Barnard, Pepita. editor. (orcid)0000-0003-4518-1207 Bautista, John Robert. editor. (orcid)0000-0002-4892-9543 Farahi, Arya. editor. (orcid)0000-0003-0777-4618
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-80889-0
Format: Electronic Resources
Availability Online Library~1

Software Engineering Research and Practice and e-Learning, e-Business, Enterprise Information Systems, and e-Government 22nd International Conference, SERP 2024, and 23rd International Conference, EEE 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

2026-03-14T17:16:01Z

Author Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-86644-9
Format: Electronic Resources
Availability Online Library~1

Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures

2026-03-14T17:16:01Z

Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-4656-2
Format: Electronic Resources
Availability Online Library~1

Reuse and Software Quality 21st International Conference on Software and Systems Reuse, ICSR 2024, Limassol, Cyprus, June 19-20, 2024, Proceedings

2026-03-14T17:16:01Z

Author Achilleos, Achilleas. editor. (orcid)0000-0001-7157-8991 Fuentes, Lidia. editor. (orcid)0000-0002-5677-7156 Papadopoulos, George Angelos. editor. (orcid)0000-0001-9250-4916 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66459-5
Format: Electronic Resources
Availability Online Library~1

Systems, Software and Services Process Improvement 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024, Proceedings, Part I

2026-03-14T17:16:01Z

Author Yilmaz, Murat. editor. (orcid)0000-0002-2446-3224 Clarke, Paul. editor. (orcid)0000-0002-4487-627X Riel, Andreas. editor. (orcid)0000-0001-9859-019X Messnarz, Richard. editor. (orcid)0000-0002-0555-3160 Greiner, Christian. editor. (orcid)0000-0002-8184-7128
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71139-8
Format: Electronic Resources
Availability Online Library~1

Systems, Software and Services Process Improvement 31st European Conference, EuroSPI 2024, Munich, Germany, September 4-6, 2024, Proceedings, Part II

2026-03-14T17:16:01Z

Author Yilmaz, Murat. editor. (orcid)0000-0002-2446-3224 Clarke, Paul. editor. (orcid)0000-0002-4487-627X Riel, Andreas. editor. (orcid)0000-0001-9859-019X Messnarz, Richard. editor. (orcid)0000-0002-0555-3160 Greiner, Christian. editor. (orcid)0000-0002-8184-7128
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-71142-8
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I

2026-03-14T17:16:01Z

Author Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57246-3
Format: Electronic Resources
Availability Online Library~1

Ontology-Based Evolution of Domain-Oriented Languages Models, Methods and Tools for User Interface Design in General-Purpose Software Systems

2026-03-14T17:16:01Z

Author Babkin, Eduard. author. (orcid)0000-0003-2597-9043 Ulitin, Boris. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42202-7
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II

2026-03-14T17:16:01Z

Author Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57249-4
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III

2026-03-14T17:16:01Z

Author Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57256-2
Format: Electronic Resources
Availability Online Library~1

Data Analytics in System Engineering Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 4

2026-03-14T17:16:01Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-54820-8
Format: Electronic Resources
Availability Online Library~1

Data Analytics in System Engineering Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 3

2026-03-14T17:16:01Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-53552-9
Format: Electronic Resources
Availability Online Library~1

Software Engineering Methods in Systems and Network Systems Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 1

2026-03-14T17:16:01Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-53549-9
Format: Electronic Resources
Availability Online Library~1

Software Engineering Methods in Systems and Network Systems Proceedings of 7th Computational Methods in Systems and Software 2023, Vol. 2

2026-03-14T17:16:01Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-54813-0
Format: Electronic Resources
Availability Online Library~1

Software Engineering Application in Systems Design Proceedings of 6th Computational Methods in Systems and Software 2022, Volume 1

2026-03-14T17:16:01Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-21435-6
Format: Electronic Resources
Availability Online Library~1

Data Science and Algorithms in Systems Proceedings of 6th Computational Methods in Systems and Software 2022, Vol. 2

2026-03-14T17:16:01Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-21438-7
Format: Electronic Resources
Availability Online Library~1

Software engineering for automotive systems : principles and applications

2026-03-14T17:16:01Z

Author Sivakumar, P. (Electrical engineer), editor. Kumar, B. Vinoth, editor. Sandhya Devi, R. S., editor.
Preferred Shelf Number TL272.53
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003269908 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

An introduction to self-adaptive systems : a contemporary software engineering perspective

2026-03-14T17:16:01Z

Author Weyns, Danny.
Preferred Shelf Number QA76.76 .S375
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119574910
Format: Electronic Resources
Availability Online Library~1

Security and Safety Interplay of Intelligent Software Systems ESORICS 2018 International Workshops, ISSA 2018 and CSITS 2018, Barcelona, Spain, September 6–7, 2018, Revised Selected Papers

2026-03-14T17:16:01Z

Author Hamid, Brahim. editor. Gallina, Barbara. editor. (orcid)0000-0002-6952-1053 Shabtai, Asaf. editor. (orcid)0000-0003-0630-4059 Elovici, Yuval. editor. Garcia-Alfaro, Joaquin. editor. (orcid)0000-0002-7453-4393
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-16874-2
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

2026-03-14T17:16:01Z

Author Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17465-1
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings

2026-03-14T17:16:01Z

Author Gaston, Christophe. editor. (orcid)0000-0001-6865-5108 Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813 Le Gall, Pascale. editor. (orcid)0000-0002-8955-6835 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31280-0
Format: Electronic Resources
Availability Online Library~1

Automotive Systems and Software Engineering State of the Art and Future Trends

2026-03-14T17:16:01Z

Author Dajsuren, Yanja. editor. van den Brand, Mark. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-12157-0
Format: Electronic Resources
Availability Online Library~1

Interdisciplinary approaches to information systems and software engineering

2026-03-14T17:16:01Z

Author Mukherjee, Alok Bhushan, 1985- editor. Krishna, Akhouri Pramod, 1962- editor. IGI Global, publisher.
Preferred Shelf Number ONLINE
Electronic Access Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7784-3
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings

2026-03-14T17:16:01Z

Author Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17184-1
Format: Electronic Resources
Availability Online Library~1

Engineering Adaptive Software Systems Communications of NII Shonan Meetings

2026-03-14T17:16:01Z

Author Yu, Yijun. editor. Bandara, Arosha. editor. Honiden, Shinichi. editor. Hu, Zhenjiang. editor. Tamai, Tetsuo. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-2185-6
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Resilient Systems 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings

2026-03-14T17:16:01Z

Author Calinescu, Radu. editor. (orcid)0000-0002-2678-9260 Di Giandomenico, Felicita. editor. (orcid)0000-0002-8760-7299 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30856-8
Format: Electronic Resources
Availability Online Library~1

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

2026-03-14T17:16:01Z

Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17601-3
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

2026-03-14T17:16:01Z

Author Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-17462-0
Format: Electronic Resources
Availability Online Library~1

Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings

2026-03-14T17:16:01Z

Author Peng, Xin. editor. Ampatzoglou, Apostolos. editor. Bhowmik, Tanmay. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22888-0
Format: Electronic Resources
Availability Online Library~1

Systems, Software and Services Process Improvement 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings

2026-03-14T17:16:01Z

Author Walker, Alastair. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-28005-5
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

2026-03-14T17:16:01Z

Author Medina-Bulo, Inmaculada. editor. Merayo, Mercedes G. editor. Hierons, Robert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-99927-2
Format: Electronic Resources
Availability Online Library~1

Open Source Systems: Enterprise Software and Solutions 14th IFIP WG 2.13 International Conference, OSS 2018, Athens, Greece, June 8-10, 2018, Proceedings

2026-03-14T17:16:01Z

Author Stamelos, Ioannis. editor. Gonzalez-Barahoña, Jesus M. editor. (orcid)0000-0001-9682-460X Varlamis, Iraklis. editor. (orcid)0000-0002-0876-8167 Anagnostopoulos, Dimosthenis. editor. (orcid)0000-0003-0747-4252 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92375-8
Format: Electronic Resources
Availability Online Library~1

Engineering Trustworthy Software Systems Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

2026-03-14T17:16:01Z

Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-02928-9
Format: Electronic Resources
Availability Online Library~1

Software Quality: Methods and Tools for Better Software and Systems 10th International Conference, SWQD 2018, Vienna, Austria, January 16–19, 2018, Proceedings

2026-03-14T17:16:01Z

Author Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Biffl, Stefan. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-71440-0
Format: Electronic Resources
Availability Online Library~1

Advances in Human Factors, Software, and Systems Engineering Proceedings of the AHFE 2017 International Conference on Human Factors, Software, and Systems Engineering, July 17-21, 2017, The Westin Bonaventure Hotel, Los Angeles, California, USA

2026-03-14T17:16:01Z

Author Ahram, Tareq. editor. Karwowski, Waldemar. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-60011-6
Format: Electronic Resources
Availability Online Library~1

Systems, Software and Services Process Improvement 25th European Conference, EuroSPI 2018, Bilbao, Spain, September 5-7, 2018, Proceedings

2026-03-14T17:16:01Z

Author Larrucea, Xabier. editor. Santamaria, Izaskun. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-97925-0
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I

2026-03-14T17:16:01Z

Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89960-2
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II

2026-03-14T17:16:01Z

Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Huisman, Marieke. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89963-3
Format: Electronic Resources
Availability Online Library~1

Systems, Software and Services Process Improvement 24th European Conference, EuroSPI 2017, Ostrava, Czech Republic, September 6-8, 2017, Proceedings

2026-03-14T17:16:01Z

Author Stolfa, Jakub. editor. Stolfa, Svatopluk. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. (orcid)0000-0002-0555-3160 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-64218-5
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings

2026-03-14T17:16:01Z

Author Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65948-0
Format: Electronic Resources
Availability Online Library~1

Engineering Secure Software and Systems 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings

2026-03-14T17:16:01Z

Author Bodden, Eric. editor. Payer, Mathias. editor. (orcid)0000-0001-5054-7547 Athanasopoulos, Elias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62105-0
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II

2026-03-14T17:16:01Z

Author Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-54580-5
Format: Electronic Resources
Availability Online Library~1

Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

2026-03-14T17:16:01Z

Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-56841-6
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

2026-03-14T17:16:01Z

Author Yang, Hongseok. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-54434-1
Format: Electronic Resources
Availability Online Library~1

Environmental Software Systems. Computer Science for Environmental Protection 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings

2026-03-14T17:16:01Z

Author Hřebíček, Jiří. editor. Denzer, Ralf. editor. Schimak, Gerald. editor. Pitner, Tomáš. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89935-0
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Self-Adaptive Systems III. Assurances International Seminar, Dagstuhl Castle, Germany, December 15-19, 2013, Revised Selected and Invited Papers

2026-03-14T17:16:01Z

Author de Lemos, Rogério. editor. Garlan, David. editor. Ghezzi, Carlo. editor. Giese, Holger. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74183-3
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

2026-03-14T17:16:01Z

Author Yevtushenko, Nina. editor. Cavalli, Ana Rosa. editor. Yenigün, Hüsnü. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-67549-7
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I

2026-03-14T17:16:01Z

Author Legay, Axel. editor. Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-54577-5
Format: Electronic Resources
Availability Online Library~1

Environment modeling-based requirements engineering for software intensive systems.

2026-03-14T17:16:01Z

Author Jin, Zhi, 1962- author.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect https://www.sciencedirect.com/science/book/9780128019542
Format: Electronic Resources
Availability Online Library~1

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

2026-03-14T17:16:01Z

Author Bernardo, Marco. editor. De Nicola, Rocco. editor. Hillston, Jane. editor. (orcid)0000-0003-4914-9255 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-34096-8
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings

2026-03-14T17:16:01Z

Author Crnkovic, Ivica. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-45892-2
Format: Electronic Resources
Availability Online Library~1

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

2026-03-14T17:16:01Z

Author Bogdan, Cristian. editor. Gulliksen, Jan. editor. Sauer, Stefan. editor. (orcid)0000-0003-3084-0409 Forbrig, Peter. editor. Winckler, Marco. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-44902-9
Format: Electronic Resources
Availability Online Library~1

Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings

2026-03-14T17:16:01Z

Author Caballero, Juan. editor. Bodden, Eric. editor. Athanasopoulos, Elias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-30806-7
Format: Electronic Resources
Availability Online Library~1

Systems, Software and Services Process Improvement 23rd European Conference, EuroSPI 2016, Graz, Austria, September 14-16, 2016, Proceedings

2026-03-14T17:16:01Z

Author Kreiner, Christian. editor. O'Connor, Rory V. editor. Poth, Alexander. editor. Messnarz, Richard. editor. (orcid)0000-0002-0555-3160 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-44817-6
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2026-03-14T17:16:01Z

Author Thiemann, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49498-1
Format: Electronic Resources
Availability Online Library~1

Software Quality. The Future of Systems- and Software Development 8th International Conference, SWQD 2016, Vienna, Austria, January 18-21, 2016, Proceedings

2026-03-14T17:16:01Z

Author Winkler, Dietmar. editor. Biffl, Stefan. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-27033-3
Format: Electronic Resources
Availability Online Library~1

Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures

2026-03-14T17:16:01Z

Author Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-29628-9
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings

2026-03-14T17:16:01Z

Author Chechik, Marsha. editor. (orcid)0000-0002-6301-3517 Raskin, Jean-François. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-49674-9
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings

2026-03-14T17:16:01Z

Author Wotawa, Franz. editor. Nica, Mihai. editor. Kushik, Natalia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47443-4
Format: Electronic Resources
Availability Online Library~1

Systems, Software and Services Process Improvement 21st European Conference, EuroSPI 2014, Luxembourg, June 25-27, 2014. Proceedings

2026-03-14T17:16:01Z

Author Barafort, Béatrix. editor. O'Connor, Rory V. editor. Poth, Alexander. editor. (orcid)0000-0002-2868-5633 Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43896-1
Format: Electronic Resources
Availability Online Library~1

Rapid prototyping of software for avionics systems : model-oriented approaches for complex systems certification

2026-03-14T17:16:01Z

Author Larrieu, Nicolas, author. Varet, Antoine, author.
Preferred Shelf Number ONLINE(342171.1)
Electronic Access ebrary An electronic book accessible through the World Wide Web; click to view John Wiley http://dx.doi.org/10.1002/9781119050643
Format: Electronic Resources
Availability Online Library~1

Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedings

2026-03-14T17:16:01Z

Author Jürjens, Jan. editor. Piessens, Frank. editor. Bielova, Nataliia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-04897-0
Format: Electronic Resources
Availability Online Library~1

Software Reuse for Dynamic Systems in the Cloud and Beyond 14th International Conference on Software Reuse, ICSR 2015, Miami, FL, USA, January 4-6, 2015. Proceedings

2026-03-14T17:16:01Z

Author Schaefer, Ina. editor. Stamelos, Ioannis. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-14130-5
Format: Electronic Resources
Availability Online Library~1

Design Science Methodology for Information Systems and Software Engineering

2026-03-14T17:16:01Z

Author Wieringa, Roel J. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-43839-8
Format: Electronic Resources
Availability Online Library~1

Software Quality. Model-Based Approaches for Advanced Software and Systems Engineering 6th International Conference, SWQD 2014, Vienna, Austria, January 14-16, 2014, Proceedings

2026-03-14T17:16:01Z

Author Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Biffl, Stefan. editor. (orcid)0000-0002-3413-7780 Bergsmann, Johannes. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-03602-1
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Executable Software Models 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures

2026-03-14T17:16:01Z

Author Bernardo, Marco. editor. Damiani, Ferruccio. editor. Haehnle, Reiner. editor. (orcid)0000-0001-8000-7613 Johnsen, Einar Broch. editor. Schaefer, Ina. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-07317-0
Format: Electronic Resources
Availability Online Library~1

Model-Driven Software Migration: A Methodology Reengineering, Recovery and Modernization of Legacy Systems

2026-03-14T17:16:01Z

Author Wagner, Christian. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-05270-6
Format: Electronic Resources
Availability Online Library~1

Open Source Software: Mobile Open Source Technologies 10th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2014, San José, Costa Rica, May 6-9, 2014, Proceedings

2026-03-14T17:16:01Z

Author Corral, Luis. editor. Sillitti, Alberto. editor. Succi, Giancarlo. editor. Vlasenko, Jelena. editor. Wasserman, Anthony I. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-55128-4
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2026-03-14T17:16:01Z

Author Abraham, Erika. editor. Havelund, Klaus. editor. (orcid)0000-0001-7079-0472 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54862-8
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings

2026-03-14T17:16:01Z

Author Merayo, Mercedes G. editor. Montes de Oca, Edgardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-44857-1
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2026-03-14T17:16:01Z

Author Shao, Zhong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-54833-8
Format: Electronic Resources
Availability Online Library~1

Systems and Software Quality The next step for industrialisation

2026-03-14T17:16:01Z

Author Wieczorek, Martin. author. Vos, Diederik. author. Bons, Heinz. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-642-39971-8
Format: Electronic Resources
Availability Online Library~1

Using Event-B for Critical Device Software Systems

2026-03-14T17:16:01Z

Author Singh, Neeraj Kumar. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(331181.1)
Electronic Access http://dx.doi.org/10.1007/978-1-4471-5260-6
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2026-03-14T17:16:01Z

Author Felleisen, Matthias. editor. Gardner, Philippa. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334348.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-37036-6
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Resilient Systems 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings

2026-03-14T17:16:01Z

Author Gorbenko, Anatoliy. editor. Romanovsky, Alexander. editor. Kharchenko, Vyacheslav. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335024.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-40894-6
Format: Electronic Resources
Availability Online Library~1

Environmental Software Systems. Fostering Information Sharing 10th IFIP WG 5.11 International Symposium, ISESS 2013, Neusiedl am See, Austria, October 9-11, 2013. Proceedings

2026-03-14T17:16:01Z

Author Hřebíček, Jiří. editor. Schimak, Gerald. editor. Kubásek, Miroslav. editor. Rizzoli, Andrea E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335064.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41151-9
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings

2026-03-14T17:16:01Z

Author Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335141.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-41707-8
Format: Electronic Resources
Availability Online Library~1

Trustworthy Eternal Systems via Evolving Software, Data and Knowledge Second International Workshop, EternalS 2012, Montpellier, France, August 28, 2012, Revised Selected Papers

2026-03-14T17:16:01Z

Author Moschitti, Alessandro. editor. Plank, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335198.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-45260-4
Format: Electronic Resources
Availability Online Library~1

Sensor Systems and Software 4th International ICST Conference, S-Cube 2013, Lucca, Italy, June 11-12, 2013, Revised Selected Papers

2026-03-14T17:16:01Z

Author Zuniga, Marco. editor. Dini, Gianluca. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333015.1)
Electronic Access http://dx.doi.org/10.1007/978-3-319-04166-7
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Self-Adaptive Systems II International Seminar, Dagstuhl Castle, Germany, October 24-29, 2010 Revised Selected and Invited Papers

2026-03-14T17:16:01Z

Author Lemos, Rogério. editor. Giese, Holger. editor. Müller, Hausi A. editor. Shaw, Mary. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334055.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35813-5
Format: Electronic Resources
Availability Online Library~1

Lean Enterprise Software and Systems 4th International Conference, LESS 2013, Galway, Ireland, December 1-4, 2013, Proceedings

2026-03-14T17:16:01Z

Author Fitzgerald, Brian. editor. Conboy, Kieran. editor. Power, Ken. editor. Valerdi, Ricardo. editor. Morgan, Lorraine. editor.
Preferred Shelf Number ONLINE(335170.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-44930-7
Format: Electronic Resources
Availability Online Library~1

Software Quality. Increasing Value in Software and Systems Development 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings

2026-03-14T17:16:01Z

Author Winkler, Dietmar. editor. Biffl, Stefan. editor. Bergsmann, Johannes. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334033.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-35702-2
Format: Electronic Resources
Availability Online Library~1

Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings

2026-03-14T17:16:01Z

Author Jürjens, Jan. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334236.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36563-8
Format: Electronic Resources
Availability Online Library~1

Systems and Software Variability Management Concepts, Tools and Experiences

2026-03-14T17:16:01Z

Author Capilla, Rafael. editor. Bosch, Jan. editor. Kang, Kyo-Chul. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334240.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36583-6
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings

2026-03-14T17:16:01Z

Author Piterman, Nir. editor. Smolka, Scott A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334278.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-36742-7
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Dynamical Systems 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

2026-03-14T17:16:01Z

Author Bernardo, Marco. editor. Vink, Erik. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(334688.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-38874-3
Format: Electronic Resources
Availability Online Library~1

Engineering Secure Software and Systems 4th International Symposium, ESSoS 2012, Eindhoven, The Netherlands, February, 16-17, 2012. Proceedings

2026-03-14T17:16:01Z

Author Barthe, Gilles. editor. Livshits, Benjamin. editor. Scandariato, Riccardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28166-2
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings

2026-03-14T17:16:01Z

Author Flanagan, Cormac. editor. König, Barbara. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28756-5
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings

2026-03-14T17:16:01Z

Author Seidl, Helmut. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-28869-2
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings

2026-03-14T17:16:01Z

Author Nielsen, Brian. editor. Weise, Carsten. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-34691-0
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Resilient Systems 4th International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012. Proceedings

2026-03-14T17:16:01Z

Author Avgeriou, Paris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-33176-3
Format: Electronic Resources
Availability Online Library~1

Systems, Software and Services Process Improvement 19th European Conference, EuroSPI 2012, Vienna, Austria, June 25-27, 2012. Proceedings

2026-03-14T17:16:01Z

Author Winkler, Dietmar. editor. O’Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-31199-4
Format: Electronic Resources
Availability Online Library~1

Sensor Systems and Software Third International ICST Conference, S-Cube 2012, Lisbon, Portugal, June 4-5, 2012, Revised Selected Papers

2026-03-14T17:16:01Z

Author Martins, Francisco. editor. Lopes, Luís. editor. Paulino, Hervé. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-32778-0
Format: Electronic Resources
Availability Online Library~1

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

2026-03-14T17:16:01Z

Author Bernardo, Marco. editor. Cortellessa, Vittorio. editor. Pierantonio, Alfonso. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-30982-3
Format: Electronic Resources
Availability Online Library~1

Engineering Secure Software and Systems Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings

2026-03-14T17:16:01Z

Author Erlingsson, Úlfar. editor. Wieringa, Roel. editor. Zannone, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19125-1
Format: Electronic Resources
Availability Online Library~1

Rigorous Software Engineering for Service-Oriented Systems Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing

2026-03-14T17:16:01Z

Author Wirsing, Martin. editor. Hölzl, Matthias. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-20401-2
Format: Electronic Resources
Availability Online Library~1

Software Technologies for Embedded and Ubiquitous Systems 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings

2026-03-14T17:16:01Z

Author Min, Sang Lyul. editor. Pettit, Robert. editor. Puschner, Peter. editor. Ungerer, Theo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16256-5
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 17th International Conference, TACAS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

2026-03-14T17:16:01Z

Author Abdulla, Parosh Aziz. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19835-9
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part I

2026-03-14T17:16:01Z

Author Mohamad Zain, Jasni. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22170-5
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part II

2026-03-14T17:16:01Z

Author Zain, Jasni Mohamad. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22191-0
Format: Electronic Resources
Availability Online Library~1

Sensor Systems and Software Second International ICST Conference, S-Cube 2010, Miami, FL, USA, December 13-15, 2010, Revised Selected Papers

2026-03-14T17:16:01Z

Author Par, Gerard. editor. Morrow, Philip. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-23583-2
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Resilient Systems Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings

2026-03-14T17:16:01Z

Author Troubitsyna, Elena A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24124-6
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings

2026-03-14T17:16:01Z

Author Wolff, Burkhart. editor. Zaïdi, Fatiha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24580-0
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings

2026-03-14T17:16:01Z

Author Barthe, Gilles. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-19718-5
Format: Electronic Resources
Availability Online Library~1

Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, WA, USA, March 31- April 2, 2010, Revised Selected Papers

2026-03-14T17:16:01Z

Author Calinescu, Radu. editor. Jackson, Ethan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21292-5
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Eternal Networked Software Systems 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

2026-03-14T17:16:01Z

Author Bernardo, Marco. editor. Issarny, Valérie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-21455-4
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part III

2026-03-14T17:16:01Z

Author Zain, Jasni Mohamad. editor. Wan Mohd, Wan Maseri bt. editor. El-Qawasmeh, Eyas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22203-0
Format: Electronic Resources
Availability Online Library~1

Systems, Software and Service Process Improvement 18th European Conference, EuroSPI 2011, Roskilde, Denmark, June 27-29, 2011. Proceedings

2026-03-14T17:16:01Z

Author O‘Connor, Rory V. editor. Pries-Heje, Jan. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22206-1
Format: Electronic Resources
Availability Online Library~1

Engineering Secure Software and Systems Second International Symposium, ESSoS 2010, Pisa, Italy, February 3-4, 2010. Proceedings

2026-03-14T17:16:01Z

Author Massacci, Fabio. editor. Wallach, Dan. editor. Zannone, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11747-3
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings

2026-03-14T17:16:01Z

Author Petrenko, Alexandre. editor. Simão, Adenilso. editor. Maldonado, José Carlos. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16573-3
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

2026-03-14T17:16:01Z

Author Gordon, Andrew D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11957-6
Format: Electronic Resources
Availability Online Library~1

Open Source Software: New Horizons 6th International IFIP WG 2.13 Conference on Open Source Systems, OSS 2010, Notre Dame, IN, USA, May 30 – June 2, 2010. Proceedings

2026-03-14T17:16:01Z

Author Ågerfalk, Pär. editor. Boldyreff, Cornelia. editor. González-Barahona, Jesús M. editor. Madey, Gregory R. editor. Noll, John. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13244-5
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Quantitative Aspects of Programming Languages 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

2026-03-14T17:16:01Z

Author Aldini, Alessandro. editor. Bernardo, Marco. editor. Pierro, Alessandra. editor. Wiklicky, Herbert. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-13678-8
Format: Electronic Resources
Availability Online Library~1

Lean Enterprise Software and Systems First International Conference, LESS 2010, Helsinki, Finland, October 17-20, 2010. Proceedings

2026-03-14T17:16:01Z

Author Abrahamsson, Pekka. editor. Oza, Nilay. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16416-3
Format: Electronic Resources
Availability Online Library~1

Cyber-Physical Systems Innovation Durch Software-Intensive Eingebettete Systeme

2026-03-14T17:16:01Z

Author Broy, Manfred. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-14901-6
Format: Electronic Resources
Availability Online Library~1

Systems, Software and Services Process Improvement 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings

2026-03-14T17:16:01Z

Author Riel, Andreas. editor. O’Connor, Rory. editor. Tichkiewitch, Serge. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-15666-3
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

2026-03-14T17:16:01Z

Author Esparza, Javier. editor. Majumdar, Rupak. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-12002-2
Format: Electronic Resources
Availability Online Library~1

Architectures for Adaptive Software Systems 5th International Conference on the Quality of Software Architectures, QoSA 2009, East Stroudsburg, PA, USA, June 24-26, 2009 Proceedings

2026-03-14T17:16:01Z

Author Mirandola, Raffaela. editor. Gorton, Ian. editor. Hofmeister, Christine. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-02351-4
Format: Electronic Resources
Availability Online Library~1

Architecting software intensive systems : a practitioner's guide

2026-03-14T17:16:01Z

Author Lattanze, Anthony J., author.
Preferred Shelf Number QA76.758 .L3285 2009
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

2026-03-14T17:16:01Z

Author Castagna, Giuseppe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00590-9
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

2026-03-14T17:16:01Z

Author Kowalewski, Stefan. editor. Philippou, Anna. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00768-2
Format: Electronic Resources
Availability Online Library~1

Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings

2026-03-14T17:16:01Z

Author Núñez, Manuel. editor. Baker, Paul. editor. Merayo, Mercedes G. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-05031-2
Format: Electronic Resources
Availability Online Library~1

Software Technologies for Embedded and Ubiquitous Systems 7th IFIP WG 10.2 International Workshop, SEUS 2009 Newport Beach, CA, USA, November 16-18, 2009 Proceedings

2026-03-14T17:16:01Z

Author Lee, Sunggu. editor. Narasimhan, Priya. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-10265-3
Format: Electronic Resources
Availability Online Library~1

Engineering Secure Software and Systems First International Symposium ESSoS 2009, Leuven, Belgium, February 4-6, 2009. Proceedings

2026-03-14T17:16:01Z

Author Massacci, Fabio. editor. Redwine, Samuel T. editor. Zannone, Nicola. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-00199-4
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

2026-03-14T17:16:01Z

Author Bernardo, Marco. editor. Padovani, Luca. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-01918-0
Format: Electronic Resources
Availability Online Library~1

Engineering Interactive Systems Second Conference on Human-Centered Software Engineering, HCSE 2008, and 7th International Workshop on Task Models and Diagrams, TAMODIA 2008, Pisa, Italy, September 25-26, 2008. Proceedings

2026-03-14T17:16:01Z

Author Forbrig, Peter. editor. Paternò, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-85992-5
Format: Electronic Resources
Availability Online Library~1

Software Technologies for Embedded and Ubiquitous Systems 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008 Proceedings

2026-03-14T17:16:01Z

Author Brinkschulte, Uwe. editor. Givargis, Tony. editor. Russo, Stefano. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-87785-1
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

2026-03-14T17:16:01Z

Author Drossopoulou, Sophia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78739-6
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings

2026-03-14T17:16:01Z

Author Ramakrishnan, C. R. editor. Rehof, Jakob. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-78800-3
Format: Electronic Resources
Availability Online Library~1

The Making of Information Systems Software Engineering and Management in a Globalized World

2026-03-14T17:16:01Z

Author Kurbel, Karl E. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-79261-1
Format: Electronic Resources
Availability Online Library~1

Software-Intensive Systems and New Computing Paradigms Challenges and Visions

2026-03-14T17:16:01Z

Author Wirsing, Martin. editor. Banâtre, Jean-Pierre. editor. Hölzl, Matthias. editor. Rauschmayer, Axel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-89437-7
Format: Electronic Resources
Availability Online Library~1

Innovations and Advanced Techniques in Systems, Computing Sciences and Software Engineering

2026-03-14T17:16:01Z

Author Elleithy, Khaled. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-8735-6
Format: Electronic Resources
Availability Online Library~1

High Confidence Software Reuse in Large Systems 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings

2026-03-14T17:16:01Z

Author Mei, Hong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68073-4
Format: Electronic Resources
Availability Online Library~1

Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings

2026-03-14T17:16:01Z

Author Suzuki, Kenji. editor. Higashino, Teruo. editor. Ulrich, Andreas. editor. Hasegawa, Toru. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68524-1
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures

2026-03-14T17:16:01Z

Author Bernardo, Marco. editor. Degano, Pierpaolo. editor. Zavattaro, Gianluigi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-68894-5
Format: Electronic Resources
Availability Online Library~1

Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers

2026-03-14T17:16:01Z

Author Obermaisser, Roman. editor. Nah, Yunmook. editor. Puschner, Peter. editor. Rammig, Franz J. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-75664-4
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

2026-03-14T17:16:01Z

Author Grumberg, Orna. editor. Huth, Michael. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71209-1
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

2026-03-14T17:16:01Z

Author Nicola, Rocco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-71316-6
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Performance Evaluation 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

2026-03-14T17:16:01Z

Author Bernardo, Marco. editor. Hillston, Jane. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72522-0
Format: Electronic Resources
Availability Online Library~1

Embedded Software and Systems Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007. Proceedings

2026-03-14T17:16:01Z

Author Lee, Yann-Hang. editor. Kim, Heung-Nam. editor. Kim, Jong. editor. Park, Yongwan. editor. Yang, Laurence T. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-72685-2
Format: Electronic Resources
Availability Online Library~1

Testing of Software and Communicating Systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings

2026-03-14T17:16:01Z

Author Petrenko, Alexandre. editor. Veanes, Margus. editor. Tretmans, Jan. editor. Grieskamp, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73066-8
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Multi-Agent Systems V Research Issues and Practical Applications

2026-03-14T17:16:01Z

Author Choren, Ricardo. editor. Garcia, Alessandro. editor. Giese, Holger. editor. Leung, Ho-fung. editor. Lucena, Carlos. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-73131-3
Format: Electronic Resources
Availability Online Library~1

Advances and Innovations in Systems, Computing Sciences and Software Engineering

2026-03-14T17:16:01Z

Author Elleithy, Khaled. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4020-6264-3
Format: Electronic Resources
Availability Online Library~1

Software Engineering 2 Specification of Systems and Languages

2026-03-14T17:16:01Z

Author Bjørner, Dines. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-540-33193-3
Format: Electronic Resources
Availability Online Library~1

Advances in Systems, Computing Sciences and Software Engineering Proceedings of SCSS05

2026-03-14T17:16:01Z

Author Sobh, Tarek. editor. Elleithy, Khaled. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-5263-4
Format: Electronic Resources
Availability Online Library~1

Software Engineering Techniques Applied to Agricultural Systems An Object-Oriented and UML Approach

2026-03-14T17:16:01Z

Author Papajorgji, Petraq J. author. Pardalos, Panos M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-28171-1
Format: Electronic Resources
Availability Online Library~1

Open Source Systems IFIP Working Group 2.13 Foundation on Open Source Software, June 8–10, 2006, Como, Italy

2026-03-14T17:16:01Z

Author Damiani, Ernesto. editor. Fitzgerald, Brian. editor. Scacchi, Walt. editor. Scotto, Marco. editor. Succi, Giancarlo. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/0-387-34226-5
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Hardware Verification 6th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2006, Bertinoro, Italy, May 22-27, 2006, Advanced Lectures

2026-03-14T17:16:01Z

Author Bernardo, Marco. editor. Cimatti, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11757283
Format: Electronic Resources
Availability Online Library~1

Object-Oriented Metrics in Practice Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems

2026-03-14T17:16:01Z

Author Lanza, Michele. author. Marinescu, Radu. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/3-540-39538-5
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

2026-03-14T17:16:01Z

Author Hermanns, Holger. editor. Palsberg, Jens. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11691372
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

2026-03-14T17:16:01Z

Author Sestoft, Peter. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11693024
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Multi-Agent Systems IV Research Issues and Practical Applications

2026-03-14T17:16:01Z

Author Garcia, Alessandro. editor. Choren, Ricardo. editor. Lucena, Carlos. editor. Giorgini, Paolo. editor. Holvoet, Tom. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11738817
Format: Electronic Resources
Availability Online Library~1

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program

2026-03-14T17:16:01Z

Author Kohlas, Jürg. editor. Meyer, Bertrand. editor. Schiper, André. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11808107
Format: Electronic Resources
Availability Online Library~1

COTS-Based Software Systems 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005. Proceedings

2026-03-14T17:16:01Z

Author Franch, Xavier. editor. Port, Daniel. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105900
Format: Electronic Resources
Availability Online Library~1

Component-Based Software Development for Embedded Systems An Overview of Current Research Trends

2026-03-14T17:16:01Z

Author Atkinson, Colin. editor. Bunse, Christian. editor. Gross, Hans-Gerhard. editor. Peper, Christian. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11591962
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2026-03-14T17:16:01Z

Author Halbwachs, Nicolas. editor. Zuck, Lenore D. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b107194
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

2026-03-14T17:16:01Z

Author Sagiv, Mooly. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b107380
Format: Electronic Resources
Availability Online Library~1

Engineering Theories of Software Intensive Systems Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

2026-03-14T17:16:01Z

Author Broy, Manfred. editor. Grünbauer, Johannes. editor. Harel, David. editor. Hoare, Tony. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-4020-3532-2
Format: Electronic Resources
Availability Online Library~1

Embedded Software and Systems First International Conference, ICESS 2004, Hangzhou, China, December 9-10, 2004, Revised Selected Papers

2026-03-14T17:16:01Z

Author Wu, Zhaohui. editor. Chen, Chun. editor. Guo, Minyi. editor. Bu, Jiajun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11535409
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Multi-Agent Systems III Research Issues and Practical Applications

2026-03-14T17:16:01Z

Author Choren, Ricardo. editor. Garcia, Alessandro. editor. Lucena, Carlos. editor. Romanovsky, Alexander. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106347
Format: Electronic Resources
Availability Online Library~1

Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

2026-03-14T17:16:01Z

Author Kreowski, Hans-Jörg. editor. Montanari, Ugo. editor. Orejas, Fernando. editor. Rozenberg, Grzegorz. editor. Taentzer, Gabriele. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b106390
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Mobile Computing 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

2026-03-14T17:16:01Z

Author Bernardo, Marco. editor. Bogliolo, Alessandro. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b135888
Format: Electronic Resources
Availability Online Library~1

Embedded Software and Systems Second International Conference, ICESS 2005, Xi’an, China, December 16-18, 2005. Proceedings

2026-03-14T17:16:01Z

Author Yang, Laurence T. editor. Zhou, Xingshe. editor. Zhao, Wei. editor. Wu, Zhaohui. editor. Zhu, Yian. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/11599555
Format: Electronic Resources
Availability Online Library~1

Semantic Knowledge Modelling via Open Linked Ontologies Ontologies in E-Governance

2026-03-14T17:16:01Z

Author Theocharis, Stamatios. author. Tsihrintzis, George A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-20585-9
Format: Electronic Resources
Availability Online Library~1

ACS Without an Attitude

2026-03-14T17:16:01Z

Author Hallock, Harold L. author. Welter, Gary. author. Simpson, David G. author. Rouff, Christopher. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4471-7325-0
Format: Electronic Resources
Availability Online Library~1

Autonomy Requirements Engineering for Space Missions

2026-03-14T17:16:01Z

Author Vassev, Emil. author. Hinchey, Mike. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-09816-6
Format: Electronic Resources
Availability Online Library~1

Semantic Web: Concepts, Technologies and Applications

2026-03-14T17:16:01Z

Author Breitman, Karin Koogan. author. Casanova, Marco Antonio. author. Truszkowski, Walter. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-84628-710-7
Format: Electronic Resources
Availability Online Library~1

Pragmatic Evaluation of Software Architectures

2026-03-14T17:16:01Z

Author Knodel, Jens. author. Naab, Matthias. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-34177-4
Format: Electronic Resources
Availability Online Library~1

Aligning Organizations Through Measurement The GQM+Strategies Approach

2026-03-14T17:16:01Z

Author Basili, Victor. author. Trendowicz, Adam. author. Kowalczyk, Martin. author. Heidrich, Jens. author. Seaman, Carolyn. author.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-05047-8
Format: Electronic Resources
Availability Online Library~1

Software Cost Estimation, Benchmarking, and Risk Assessment The Software Decision-Makers' Guide to Predictable Software Development

2026-03-14T17:16:01Z

Author Trendowicz, Adam. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(333358.1)
Electronic Access http://dx.doi.org/10.1007/978-3-642-30764-5
Format: Electronic Resources
Availability Online Library~1

Software Process Definition and Management

2026-03-14T17:16:01Z

Author Münch, Jürgen. author. Armbrust, Ove. author. Kowalczyk, Martin. author. Soto, Martín. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-24291-5
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction 10th Iberoamerican Conference, HCI-COLLAB 2024, Pereira, Colombia, June 4-7, 2024, Revised Selected Papers

2026-03-14T17:16:01Z

Author Agredo-Delgado, Vanessa. editor. (orcid)0000-0003-0870-6895 Ruiz, Pablo H. editor. (orcid)0000-0003-2098-2614 Meneses Escobar, Carlos Augusto. editor. (orcid)0000-0002-8192-6889 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-91328-0
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I

2026-03-14T17:16:01Z

Author Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-78709-6
Format: Electronic Resources
Availability Online Library~1

Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science On-line Conference 2025, Volume 4

2026-03-14T17:16:01Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-032-03406-9
Format: Electronic Resources
Availability Online Library~1

The AI Act and The Agile Safety Plan

2026-03-14T17:16:01Z

Author Myklebust, Thor. author. (orcid)0000-0002-9283-092X Stålhane, Tor. author. Vatn, Dorthea Mathilde Kristin. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-80504-2
Format: Electronic Resources
Availability Online Library~1

Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

2026-03-14T17:16:01Z

Author Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90900-9
Format: Electronic Resources
Availability Online Library~1

Software Engineering: Emerging Trends and Practices in System Development Proceedings of the 14th Computer Science On-line Conference 2025, Volume 6

2026-03-14T17:16:01Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-032-00715-5
Format: Electronic Resources
Availability Online Library~1

Distributed Ledger Technology 8th International Symposium, SDLT 2024, Brisbane, QLD, Australia, November 28-29, 2024, Revised Selected Papers

2026-03-14T17:16:01Z

Author Kanhere, Salil. editor. (orcid)0000-0002-1835-3475 Jurdak, Raja. editor. (orcid)0000-0001-7517-0782 Parkinson, Joy. editor. Sridharan, Bhavani. editor. Pal, Shantanu. editor. (orcid)0000-0002-8784-0154
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-96-4442-1
Format: Electronic Resources
Availability Online Library~1

Applied Informatics 7th International Conference, ICAI 2024, Viña del Mar, Chile, October 24-26, 2024, Proceedings, Part I

2026-03-14T17:16:01Z

Author Florez, Hector. editor. (orcid)0000-0002-5339-4459 Astudillo, Hernán. editor. (orcid)0000-0002-6487-5813 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-75144-8
Format: Electronic Resources
Availability Online Library~1

Applied Informatics 7th International Conference, ICAI 2024, Viña del Mar, Chile, October 24-26, 2024, Proceedings, Part II

2026-03-14T17:16:01Z

Author Florez, Hector. editor. (orcid)0000-0002-5339-4459 Astudillo, Hernán. editor. (orcid)0000-0002-6487-5813 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-75147-9
Format: Electronic Resources
Availability Online Library~1

Requirements Engineering: Foundation for Software Quality 31st International Working Conference, REFSQ 2025, Barcelona, Spain, April 7-10, 2025, Proceedings

2026-03-14T17:16:01Z

Author Hess, Anne. editor. (orcid)0000-0001-7614-5802 Susi, Angelo. editor. (orcid)0000-0002-5026-7462 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-88531-0
Format: Electronic Resources
Availability Online Library~1

Engineering of Complex Computer Systems 28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19-21, 2024, Proceedings

2026-03-14T17:16:01Z

Author Bai, Guangdong. editor. (orcid)0000-0002-6390-9890 Ishikawa, Fuyuki. editor. (orcid)0000-0001-7725-2618 Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 Papadopoulos, George A. editor. (orcid)0000-0001-9250-4916 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-66456-4
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

2026-03-14T17:16:01Z

Author Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-77382-2
Format: Electronic Resources
Availability Online Library~1

Data Protection for Software Development and IT A Practical Introduction

2026-03-14T17:16:01Z

Author Kneuper, Ralf. author. (orcid)0000-0003-3225-5895 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-70639-8
Format: Electronic Resources
Availability Online Library~1

The Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday

2026-03-14T17:16:01Z

Author Hinchey, Mike. editor. Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-73887-6
Format: Electronic Resources
Availability Online Library~1

Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career

2026-03-14T17:16:01Z

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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-73751-0
Format: Electronic Resources
Availability Online Library~1

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I

2026-03-14T17:16:01Z

Author Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-82700-6
Format: Electronic Resources
Availability Online Library~1

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II

2026-03-14T17:16:01Z

Author Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-82703-7
Format: Electronic Resources
Availability Online Library~1

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II

2026-03-14T17:16:01Z

Author Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-78750-8
Format: Electronic Resources
Availability Online Library~1

New Challenges in Software Engineering Volume 1

2026-03-14T17:16:01Z

Author Mejía, Jezreel. editor. (orcid)0000-0003-0292-9318 Muñoz, Mirna. editor. Rocha, Alvaro. editor. Espinosa-Faller, Francisco Javier. editor. Trejo-Sanchez, Joel Antonio. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-90310-6
Format: Electronic Resources
Availability Online Library~1

Analysis and Design of Next-Generation Software Architectures Generative AI, Cybersecurity, and Cloud Computing

2026-03-14T17:16:01Z

Author Langer, Arthur M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-76212-3
Format: Electronic Resources
Availability Online Library~1

Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science Online Conference 2025, Volume 2

2026-03-14T17:16:01Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-032-00712-4
Format: Electronic Resources
Availability Online Library~1

Management of Digital EcoSystems 16th International Conference, MEDES 2024, Naples, Italy, November 18-20, 2024, Proceedings

2026-03-14T17:16:01Z

Author Chbeir, Richard. editor. (orcid)0000-0003-4112-1426 Damiani, Ernesto. editor. (orcid)0000-0002-9557-6496 Dustdar, Schahram. editor. (orcid)0000-0001-6872-8821 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Masciari, Elio. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-93598-5
Format: Electronic Resources
Availability Online Library~1

Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science On-line Conference 2025, Volume 3

2026-03-14T17:16:01Z

Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-032-00239-6
Format: Electronic Resources
Availability Online Library~1

Systems Benchmarking For Scientists and Engineers

2026-03-14T17:16:01Z

Author Kounev, Samuel. author. Lange, Klaus-Dieter. author. von Kistowski, Jóakim. author. (orcid)0000-0002-3046-5373 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-85634-1
Format: Electronic Resources
Availability Online Library~1

Rebeca for Actor Analysis in Action Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday

2026-03-14T17:16:01Z

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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-85134-6
Format: Electronic Resources
Availability Online Library~1

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

2026-03-14T17:16:01Z

Author Balouek, Daniel. editor. (orcid)0000-0001-6038-1077 Medeiros, Ibéria. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-95728-4
Format: Electronic Resources
Availability Online Library~1

NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings

2026-03-14T17:16:01Z

Author Dutle, Aaron. editor. (orcid)0000-0002-8503-5514 Humphrey, Laura. editor. (orcid)0000-0002-3148-9035 Titolo, Laura. editor. (orcid)0000-0001-7820-7640 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-93706-4
Format: Electronic Resources
Availability Online Library~1

Go Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday

2026-03-14T17:16:01Z

Author Ernst, Gidon. editor. (orcid)0000-0002-3289-5764 Güdemann, Matthias. editor. (orcid)0000-0002-1002-6023 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 Nafz, Florian. editor. (orcid)0000-0001-5725-4827 Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-92196-4
Format: Electronic Resources
Availability Online Library~1

Business Modeling and Software Design 14th International Symposium, BMSD 2024, Luxembourg City, Luxembourg, July 1-3, 2024, Proceedings

2026-03-14T17:16:01Z

Author Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-64073-5
Format: Electronic Resources
Availability Online Library~1

Mechatronics - Industry-Inspired Advances

2026-03-14T17:16:01Z

Author Martowicz, Adam. editor. (orcid)0000-0001-9630-0355 Mańka, Michał. editor. (orcid)0000-0002-2959-9681 Mendrok, Krzysztof. editor. (orcid)0000-0002-3720-6454 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-63444-4
Format: Electronic Resources
Availability Online Library~1

Management of Digital EcoSystems 15th International Conference, MEDES 2023, Heraklion, Crete, Greece, May 5-7, 2023, Revised Selected Papers

2026-03-14T17:16:01Z

Author Chbeir, Richard. editor. (orcid)0000-0003-4112-1426 Benslimane, Djamal. editor. Zervakis, Michalis. editor. Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Ngyuen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-51643-6
Format: Electronic Resources
Availability Online Library~1

Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

2026-03-14T17:16:01Z

Author Cámara, Javier. editor. Jongmans, Sung-Shik. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-52183-6
Format: Electronic Resources
Availability Online Library~1

NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings

2026-03-14T17:16:01Z

Author Benz, Nathaniel. editor. (orcid)0009-0003-9672-5929 Gopinath, Divya. editor. (orcid)0000-0002-1242-7701 Shi, Nija. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-60698-4
Format: Electronic Resources
Availability Online Library~1

Applications and Usability of Interactive TV 12th Iberoamerican Conference, jAUTI 2023, Havana, Cuba, October 16-17, 2023, Revised Selected Papers

2026-03-14T17:16:01Z

Author Abásolo, María José. editor. (orcid)0000-0003-4441-3264 Febles Estrada, Ailyn. editor. (orcid)0000-0002-5742-9719 De Castro Lozano, Carlos. editor. (orcid)0000-0002-8240-0344 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-70439-0
Format: Electronic Resources
Availability Online Library~1

Tools for Design, Implementation and Verification of Emerging Information Technologies 18th EAI International Conference, TRIDENTCOM 2023, Nanjing, China, November 11-13, 2023, Proceedings

2026-03-14T17:16:01Z

Author Liu, Jianghua. editor. Xu, Lei. editor. (orcid)0000-0001-9178-6640 Huang, Xinyi. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-51399-2
Format: Electronic Resources
Availability Online Library~1

Ernst Denert Award for Software Engineering 2022 Practice Meets Foundations

2026-03-14T17:16:01Z

Author Bodden, Eric. editor. Felderer, Michael. editor. Hasselbring, Wilhelm. editor. (orcid)0000-0001-6625-4335 Herber, Paula. editor. Koziolek, Heiko. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-44412-8
Format: Electronic Resources
Availability Online Library~1

New Perspectives in Software Engineering

2026-03-14T17:16:01Z

Author Mejía, Jezreel. editor. (orcid)0000-0003-0292-9318 Muñoz, Mirna. editor. Rocha, Alvaro. editor. (orcid)0000-0002-0750-8187 Hernández Pérez, Yasmin. editor. (orcid)0000-0002-8842-0899 Avila-George, Himer. editor. (orcid)0000-0001-8578-0170
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-50590-4
Format: Electronic Resources
Availability Online Library~1

Enterprise Interoperability X Enterprise Interoperability Through Connected Digital Twins

2026-03-14T17:16:01Z

Author Rodríguez-Rodríguez, Raúl. editor. Ducq, Yves. editor. (orcid)0000-0001-5144-5876 Leon, Ramona-Diana. editor. Romero, David. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-24771-2
Format: Electronic Resources
Availability Online Library~1

Evaluation of Novel Approaches to Software Engineering 18th International Conference, ENASE 2023, Prague, Czech Republic, April 24-25, 2023, Revised Selected Papers

2026-03-14T17:16:01Z

Author Kaindl, Hermann. editor. Mannion, Mike. editor. Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-64182-4
Format: Electronic Resources
Availability Online Library~1

Computer Safety, Reliability, and Security 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18-20, 2024, Proceedings

2026-03-14T17:16:01Z

Author Ceccarelli, Andrea. editor. (orcid)0000-0002-2291-2428 Trapp, Mario. editor. Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-68606-1
Format: Electronic Resources
Availability Online Library~1

Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers

2026-03-14T17:16:01Z

Author Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341 Domínguez Mayo, Francisco José. editor. van Sinderen, Marten. editor. (orcid)0000-0001-7118-1353 Maciaszek, Leszek A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-61753-9
Format: Electronic Resources
Availability Online Library~1

The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

2026-03-14T17:16:01Z

Author Foster, Simon. editor. (orcid)0000-0002-9889-9514 Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-67114-2
Format: Electronic Resources
Availability Online Library~1

Symbolic Computation in Software Science 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings

2026-03-14T17:16:01Z

Author Watt, Stephen M. editor. (orcid)0000-0001-8303-4983 Ida, Tetsuo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-69042-6
Format: Electronic Resources
Availability Online Library~1

Database and Expert Systems Applications - DEXA 2024 Workshops IWCFS, AISys, CIU, Naples, Italy, August 26-28, 2024, Proceedings

2026-03-14T17:16:01Z

Author Moser, Bernhard. editor. Fischer, Lukas. editor. Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953 Sametinger, Johannes. editor. (orcid)0000-0002-0637-6602 Glock, Anna-Christina. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-68302-2
Format: Electronic Resources
Availability Online Library~1

CyberSecurity in a DevOps Environment From Requirements to Monitoring

2026-03-14T17:16:01Z

Author Sadovykh, Andrey. editor. Truscan, Dragos. editor. Mallouli, Wissam. editor. Cavalli, Ana Rosa. editor. Seceleanu, Cristina. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42212-6
Format: Electronic Resources
Availability Online Library~1

The French School of Programming

2026-03-14T17:16:01Z

Author Meyer, Bertrand. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34518-0
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction 9th Iberoamerican Workshop, HCI-COLLAB 2023, Buenos Aires, Argentina, September 13-15, 2023, Revised Selected Papers

2026-03-14T17:16:01Z

Author Ruiz, Pablo H. editor. (orcid)0000-0003-2098-2614 Agredo-Delgado, Vanessa. editor. (orcid)0000-0003-0870-6895 Mon, Alicia. editor. (orcid)0000-0001-6365-9943 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57982-0
Format: Electronic Resources
Availability Online Library~1

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

2026-03-14T17:16:01Z

Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-57259-3
Format: Electronic Resources
Availability Online Library~1

Quantum Software Aspects of Theory and System Design

2026-03-14T17:16:01Z

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)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-64136-7
Format: Electronic Resources
Availability Online Library~1

Intelligent Transport Systems 7th EAI International Conference, INTSYS 2023, Molde, Norway, September 6-7, 2023, Proceedings

2026-03-14T17:16:01Z

Author Martins, Ana Lucia. editor. (orcid)0000-0002-8533-6595 Ferreira, Joao C. editor. Kocian, Alexander. editor. Tokkozhina, Ulpan. editor. Helgheim, Berit Irene. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-49379-9
Format: Electronic Resources
Availability Online Library~1

Software Quality as a Foundation for Security 16th International Conference on Software Quality, SWQD 2024, Vienna, Austria, April 23-25, 2024, Proceedings

2026-03-14T17:16:01Z

Author Bludau, Peter. editor. (orcid)0000-0003-4738-0488 Ramler, Rudolf. editor. (orcid)0000-0001-9903-6107 Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Bergsmann, Johannes. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-56281-5
Format: Electronic Resources
Availability Online Library~1

Advances in Computing 17th Colombian Conference on Computing, CCC 2023, Medellin, Colombia, August 10-11, 2023, Revised Selected Papers

2026-03-14T17:16:01Z

Author Tabares, Marta. editor. Vallejo, Paola. editor. Suarez, Biviana. editor. Suarez, Marco. editor. Ruiz, Oscar. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-47372-2
Format: Electronic Resources
Availability Online Library~1

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

2026-03-14T17:16:01Z

Author Martins, Rolando. editor. (orcid)0000-0002-1838-1417 Selimi, Mennan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-62638-8
Format: Electronic Resources
Availability Online Library~1

Distributed Ledger Technology 7th International Symposium, SDLT 2023, Brisbane, QLD, Australia, November 30 - December 1, 2023, Revised Selected Papers

2026-03-14T17:16:01Z

Author Dong, Naipeng. editor. Pillai, Babu. editor. (orcid)0000-0003-4675-154X Bai, Guangdong. editor. Utting, Mark. editor. (orcid)0000-0003-3134-6306 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-0006-6
Format: Electronic Resources
Availability Online Library~1

Agile-SOFL Agile Formal Engineering Method

2026-03-14T17:16:01Z

Author Liu, Shaoying. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-97-2285-3
Format: Electronic Resources
Availability Online Library~1

ITNG 2023 20th International Conference on Information Technology-New Generations

2026-03-14T17:16:01Z

Author Latifi, Shahram. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-28332-1
Format: Electronic Resources
Availability Online Library~1

Challenges of Software Verification

2026-03-14T17:16:01Z

Author Arceri, Vincenzo. editor. Cortesi, Agostino. editor. Ferrara, Pietro. editor. Olliaro, Martina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-9601-6
Format: Electronic Resources
Availability Online Library~1

Perspectives in Business Informatics Research 18th International Conference, BIR 2019, Katowice, Poland, September 23–25, 2019, Proceedings

2026-03-14T17:16:01Z

Author Pańkowska, Małgorzata. editor. (orcid)0000-0001-8660-606X Sandkuhl, Kurt. editor. (orcid)0000-0002-7431-8412 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31143-8
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction 5th Iberoamerican Workshop, HCI-Collab 2019, Puebla, Mexico, June 19–21, 2019, Revised Selected Papers

2026-03-14T17:16:01Z

Author Ruiz, Pablo H. editor. (orcid)0000-0003-2098-2614 Agredo-Delgado, Vanessa. editor. (orcid)0000-0003-0870-6895 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-37386-3
Format: Electronic Resources
Availability Online Library~1

Ambient Intelligence 15th European Conference, AmI 2019, Rome, Italy, November 13–15, 2019, Proceedings

2026-03-14T17:16:01Z

Author Chatzigiannakis, Ioannis. editor. (orcid)0000-0001-8955-9270 De Ruyter, Boris. editor. (orcid)0000-0002-2682-7538 Mavrommati, Irene. editor. (orcid)0000-0002-8870-746X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34255-5
Format: Electronic Resources
Availability Online Library~1

Networked Systems 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers

2026-03-14T17:16:01Z

Author Podelski, Andreas. editor. Taïani, François. editor. (orcid)0000-0002-9692-5678 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-05529-5
Format: Electronic Resources
Availability Online Library~1

Networked Systems 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19–21, 2019, Revised Selected Papers

2026-03-14T17:16:01Z

Author Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481 Schwarzmann, Alexander A. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-31277-0
Format: Electronic Resources
Availability Online Library~1

Cooperative Design, Visualization, and Engineering 16th International Conference, CDVE 2019, Mallorca, Spain, October 6–9, 2019, Proceedings

2026-03-14T17:16:01Z

Author Luo, Yuhua. editor. (orcid)0000-0003-3057-4753 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-30949-7
Format: Electronic Resources
Availability Online Library~1

Futuristic Trends in Network and Communication Technologies First International Conference, FTNCT 2018, Solan, India, February 9–10, 2018, Revised Selected Papers

2026-03-14T17:16:01Z

Author Singh, Pradeep Kumar. editor. (orcid)0000-0002-7676-9014 Paprzycki, Marcin. editor. (orcid)0000-0002-8069-2152 Bhargava, Bharat. editor. Chhabra, Jitender Kumar. editor. Kaushal, Narottam Chand. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-13-3804-5
Format: Electronic Resources
Availability Online Library~1

Enterprise Information Systems 20th International Conference, ICEIS 2018, Funchal, Madeira, Portugal, March 21-24, 2018, Revised Selected Papers

2026-03-14T17:16:01Z

Author Hammoudi, Slimane. editor. Śmiałek, Michał. editor. Camp, Olivier. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-26169-6
Format: Electronic Resources
Availability Online Library~1

Mathematical Morphology and Its Applications to Signal and Image Processing 14th International Symposium, ISMM 2019, Saarbrücken, Germany, July 8-10, 2019, Proceedings

2026-03-14T17:16:01Z

Author Burgeth, Bernhard. editor. (orcid)0000-0001-6602-6201 Kleefeld, Andreas. editor. (orcid)0000-0001-8324-821X Naegel, Benoît. editor. (orcid)0000-0002-7695-1473 Passat, Nicolas. editor. (orcid)0000-0002-0320-4581 Perret, Benjamin. editor. (orcid)0000-0003-0933-8342
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-20867-7
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence and Security 5th International Conference, ICAIS 2019, New York, NY, USA, July 26–28, 2019, Proceedings, Part IV

2026-03-14T17:16:01Z

Author Sun, Xingming. editor. (orcid)0000-0003-1390-399X Pan, Zhaoqing. editor. (orcid)0000-0003-1390-399X Bertino, Elisa. editor. (orcid)0000-0002-4029-7051 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-24268-8
Format: Electronic Resources
Availability Online Library~1

Distributed Real-Time Systems Theory and Practice

2026-03-14T17:16:01Z

Author Erciyes, K. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-22570-4
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part I

2026-03-14T17:16:01Z

Author Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-24289-3
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part VI

2026-03-14T17:16:01Z

Author Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-24311-1
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part V

2026-03-14T17:16:01Z

Author Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-24308-1
Format: Electronic Resources
Availability Online Library~1

Service Research and Innovation 7th Australian Symposium, ASSRI 2018, Sydney, NSW, Australia, September 6, 2018, and Wollongong, NSW, Australia, December 14, 2018, Revised Selected Papers

2026-03-14T17:16:01Z

Author Lam, Ho-Pun. editor. (orcid)0000-0002-1137-8549 Mistry, Sajib. editor. (orcid)0000-0001-7513-3789 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-32242-7
Format: Electronic Resources
Availability Online Library~1

High-Performance Computing Applications in Numerical Simulation and Edge Computing ACM ICS 2018 International Workshops, HPCMS and HiDEC, Beijing, China, June 12, 2018, Revised Selected Papers

2026-03-14T17:16:01Z

Author Hu, Changjun. editor. Yang, Wen. editor. Jiang, Congfeng. editor. Dai, Dong. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-32-9987-0
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part IV

2026-03-14T17:16:01Z

Author Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-24305-0
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering Workshops CAiSE 2019 International Workshops, Rome, Italy, June 3-7, 2019, Proceedings

2026-03-14T17:16:01Z

Author Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 Stirna, Janis. editor. (orcid)0000-0002-3669-832X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-20948-3
Format: Electronic Resources
Availability Online Library~1

HCI International 2019 - Posters 21st International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I

2026-03-14T17:16:01Z

Author Stephanidis, Constantine. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-23522-2
Format: Electronic Resources
Availability Online Library~1

Internet and Distributed Computing Systems 12th International Conference, IDCS 2019, Naples, Italy, October 10–12, 2019, Proceedings

2026-03-14T17:16:01Z

Author Montella, Raffaele. editor. Ciaramella, Angelo. editor. (orcid)0000-0001-5592-7995 Fortino, Giancarlo. editor. Guerrieri, Antonio. editor. (orcid)0000-0003-1469-9484 Liotta, Antonio. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34914-1
Format: Electronic Resources
Availability Online Library~1

Critical Infrastructure Protection XIII 13th IFIP WG 11.10 International Conference, ICCIP 2019, Arlington, VA, USA, March 11–12, 2019, Revised Selected Papers

2026-03-14T17:16:01Z

Author Staggs, Jason. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-34647-8
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part III

2026-03-14T17:16:01Z

Author Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-24302-9
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications – ICCSA 2019 19th International Conference, Saint Petersburg, Russia, July 1–4, 2019, Proceedings, Part II

2026-03-14T17:16:01Z

Author Misra, Sanjay. editor. (orcid)0000-0002-3556-9331 Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Stankova, Elena. editor. (orcid)0000-0003-2625-452X Korkhov, Vladimir. editor. (orcid)0000-0003-2458-3194
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-24296-1
Format: Electronic Resources
Availability Online Library~1

Computational Collective Intelligence 10th International Conference, ICCCI 2018, Bristol, UK, September 5-7, 2018, Proceedings, Part II

2026-03-14T17:16:01Z

Author Nguyen, Ngoc Thanh. editor. Pimenidis, Elias. editor. Khan, Zaheer. editor. Trawiński, Bogdan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-98446-9
Format: Electronic Resources
Availability Online Library~1

Product Lifecycle Management to Support Industry 4.0 15th IFIP WG 5.1 International Conference, PLM 2018, Turin, Italy, July 2-4, 2018, Proceedings

2026-03-14T17:16:01Z

Author Chiabert, Paolo. editor. Bouras, Abdelaziz. editor. Noël, Frédéric. editor. Ríos, José. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-01614-2
Format: Electronic Resources
Availability Online Library~1

GNSS for Rail Transportation Challenges and Opportunities

2026-03-14T17:16:01Z

Author Lo Presti, Letizia. editor. Sabina, Salvatore. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-79084-8
Format: Electronic Resources
Availability Online Library~1

Advanced Information Systems Engineering Workshops CAiSE 2018 International Workshops, Tallinn, Estonia, June 11-15, 2018, Proceedings

2026-03-14T17:16:01Z

Author Matulevičius, Raimundas. editor. Dijkman, Remco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-92898-2
Format: Electronic Resources
Availability Online Library~1

Enterprise Information Systems 19th International Conference, ICEIS 2017, Porto, Portugal, April 26-29, 2017, Revised Selected Papers

2026-03-14T17:16:01Z

Author Hammoudi, Slimane. editor. Śmiałek, Michał. editor. Camp, Olivier. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93375-7
Format: Electronic Resources
Availability Online Library~1

Comparing and Aligning Process Representations Foundations and Technical Solutions

2026-03-14T17:16:01Z

Author van der Aa, Han. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94634-4
Format: Electronic Resources
Availability Online Library~1

Fundamentals of Business Process Management

2026-03-14T17:16:01Z

Author Dumas, Marlon. author. La Rosa, Marcello. author. Mendling, Jan. author. Reijers, Hajo A. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-56509-4
Format: Electronic Resources
Availability Online Library~1

Pattern Recognition and Computer Vision First Chinese Conference, PRCV 2018, Guangzhou, China, November 23-26, 2018, Proceedings, Part III

2026-03-14T17:16:01Z

Author Lai, Jian-Huang. editor. Liu, Cheng-Lin. editor. Chen, Xilin. editor. Zhou, Jie. editor. Tan, Tieniu. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-03338-5
Format: Electronic Resources
Availability Online Library~1

Agents and Artificial Intelligence 9th International Conference, ICAART 2017, Porto, Portugal, February 24–26, 2017, Revised Selected Papers

2026-03-14T17:16:01Z

Author van den Herik, Jaap. editor. Rocha, Ana Paula. editor. Filipe, Joaquim. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-93581-2
Format: Electronic Resources
Availability Online Library~1

Software-Defined Cloud Centers Operational and Management Technologies and Tools

2026-03-14T17:16:01Z

Author Raj, Pethuru. author. Raman, Anupama. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78637-7
Format: Electronic Resources
Availability Online Library~1

Service Research and Innovation 5th and 6th Australasian Symposium, ASSRI 2015 and ASSRI 2017, Sydney, NSW, Australia, November 2–3, 2015, and October 19–20, 2017, Revised Selected Papers

2026-03-14T17:16:01Z

Author Beheshti, Amin. editor. (orcid)0000-0002-5988-5494 Hashmi, Mustafa. editor. (orcid)0000-0002-6376-082X Dong, Hai. editor. (orcid)0000-0002-7033-5688 Zhang, Wei Emma. editor. (orcid)0000-0002-0406-5974 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76587-7
Format: Electronic Resources
Availability Online Library~1

Business Modeling and Software Design 8th International Symposium, BMSD 2018, Vienna, Austria, July 2-4, 2018, Proceedings

2026-03-14T17:16:01Z

Author Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94214-8
Format: Electronic Resources
Availability Online Library~1

Internet of Things (IoT) Technologies for HealthCare 4th International Conference, HealthyIoT 2017, Angers, France, October 24-25, 2017, Proceedings

2026-03-14T17:16:01Z

Author Ahmed, Mobyen Uddin. editor. Begum, Shahina. editor. (orcid)0000-0002-1212-7637 Fasquel, Jean-Baptiste. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-76213-5
Format: Electronic Resources
Availability Online Library~1

Enterprise and Organizational Modeling and Simulation 14th International Workshop, EOMAS 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11–12, 2018, Selected Papers

2026-03-14T17:16:01Z

Author Pergl, Robert. editor. (orcid)0000-0003-2980-4400 Babkin, Eduard. editor. (orcid)0000-0003-2597-9043 Lock, Russell. editor. (orcid)0000-0002-4543-3753 Malyzhenkov, Pavel. editor. (orcid)0000-0003-1973-5026 Merunka, Vojtěch. editor. (orcid)0000-0002-9056-1439
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00787-4
Format: Electronic Resources
Availability Online Library~1

Capability Management in Digital Enterprises

2026-03-14T17:16:01Z

Author Sandkuhl, Kurt. editor. Stirna, Janis. editor. (orcid)0000-0002-3669-832X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-90424-5
Format: Electronic Resources
Availability Online Library~1

Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9–10, 2018, Proceedings

2026-03-14T17:16:01Z

Author Stamelos, Ioannis. editor. O'Connor, Rory V. editor. Rout, Terry. editor. Dorling, Alec. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-030-00623-5
Format: Electronic Resources
Availability Online Library~1

Human Centered Computing Third International Conference, HCC 2017, Kazan, Russia, August 7–9, 2017, Revised Selected Papers

2026-03-14T17:16:01Z

Author Zu, Qiaohong. editor. Hu, Bo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-74521-3
Format: Electronic Resources
Availability Online Library~1

Enterprise, Business-Process and Information Systems Modeling 19th International Conference, BPMDS 2018, 23rd International Conference, EMMSAD 2018, Held at CAiSE 2018, Tallinn, Estonia, June 11-12, 2018, Proceedings

2026-03-14T17:16:01Z

Author Gulden, Jens. editor. (orcid)0000-0003-4824-8569 Reinhartz-Berger, Iris. editor. (orcid)0000-0002-1419-4905 Schmidt, Rainer. editor. Guerreiro, Sérgio. editor. (orcid)0000-0002-8627-3338 Guédria, Wided. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-91704-7
Format: Electronic Resources
Availability Online Library~1

Business Modeling and Software Design 7th International Symposium, BMSD 2017, Barcelona, Spain, July 3–5, 2017, Revised Selected Papers

2026-03-14T17:16:01Z

Author Shishkov, Boris. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-78428-1
Format: Electronic Resources
Availability Online Library~1

Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II

2026-03-14T17:16:01Z

Author Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63390-9
Format: Electronic Resources
Availability Online Library~1

Business Process Management 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings

2026-03-14T17:16:01Z

Author Carmona, Josep. editor. Engels, Gregor. editor. Kumar, Akhil. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65000-5
Format: Electronic Resources
Availability Online Library~1

Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools

2026-03-14T17:16:01Z

Author Mahmood, Zaigham. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-54325-3
Format: Electronic Resources
Availability Online Library~1

Self-Aware Computing Systems

2026-03-14T17:16:01Z

Author Kounev, Samuel. editor. Kephart, Jeffrey O. editor. Milenkoski, Aleksandar. editor. Zhu, Xiaoyun. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-47474-8
Format: Electronic Resources
Availability Online Library~1

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

2026-03-14T17:16:01Z

Author Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-63501-9
Format: Electronic Resources
Availability Online Library~1

Enterprise Information Systems 18th International Conference, ICEIS 2016, Rome, Italy, April 25-28, 2016, Revised Selected Papers

2026-03-14T17:16:01Z

Author Hammoudi, Slimane. editor. Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 Missikoff, Michele M. editor. Camp, Olivier. editor. (orcid)0000-0003-0905-2432 Cordeiro, José. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-62386-3
Format: Electronic Resources
Availability Online Library~1

Algorithms and Architectures for Parallel Processing 17th International Conference, ICA3PP 2017, Helsinki, Finland, August 21-23, 2017, Proceedings

2026-03-14T17:16:01Z

Author Ibrahim, Shadi. editor. Choo, Kim-Kwang Raymond. editor. (orcid)0000-0001-9208-5336 Yan, Zheng. editor. Pedrycz, Witold. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-65482-9
Format: Electronic Resources
Availability Online Library~1

Pervasive Computing Engineering Smart Systems

2026-03-14T17:16:01Z

Author Silvis-Cividjian, Natalia. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-51655-4
Format: Electronic Resources
Availability Online Library~1

Coordination, Organizations, Institutions, and Norms in Agent Systems XII COIN 2016 International Workshops, COIN@AAMAS, Singapore, Singapore, May 9, 2016, COIN@ECAI, The Hague, The Netherlands, August 30, 2016, Revised Selected Papers

2026-03-14T17:16:01Z

Author Cranefield, Stephen. editor. Mahmoud, Samhar. editor. Padget, Julian. editor. Rocha, Ana Paula. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-66595-5
Format: Electronic Resources
Availability Online Library~1