Search Results for Systems software.

Evolving Software Systems

2026-01-27T14:17:45Z

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-01-27T14:17:45Z

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-01-27T14:17:45Z

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

Architecting secure software systems

2026-01-27T14:17:45Z

Author Talukder, Asoke K., author. Chaitanya, Manish.
Preferred Shelf Number QA76.9 .A25 T34 2009
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Fuzzy Logic-Based Software Systems

2026-01-27T14:17:45Z

Author Chrysafiadi, Konstantina. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-44457-9
Format: Electronic Resources
Availability Online Library~1

Systems engineering of software-enabled systems

2026-01-27T14:17:45Z

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 and systems architecture in action

2026-01-27T14:17:45Z

Author Sangwan, Raghvinder S., author.
Preferred Shelf Number QA76.9 .A73 S29 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Recommendation Systems in Software Engineering

2026-01-27T14:17:45Z

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

Gröbner Bases Statistics and Software Systems

2026-01-27T14:17:45Z

Author Hibi, Takayuki. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(335439.1)
Electronic Access http://dx.doi.org/10.1007/978-4-431-54574-3
Format: Electronic Resources
Availability Online Library~1

Embedded systems hardware for software engineers

2026-01-27T14:17:45Z

Author Lipiansky, Ed.
Preferred Shelf Number TK7895.E42 L56 2012
Format: Books
Availability Beytepe Library~1

Embedded systems hardware for software engineers

2026-01-27T14:17:45Z

Author Lipiansky, Ed.
Preferred Shelf Number ONLINE
Electronic Access Subscription required
Format: Electronic Resources
Availability Online Library~1

Systems and software engineering with applications

2026-01-27T14:17:45Z

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-01-27T14:17:45Z

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-01-27T14:17:45Z

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-01-27T14:17:45Z

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-01-27T14:17:45Z

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

Digital control systems : theory, hardware, software

2026-01-27T14:17:45Z

Author Houpis, Constantine H. Lamont, G. B., ort. yaz.
Preferred Shelf Number TJ 223.M53 H68 1985
Format: Books
Availability Beytepe Library~1

EMBEDDED SOFTWARE DEVELOPMENT FOR SAFETY-CRITICAL SYSTEMS

2026-01-27T14:17:45Z

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

Developing Sustainable and Energy-Efficient Software Systems

2026-01-27T14:17:45Z

Author Kruglov, Artem. author. Succi, Giancarlo. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-11658-2
Format: Electronic Resources
Availability Online Library~1

RESOURCE PROPORTIONAL SOFTWARE DESIGN FOR EMERGING SYSTEMS

2026-01-27T14:17:45Z

Author Bhattacharya, Suparna. Gopinath, Kanchi. Voigt, Doug.
Preferred Shelf Number QA76.76 .D47
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781315167220 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Analytic methods in systems and software testing

2026-01-27T14:17:45Z

Author Kenett, Ron, editor. Ruggeri, Fabrizio, editor. Faltin, Frederick W., editor.
Preferred Shelf Number QA76.76 .T48 A52 2018 EB
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119357056
Format: Electronic Resources
Availability Online Library~1

Model-Driven Dependability Assessment of Software Systems

2026-01-27T14:17:45Z

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

Software Tools and Algorithms for Biological Systems

2026-01-27T14:17:45Z

Author Arabnia, Hamid R. editor. Tran, Quoc-Nam. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-7046-6
Format: Electronic Resources
Availability Online Library~1

Directory of library automation software, systems, and services.

2026-01-27T14:17:45Z

Author Cibbarelli, Pamela R., ed. Information Today, Inc.
Preferred Shelf Number Z678.9.A3 D6
Format: Books
Availability Beytepe Library~1

Safety Assurance under Uncertainties : From Software to Cyber-Physical/Machine Learning Systems

2026-01-27T14:17:45Z

Author Hasuo, Ichiro editor Ishikawa, Fuyuki editor
Preferred Shelf Number QA76.9 .A25
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003093350 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 SOFTWARE SYSTEMS DEVELOPMENT USING THE META-ARTIFACT PROCESS

2026-01-27T14:17:45Z

Author O'Brien, Wayne.
Preferred Shelf Number QA76.76 .D47
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003448891 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Technology Applied : A Business Leader's Guide to Software, Systems and IT Projects

2026-01-27T14:17:45Z

Author Wooldridge, Kevin, author. Ashurst, Stephen, author.
Preferred Shelf Number HF5548.2
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9781003372660 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Handbook of Re-Engineering Software Intensive Systems into Software Product Lines

2026-01-27T14:17:45Z

Author Lopez-Herrejon, Roberto E. editor. Martinez, Jabier. editor. Guez Assunção, Wesley Klewerton. editor. Ziadi, Tewfik. editor. Acher, Mathieu. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-11686-5
Format: Electronic Resources
Availability Online Library~1

Sensor Systems and Software 13th EAI International Conference, S-Cube 2022, Dalian, China, December 7-9, 2022, Proceedings

2026-01-27T14:17:45Z

Author Karimi , Hamid Reza. editor. Wang, Ning. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34899-0
Format: Electronic Resources
Availability Online Library~1

Development of Safety-Critical Systems Architecture and Software

2026-01-27T14:17:45Z

Author Karmakar, Gopinath. author. Wakankar, Amol. author. Kabra, Ashutosh. author. Pandya, Paritosh. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-27901-0
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings

2026-01-27T14:17:45Z

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

Testing Software and Systems 35th IFIP WG 6.1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings

2026-01-27T14:17:45Z

Author Bonfanti, Silvia. editor. Gargantini, Angelo. editor. Salvaneschi, Paolo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43240-8
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part II

2026-01-27T14:17:45Z

Author Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-30820-8
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I

2026-01-27T14:17:45Z

Author Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-30823-9
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-01-27T14:17:45Z

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

Systems, Software and Services Process Improvement 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part II

2026-01-27T14:17:45Z

Author Yilmaz, Murat. editor. Clarke, Paul. editor. Riel, Andreas. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42310-9
Format: Electronic Resources
Availability Online Library~1

Designing Modern Embedded Systems: Software, Hardware, and Applications 7th IFIP TC 10 International Embedded Systems Symposium, IESS 2022, Lippstadt, Germany, November 3-4, 2022, Proceedings

2026-01-27T14:17:45Z

Author Henkler, Stefan. editor. Kreutz, Márcio. editor. Wehrmeister, Marco A. editor. Götz, Marcelo. editor. Rettberg, Achim. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34214-1
Format: Electronic Resources
Availability Online Library~1

Systems, Software and Services Process Improvement 30th European Conference, EuroSPI 2023, Grenoble, France, August 30 - September 1, 2023, Proceedings, Part I

2026-01-27T14:17:45Z

Author Yilmaz, Murat. editor. Clarke, Paul. editor. Riel, Andreas. editor. Messnarz, Richard. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42307-9
Format: Electronic Resources
Availability Online Library~1

Applied Computing for Software and Smart Systems Proceedings of ACSS 2022

2026-01-27T14:17:45Z

Author Chaki, Rituparna. editor. Cortesi, Agostino. editor. Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Chaki, Nabendu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-19-6791-7
Format: Electronic Resources
Availability Online Library~1

International Conference on Advanced Intelligent Systems for Sustainable Development Volume 1 - Advanced Intelligent Systems on Artificial Intelligence, Software, and Data Science

2026-01-27T14:17:45Z

Author Kacprzyk, Janusz. editor. Ezziyyani, Mostafa. editor. Balas, Valentina Emilia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-26384-2
Format: Electronic Resources
Availability Online Library~1

Applied Computing for Software and Smart Systems Proceedings of ACSS 2023

2026-01-27T14:17:45Z

Author Chaki, Rituparna. editor. Chaki, Nabendu. editor. Cortesi, Agostino. editor. Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-7783-3
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-01-27T14:17:45Z

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

Complex, Intelligent and Software Intensive Systems Proceedings of the 17th International Conference on Complex, Intelligent and Software Intensive Systems (CISIS-2023)

2026-01-27T14:17:45Z

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

Software engineering for automotive systems : principles and applications

2026-01-27T14:17:45Z

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-01-27T14:17:45Z

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

Interdisciplinary approaches to information systems and software engineering

2026-01-27T14:17:45Z

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

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-01-27T14:17:45Z

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-01-27T14:17:45Z

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

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

2026-01-27T14:17:45Z

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

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

2026-01-27T14:17:45Z

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 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings

2026-01-27T14:17:45Z

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

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-01-27T14:17:45Z

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

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

2026-01-27T14:17:45Z

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

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-01-27T14:17:45Z

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

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

2026-01-27T14:17:45Z

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

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-01-27T14:17:45Z

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-01-27T14:17:45Z

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

Cybernetics Approaches in Intelligent Systems Computational Methods in Systems and Software 2017, vol. 1

2026-01-27T14:17:45Z

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-319-67618-0
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-01-27T14:17:45Z

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

Programming Languages and Systems 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

2026-01-27T14:17:45Z

Author Ahmed, Amal. editor. (orcid)0000-0001-7424-572X SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-89884-1
Format: Electronic Resources
Availability Online Library~1

Complex, Intelligent, and Software Intensive Systems Proceedings of the 11th International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS-2017)

2026-01-27T14:17:45Z

Author Barolli, Leonard. editor. Terzo, Olivier. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61566-0
Format: Electronic Resources
Availability Online Library~1

Applied Computational Intelligence and Mathematical Methods Computational Methods in Systems and Software 2017, vol. 2

2026-01-27T14:17:45Z

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-319-67621-0
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-01-27T14:17:45Z

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

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

2026-01-27T14:17:45Z

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

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

2026-01-27T14:17:45Z

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

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-01-27T14:17:45Z

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-01-27T14:17:45Z

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

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

2026-01-27T14:17:45Z

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

Engineering Secure Software and Systems 10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018, Proceedings

2026-01-27T14:17:45Z

Author Payer, Mathias. editor. Rashid, Awais. editor. Such, Jose M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-94496-8
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-01-27T14:17:45Z

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

Energy Efficient Embedded Video Processing Systems A Hardware-Software Collaborative Approach

2026-01-27T14:17:45Z

Author Khan, Muhammad Usman Karim. author. Shafique, Muhammad. author. Henkel, Jörg. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-61455-7
Format: Electronic Resources
Availability Online Library~1

Handbook of system safety and security : cyber risk and risk management, cyber security, threat analysis, functional safety, software systems, and cyber physical systems

2026-01-27T14:17:45Z

Author Griffor, Edward R., editor.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780128037737
Format: Electronic Resources
Availability Online Library~1

Environment modeling-based requirements engineering for software intensive systems.

2026-01-27T14:17:45Z

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

Systems, Software and Services Process Improvement 22nd European Conference, EuroSPI 2015, Ankara, Turkey, September 30 -- October 2, 2015. Proceedings

2026-01-27T14:17:45Z

Author O'Connor, Rory V. editor. Umay Akkaya, Mariye. editor. Kemaneci, Kerem. editor. Yilmaz, Murat. editor. Poth, Alexander. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-24647-5
Format: Electronic Resources
Availability Online Library~1

Environmental Software Systems. Infrastructures, Services and Applications 11th IFIP WG 5.11 International Symposium, ISESS 2015, Melbourne, VIC, Australia, March 25-27, 2015, Proceedings

2026-01-27T14:17:45Z

Author Denzer, Ralf. editor. Argent, Robert M. editor. Schimak, Gerald. editor. Hřebíček, Jiří. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-15994-2
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Collective Autonomic Systems The ASCENS Approach

2026-01-27T14:17:45Z

Author Wirsing, Martin. editor. Hölzl, Matthias. editor. Koch, Nora. editor. Mayer, Philip. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-16310-9
Format: Electronic Resources
Availability Online Library~1

Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures

2026-01-27T14:17:45Z

Author Bernardo, Marco. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-18941-3
Format: Electronic Resources
Availability Online Library~1

Software Engineering for Resilient Systems 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings

2026-01-27T14:17:45Z

Author Fantechi, Alessandro. editor. Pelliccione, Patrizio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-23129-7
Format: Electronic Resources
Availability Online Library~1

Software Engineering in Intelligent Systems Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 3: Software Engineering in Intelligent Systems

2026-01-27T14:17:45Z

Author Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Prokopova, Zdenka. editor. Silhavy, Petr. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-18473-9
Format: Electronic Resources
Availability Online Library~1

Software Quality. Software and Systems Quality in Distributed and Mobile Environments 7th International Conference, SWQD 2015, Vienna, Austria, January 20-23, 2015, Proceedings

2026-01-27T14:17:45Z

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-13251-8
Format: Electronic Resources
Availability Online Library~1

Model-Integrating Software Components Engineering Flexible Software Systems

2026-01-27T14:17:45Z

Author Derakhshanmanesh, Mahdi. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-658-09646-5
Format: Electronic Resources
Availability Online Library~1

Sensor Systems and Software 5th International Conference, S-CUBE 2014, Coventry, UK, October 6-7, 2014, Revised Selected Papers

2026-01-27T14:17:45Z

Author Kanjo, Eiman. editor. Trossen, Dirk. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-17136-4
Format: Electronic Resources
Availability Online Library~1

Engineering Secure Software and Systems 7th International Symposium, ESSoS 2015, Milan, Italy, March 4-6, 2015, Proceedings

2026-01-27T14:17:45Z

Author Piessens, Frank. editor. Caballero, Juan. editor. Bielova, Nataliia. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-15618-7
Format: Electronic Resources
Availability Online Library~1

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2026-01-27T14:17:45Z

Author Baier, Christel. editor. Tinelli, Cesare. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-662-46681-0
Format: Electronic Resources
Availability Online Library~1

Testing Software and Systems 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings

2026-01-27T14:17:45Z

Author El-Fakih, Khaled. editor. Barlas, Gerassimos. editor. Yevtushenko, Nina. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-25945-1
Format: Electronic Resources
Availability Online Library~1

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2026-01-27T14:17:45Z

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

Software, Services, and Systems Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering

2026-01-27T14:17:45Z

Author De Nicola, Rocco. editor. Hennicker, Rolf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-15545-6
Format: Electronic Resources
Availability Online Library~1

Building Intelligent Information Systems Software : Introducing the Unit Modeler Development Technology

2026-01-27T14:17:45Z

Author Feigenbaum, Thomas D., author
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect https://www.sciencedirect.com/science/book/9780128051016
Format: Electronic Resources
Availability Online Library~1

Embedded and networking systems : design, software, and implementation

2026-01-27T14:17:45Z

Author Khan, Gul N., editor. Iniewski, Krzysztof, 1960- editor.
Preferred Shelf Number TK7895 .E42 E535 2014
Electronic Access Click here to view.
Format: Books
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-01-27T14:17:45Z

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

Software Engineering for Resilient Systems 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings

2026-01-27T14:17:45Z

Author Majzik, István. editor. Vieira, Marco. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-319-12241-0
Format: Electronic Resources
Availability Online Library~1

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

2026-01-27T14:17:45Z

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-01-27T14:17:45Z

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

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

2026-01-27T14:17:45Z

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

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

2026-01-27T14:17:45Z

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-01-27T14:17:45Z

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

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-01-27T14:17:45Z

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

The Art of Software Thermal Management for Embedded Systems

2026-01-27T14:17:45Z

Author Benson, Mark. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-1-4939-0298-9
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-01-27T14:17:45Z

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-01-27T14:17:45Z

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-01-27T14:17:45Z

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

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

2026-01-27T14:17:45Z

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

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

2026-01-27T14:17:45Z

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

Design Science Methodology for Information Systems and Software Engineering

2026-01-27T14:17:45Z

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. Increasing Value in Software and Systems Development 5th International Conference, SWQD 2013, Vienna, Austria, January 15-17, 2013. Proceedings

2026-01-27T14:17:45Z

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

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

2026-01-27T14:17:45Z

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

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

2026-01-27T14:17:45Z

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-01-27T14:17:45Z

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

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

2026-01-27T14:17:45Z

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-01-27T14:17:45Z

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

Using Event-B for Critical Device Software Systems

2026-01-27T14:17:45Z

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

Multicore Systems On-Chip: Practical Software/Hardware Design 2nd Edition

2026-01-27T14:17:45Z

Author Ben Abdallah, Abderazek. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336495.1)
Electronic Access http://dx.doi.org/10.2991/978-94-91216-92-3
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-01-27T14:17:45Z

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

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-01-27T14:17:45Z

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

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-01-27T14:17:45Z

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

Systems, Software and Services Process Improvement 20th European Conference, EuroSPI 2013, Dundalk, Ireland, June 25-27, 2013. Proceedings

2026-01-27T14:17:45Z

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

Planets, Stars and Stellar Systems Volume 2: Astronomical Techniques, Software, and Data

2026-01-27T14:17:45Z

Author Oswalt, Terry D. editor. Bond, Howard E. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE(336020.1)
Electronic Access http://dx.doi.org/10.1007/978-94-007-5618-2
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-01-27T14:17:45Z

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

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

2026-01-27T14:17:45Z

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

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

2026-01-27T14:17:45Z

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-01-27T14:17:45Z

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

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-01-27T14:17:45Z

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-01-27T14:17:45Z

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

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-01-27T14:17:45Z

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

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

2026-01-27T14:17:45Z

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

AI Approaches to the Complexity of Legal Systems. Models and Ethical Challenges for Legal Systems, Legal Language and Legal Ontologies, Argumentation and Software Agents International Workshop AICOL-III, Held as Part of the 25th IVR Congress, Frankfurt am Main, Germany, August 15-16, 2011. Revised Selected Papers

2026-01-27T14:17:45Z

Author Palmirani, Monica. editor. Pagallo, Ugo. editor. Casanovas, Pompeu. editor. Sartor, Giovanni. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-35731-2
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-01-27T14:17:45Z

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

Global Trends in Information Systems and Software Applications 4th International Conference, ObCom 2011, Vellore, TN, India, December 9-11, 2011. Proceedings, Part II

2026-01-27T14:17:45Z

Author Krishna, P. Venkata. editor. Babu, M. Rajasekhara. editor. Ariwa, Ezendu. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-29216-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-01-27T14:17:45Z

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-01-27T14:17:45Z

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

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

2026-01-27T14:17:45Z

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

Embedded systems security practical methods for safe and secure software and systems development

2026-01-27T14:17:45Z

Author Kleidermacher, David. Kleidermacher, Mike.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780123868862
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-01-27T14:17:45Z

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

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-01-27T14:17:45Z

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-01-27T14:17:45Z

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

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

2026-01-27T14:17:45Z

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

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-01-27T14:17:45Z

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

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

2026-01-27T14:17:45Z

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 Engineering and Computer Systems Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part I

2026-01-27T14:17:45Z

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-01-27T14:17:45Z

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

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

2026-01-27T14:17:45Z

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-01-27T14:17:45Z

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

Environmental Software Systems. Frameworks of eEnvironment 9th IFIP WG 5.11 International Symposium, ISESS 2011, Brno, Czech Republic, June 27-29, 2011. Proceedings

2026-01-27T14:17:45Z

Author Hřebíček, Jiří. editor. Schimak, Gerald. editor. Denzer, Ralf. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-22285-6
Format: Electronic Resources
Availability Online Library~1

Formal Development of a Network-Centric RTOS Software Engineering for Reliable Embedded Systems

2026-01-27T14:17:45Z

Author Verhulst, Eric. author. Boute, Raymond T. author. Faria, José Miguel Sampaio. author. Sputh, Bernhard H.C. author. Mezhuyev, Vitaliy. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-9736-4
Format: Electronic Resources
Availability Online Library~1

Hardware/Software Architectures for Low-Power Embedded Multimedia Systems

2026-01-27T14:17:45Z

Author Shafique, Muhammad. author. Henkel, Jörg. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-9692-3
Format: Electronic Resources
Availability Online Library~1

Bond Graph Modelling of Engineering Systems Theory, Applications and Software Support

2026-01-27T14:17:45Z

Author Borutzky, Wolfgang. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-1-4419-9368-7
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-01-27T14:17:45Z

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

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

2026-01-27T14:17:45Z

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

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-01-27T14:17:45Z

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

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

2026-01-27T14:17:45Z

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

Metadata-driven Software Systems in Biomedicine Designing Systems that can adapt to Changing Knowledge

2026-01-27T14:17:45Z

Author Nadkarni, Prakash M. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-0-85729-510-1
Format: Electronic Resources
Availability Online Library~1

Design patterns for embedded systems in C an embedded software engineering toolkit

2026-01-27T14:17:45Z

Author Douglass, Bruce Powel.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9781856177078
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-01-27T14:17:45Z

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

The architecture of computer hardware, systems software, and networking : an information technology approach

2026-01-27T14:17:45Z

Author Englander, Irv.
Preferred Shelf Number QA76.5 E54 2010
Format: Books
Availability Beytepe Library~1

Developing Business Application Systems On the Specification and Selection of Software Components and Services

2026-01-27T14:17:45Z

Author Skroch, Oliver. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-8349-8858-4
Format: Electronic Resources
Availability Online Library~1

Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science 4th International Workshop, ONTOSE 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010, Revised Selected Papers

2026-01-27T14:17:45Z

Author Sicilia, Miguel-Angel. editor. Kop, Christian. editor. Sartori, Fabio. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-16496-5
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-01-27T14:17:45Z

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

Multicore Systems On-Chip: Practical Software/Hardware Design

2026-01-27T14:17:45Z

Author Abdallah, Abderazek Ben. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.2991/978-94-91216-33-6
Format: Electronic Resources
Availability Online Library~1

Safety analyses of complex systems : considerations of software, firmware, hardware, human, and the environment

2026-01-27T14:17:45Z

Author Allocco, Michael.
Preferred Shelf Number TA169.7 A45 2010
Format: Books
Availability Beytepe Library~1

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

2026-01-27T14:17:45Z

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

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-01-27T14:17:45Z

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

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-01-27T14:17:45Z

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

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-01-27T14:17:45Z

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-01-27T14:17:45Z

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

Cyber-Physical Systems Innovation Durch Software-Intensive Eingebettete Systeme

2026-01-27T14:17:45Z

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

Sensor Systems and Software First International ICST Conference, S-CUBE 2009, Pisa, Italy, September 7-9, 2009, Revised Selected Papers

2026-01-27T14:17:45Z

Author Hailes, Stephen. editor. Sicari, Sabrina. editor. Roussos, George. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/978-3-642-11528-8
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-01-27T14:17:45Z

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

Modelling systems : practical tools and techniques in software development

2026-01-27T14:17:45Z

Author Fitzgerald, John, 1965- author. Larsen, P. G. (Peter Gorm), 1964- author.
Preferred Shelf Number QA76.76 .D47 F59 2009
Electronic Access https://doi.org/10.1017/CBO9780511626975
Format: Electronic Resources
Availability Online Library~1

Architecting software intensive systems : a practitioner's guide

2026-01-27T14:17:45Z

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

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

2026-01-27T14:17:45Z

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

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-01-27T14:17:45Z

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-01-27T14:17:45Z

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

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-01-27T14:17:45Z

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

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-01-27T14:17:45Z

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-01-27T14:17:45Z

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

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-01-27T14:17:45Z

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

Modeling and verification of real-time systems formalisms and software tools

2026-01-27T14:17:45Z

Author Merz, Stephan. Navet, Nicolas.
Preferred Shelf Number ONLINE
Electronic Access Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=477643 John Wiley http://dx.doi.org/10.1002/9780470611012 Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0806/2007045063-b.html
Format: Electronic Resources
Availability Online Library~1

Software development for embedded multi-core systems a practical guide using embedded Intel architecture

2026-01-27T14:17:45Z

Author Domeika, Max.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750685399
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-01-27T14:17:45Z

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

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-01-27T14:17:45Z

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-01-27T14:17:45Z

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

Software-Intensive Systems and New Computing Paradigms Challenges and Visions

2026-01-27T14:17:45Z

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

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-01-27T14:17:45Z

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

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-01-27T14:17:45Z

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-01-27T14:17:45Z

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-01-27T14:17:45Z

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

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

2026-01-27T14:17:45Z

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

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-01-27T14:17:45Z

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

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-01-27T14:17:45Z

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-01-27T14:17:45Z

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

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

2026-01-27T14:17:45Z

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

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

2026-01-27T14:17:45Z

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

Cognitive Radio, Software Defined Radio, and Adaptive Wireless Systems

2026-01-27T14:17:45Z

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

Advances and Innovations in Systems, Computing Sciences and Software Engineering

2026-01-27T14:17:45Z

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

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-01-27T14:17:45Z

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-01-27T14:17:45Z

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

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-01-27T14:17:45Z

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

DSP software development techniques for embedded and real-time systems

2026-01-27T14:17:45Z

Author Oshana, Robert.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750677592
Format: Electronic Resources
Availability Online Library~1

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

2026-01-27T14:17:45Z

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

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-01-27T14:17:45Z

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

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

2026-01-27T14:17:45Z

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

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

2026-01-27T14:17:45Z

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

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

2026-01-27T14:17:45Z

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

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

2026-01-27T14:17:45Z

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-01-27T14:17:45Z

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

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-01-27T14:17:45Z

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-01-27T14:17:45Z

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 2 Specification of Systems and Languages

2026-01-27T14:17:45Z

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

Flexible Software Design : Systems Development for Changing Requirements.

2026-01-27T14:17:45Z

Author Johnson, Bruce (Bruce M.), author. Woolfolk, Walter W., author. Miller, Robert, author. Johnson, Cindy, author.
Preferred Shelf Number QA76.9 .S88
Electronic Access Taylor & Francis https://www.taylorfrancis.com/books/9780429117053 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Electronic Resources
Availability Online Library~1

Competitive engineering a handbook for systems engineering, requirements engineering, and software engineering using Planguage

2026-01-27T14:17:45Z

Author Gilb, Tom. Brodie, Lindsey.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780750665070
Format: Electronic Resources
Availability Online Library~1

Robust communications software extreme availability, reliability and scalability for carrier-grade systems

2026-01-27T14:17:45Z

Author Utas, Greg. John Wiley & Sons.
Preferred Shelf Number ONLINE
Electronic Access John Wiley http://dx.doi.org/10.1002/0470011793
Format: Electronic Resources
Availability Online Library~1

Process-aware information systems bridging people and software through process technology

2026-01-27T14:17:45Z

Author Dumas, Marlon. Aalst, Wil van der. Ter Hofstede, Arthur, 1966- John Wiley & Sons.
Preferred Shelf Number ONLINE
Electronic Access Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0621/2005001369-b.html John Wiley http://dx.doi.org/10.1002/0471741442
Format: Electronic Resources
Availability Online Library~1

System-level Test and Validation of Hardware/Software Systems

2026-01-27T14:17:45Z

Author Sonza Reorda, Matteo. editor. Peng, Zebo. editor. Violante, Massimo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-145-8
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-01-27T14:17:45Z

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

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

2026-01-27T14:17:45Z

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

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-01-27T14:17:45Z

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-01-27T14:17:45Z

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

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

2026-01-27T14:17:45Z

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

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

2026-01-27T14:17:45Z

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-01-27T14:17:45Z

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-01-27T14:17:45Z

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

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-01-27T14:17:45Z

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-01-27T14:17:45Z

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

Robust communications software : extreme availability, reliability and scalability for carrier-grade systems

2026-01-27T14:17:45Z

Author Utas, Greg.
Preferred Shelf Number TK5105.9 U83 2005
Format: Books
Availability Beytepe Library~1

ISO 9001:2000 for software and systems providers : an engineering approach

2026-01-27T14:17:45Z

Author Bamford, Robert., author. Deibler, William J.
Preferred Shelf Number TS156.6 .B36 2004
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Software-enabled control information technology for dynamical systems

2026-01-27T14:17:45Z

Author Samad, Tariq. Balas, Gary J.
Preferred Shelf Number ONLINE
Electronic Access IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=5237410
Format: Electronic Resources
Availability Online Library~1

Software radio architecture object-oriented approaches to wireless systems engineering

2026-01-27T14:17:45Z

Author Mitola, Joseph.
Preferred Shelf Number ONLINE
Electronic Access Books24x7 http://www.books24x7.com/marc.asp?isbn=0471384925 Books24x7 http://www.books24x7.com/marc.asp?bookid=2561 Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=152062 MyiLibrary, Table of contents http://www.myilibrary.com?id=36742&ref=toc John Wiley http://dx.doi.org/10.1002/047121664X
Format: Electronic Resources
Availability Online Library~1

Investigating biological systems using modeling strategies and software

2026-01-27T14:17:45Z

Author Wastney, Meryl E.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780080926452
Format: Electronic Resources
Availability Online Library~1

Investigating biological systems using modeling : strategies and software

2026-01-27T14:17:45Z

Author Wastney, Meryl E., ort. yaz.
Preferred Shelf Number QH 323.5 I5675 1999
Format: Books
Availability Health Sciences Library~1

Yazılım geliştirme metrikleri ve yazılımD proje izleme sistemi geliştirimi = Software development metrics and implementation of yazılımD project tracking systems

2026-01-27T14:17:45Z

Author Sultanoğlu, M. Sencer.
Preferred Shelf Number TEZ 4423 .S85 1999
Format: Books
Availability Beytepe Library~1

Software psychology : human factors in computer and information systems

2026-01-27T14:17:45Z

Author Shneiderman, Ben.
Preferred Shelf Number QA 76.6 S543 1980
Format: Books
Availability Beytepe Library~1

Recent Advances in Data and Algorithms for e-Government

2026-01-27T14:17:45Z

Author Gaie, Christophe. editor. Mehta, Mayuri. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-22408-9
Format: Electronic Resources
Availability Online Library~1

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

2026-01-27T14:17:45Z

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

Autonomy Requirements Engineering for Space Missions

2026-01-27T14:17:45Z

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

Autonomous and Autonomic Systems: With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems With Applications to NASA Intelligent Spacecraft Operations and Exploration Systems

2026-01-27T14:17:45Z

Author Truszkowski, Walt. author. Hallock, Harold. author. Rouff, Christopher. author. Karlin, Jay. author. Rash, James. author.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/b105417
Format: Electronic Resources
Availability Online Library~1

Semantic Web: Concepts, Technologies and Applications

2026-01-27T14:17:45Z

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

Agent Technology from a Formal Perspective

2026-01-27T14:17:45Z

Author Rouff, Christopher A. editor. Hinchey, Michael. editor. Rash, James. editor. Truszkowski, Walter. editor. Gordon-Spears, Diana. editor.
Preferred Shelf Number ONLINE
Electronic Access http://dx.doi.org/10.1007/1-84628-271-3
Format: Electronic Resources
Availability Online Library~1

Leveraging the wisdom of the crowd in software testing

2026-01-27T14:17:45Z

Author Sharma, Mukesh (Software testing engineer), author. Padmanaban, Rajini, author.
Preferred Shelf Number QA76.76 .T48 S53 2015
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Aligning Organizations Through Measurement The GQM+Strategies Approach

2026-01-27T14:17:45Z

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-01-27T14:17:45Z

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-01-27T14:17:45Z

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

Information security management handbook

2026-01-27T14:17:45Z

Author Tipton, Harold F. Krause, Micki.
Preferred Shelf Number QA76.9 .A25 I54165 2003
Electronic Access Click here to view.
Format: Books
Availability Online Library~1

Hybrid electric vehicles : principles and applications with practical perspectives

2026-01-27T14:17:45Z

Author Mi, Chris, author. Masrur, Abul, author.
Preferred Shelf Number TL221.15 .M545 2026
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394295159
Format: Electronic Resources
Availability Online Library~1

Controller design for industrial applications

2026-01-27T14:17:45Z

Author Mondal, Arindam, editor. Ganguli, Souvik, editor.
Preferred Shelf Number TJ223 .M53 C66 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394287109
Format: Electronic Resources
Availability Online Library~1

Deep learning on embedded systems : a hands-on approach using Jetson Nano and Raspberry Pi

2026-01-27T14:17:45Z

Author Arif, Tariq M., author. John Wiley & Sons, publisher.
Preferred Shelf Number Q325.73 .A75 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394269297
Format: Electronic Resources
Availability Online Library~1

Method validation in pharmaceutical analysis : a guide to best practice

2026-01-27T14:17:45Z

Author Ermer, Joachim, editor. Nethercote, Phil, editor.
Preferred Shelf Number RS187
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9783527831708
Format: Electronic Resources
Availability Online Library~1

Quantum computing models for cybersecurity and wireless communications

2026-01-27T14:17:45Z

Author Kumar, Budati Anil, edited. Kumar, Singamaneni Kranthi, edited. Li, Xingwang (Computer scientist), edited.
Preferred Shelf Number QA76.9 .A25 Q36 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394271429
Format: Electronic Resources
Availability Online Library~1

The impact of algorithmic technologies on healthcare

2026-01-27T14:17:45Z

Author Dubey, Parul, editor Madankar, Mangala, editor Dubey, Pushkar, editor Hung, Bui Thanh, editor
Preferred Shelf Number R859.7 .A78
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394305490
Format: Electronic Resources
Availability Online Library~1

Multimodal intelligent sensing in modern applications

2026-01-27T14:17:45Z

Author Ur-Rehman, Masood. Zoha, Ahmed. Jamshed, Muhammad Ali. Ramzan, Naeem.
Preferred Shelf Number TK7871.676
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394257744
Format: Electronic Resources
Availability Online Library~1

Automating building energy management for accelerated building decarbonization : system architecture and the network layer

2026-01-27T14:17:45Z

Author Kempf, James, 1952- author.
Preferred Shelf Number TD885.5 .C3 K46 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394203093
Format: Electronic Resources
Availability Online Library~1

Materials and processes used in aircraft construction

2026-01-27T14:17:45Z

Author Fink, Johannes Karl, author.
Preferred Shelf Number TL698 .F56 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394313990
Format: Electronic Resources
Availability Online Library~1

Next-generation systems and secure computing

2026-01-27T14:17:45Z

Author Barman, Subhabrata, editor. Koley, Santanu, editor. Joardar, Subhankar, editor.
Preferred Shelf Number QA76.9 .A25 N49 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394228522
Format: Electronic Resources
Availability Online Library~1

Embedded cryptography. 1

2026-01-27T14:17:45Z

Author Prouff, Emmanuel, editor. Renault, Guenael. Rivain, Mattieu. O'Flynn, Colin.
Preferred Shelf Number QA76.9 .A25 E43 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394351879
Format: Electronic Resources
Availability Online Library~1

Natural language processing for software engineering

2026-01-27T14:17:45Z

Author Chakrawarti, Rajesh Kuma, editor.
Preferred Shelf Number QA76.9 .N38 N38 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394272464
Format: Electronic Resources
Availability Online Library~1

Intelligent robots and cobots : applications for industry 5.0

2026-01-27T14:17:45Z

Author Ramasamy, V., editor. Pālamurukan̲, Ca., editor. Peng, Sheng-Lung, editor.
Preferred Shelf Number TS191.8 .I58 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394198252
Format: Electronic Resources
Availability Online Library~1

Intelligent scheduling of tasks for cloud-edge-device computing systems

2026-01-27T14:17:45Z

Author Hu, Biao, author.
Preferred Shelf Number QA76.585 .H83 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394361656
Format: Electronic Resources
Availability Online Library~1

Model based system engineering : theoretical foundations

2026-01-27T14:17:45Z

Author Koudri, Ali, author.
Preferred Shelf Number TA168
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394345106
Format: Electronic Resources
Availability Online Library~1

Handbook of intelligent automation systems using computer vision and artificial intelligence

2026-01-27T14:17:45Z

Preferred Shelf Number T59.5 .H36 2025
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394302734
Format: Electronic Resources
Availability Online Library~1

Sustainable development using geospatial techniques

2026-01-27T14:17:45Z

Author Thakur, Disha, editor. Kumar, Sanjay. Sandhu, Har Amrit Singh. Prakash, Chander.
Preferred Shelf Number G70.217 .G46 S87 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394214426
Format: Electronic Resources
Availability Online Library~1

Effective vulnerability management : managing risk in the vulnerable digital ecosystem

2026-01-27T14:17:45Z

Author Hughes, Chris (Christopher Matthew), author. Robinson, Nikki, author.
Preferred Shelf Number QA76.9 .A25 H84 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394277155
Format: Electronic Resources
Availability Online Library~1

Control and Safety Analysis of Intensified Chemical Processes

2026-01-27T14:17:45Z

Author Patle, Dipesh Shikchand, editor. Rangaiah, Gade Pandu, editor.
Preferred Shelf Number TP150 .S24 P38 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9783527843657
Format: Electronic Resources
Availability Online Library~1

Electromagnetic wave absorbing materials : fundamentals and applications

2026-01-27T14:17:45Z

Author Wu, Hongjing (Professor), editor. Luo, Jun (Professor of microelectronics), editor. Yang, Meiyin, editor.
Preferred Shelf Number QC182 .W8 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119699316
Format: Electronic Resources
Availability Online Library~1

Light sheet fluorescence microscopy

2026-01-27T14:17:45Z

Author Reynaud, Emmanuel G. editor. Tomancak, Pavel, editor.
Preferred Shelf Number QH212 .F55
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9783527803910
Format: Electronic Resources
Availability Online Library~1

Future fixed and mobile broadband internet, clouds and IoT/AI

2026-01-27T14:17:45Z

Author Janevski, Toni, author.
Preferred Shelf Number TK5103.45 .J36 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394187997
Format: Electronic Resources
Availability Online Library~1

Infrastructure robotics : methodologies, robotic systems and applications

2026-01-27T14:17:45Z

Author Liu, Dikai, editor.
Preferred Shelf Number TJ211 .I48144 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394162871
Format: Electronic Resources
Availability Online Library~1

PLANT OPTIMIZATION IN THE PROCESS INDUSTRIES : incorporating equipment/assets in the decision... -making process.

2026-01-27T14:17:45Z

Author MORAN, MARTY.
Preferred Shelf Number HD9720.5
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781119707790
Format: Electronic Resources
Availability Online Library~1

Smart hospitals : 5g, 6g and moving beyond connectivity

2026-01-27T14:17:45Z

Author Kumar, Arun, editor.
Preferred Shelf Number RA971.6 .S63 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394275472
Format: Electronic Resources
Availability Online Library~1

Discrete-event simulation : concepts and production in arena

2026-01-27T14:17:45Z

Author Jerbi, Abdessalem, author.
Preferred Shelf Number T57.62 .J47 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394332236
Format: Electronic Resources
Availability Online Library~1

Advances in additive manufacturing

2026-01-27T14:17:45Z

Author Kunar, Sandip, editor.
Preferred Shelf Number TS183.25 .A48 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394238316
Format: Electronic Resources
Availability Online Library~1

Smart agritech : robotics, AI, and Internet of Things (IoT) in agriculture

2026-01-27T14:17:45Z

Author Śrīvāstava, Santosha Kumāra, editor.
Preferred Shelf Number S494.5 .I5 S63 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394302994
Format: Electronic Resources
Availability Online Library~1

Optimized computational intelligence driven decision-making : theory, application and challenges

2026-01-27T14:17:45Z

Preferred Shelf Number Q342 .O68 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394242566
Format: Electronic Resources
Availability Online Library~1

How machine learning is innovating today's world : a concise technical guide

2026-01-27T14:17:45Z

Author Dey, Arindam, editor.
Preferred Shelf Number Q325.5
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394214167
Format: Electronic Resources
Availability Online Library~1

Deep learning tools for predicting stock market movements

2026-01-27T14:17:45Z

Author Sharma, Renuka, editor. Mehta, Kiran, editor.
Preferred Shelf Number HG4661 .D44 2024
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394214334
Format: Electronic Resources
Availability Online Library~1

Technology innovation for the circular economy : recycling, remanufacturing, design, system analysis and logistics

2026-01-27T14:17:45Z

Author Nasr, Nabil (Engineering professor), editor.
Preferred Shelf Number HC79 .E5
Electronic Access https://onlinelibrary.wiley.com/doi/book/10.1002/9781394214297
Format: Electronic Resources
Availability Online Library~1

Agile Processes in Software Engineering and Extreme Programming 24th International Conference on Agile Software Development, XP 2023, Amsterdam, The Netherlands, June 13-16, 2023, Proceedings

2026-01-27T14:17:45Z

Author Stettina, Christoph J. editor. Garbajosa, Juan. editor. Kruchten, Philippe. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-33976-9
Format: Electronic Resources
Availability Online Library~1

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas

2026-01-27T14:17:45Z

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

Smart Technologies, Systems and Applications 3rd International Conference, SmartTech-IC 2022, Cuenca, Ecuador, November 16-18, 2022, Revised Selected Papers

2026-01-27T14:17:45Z

Author Narváez, Fabián R. editor. Urgilés, Fernando. editor. Bastos-Filho, Teodiano Freire. editor. Salgado-Guerrero, Juan Pablo. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-32213-6
Format: Electronic Resources
Availability Online Library~1

Augmented Reality Where We Will All Live

2026-01-27T14:17:45Z

Author Peddie, Jon. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-32581-6
Format: Electronic Resources
Availability Online Library~1

Pervasive Computing Technologies for Healthcare 16th EAI International Conference, PervasiveHealth 2022, Thessaloniki, Greece, December 12-14, 2022, Proceedings

2026-01-27T14:17:45Z

Author Tsanas, Athanasios. editor. Triantafyllidis, Andreas. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34586-9
Format: Electronic Resources
Availability Online Library~1

Engineering Haptic Devices

2026-01-27T14:17:45Z

Author Kern, Thorsten A. editor. Hatzfeld, Christian. editor. Abbasimoshaei, Alireza. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-04536-3
Format: Electronic Resources
Availability Online Library~1

Emerging Trends in Cybersecurity Applications

2026-01-27T14:17:45Z

Author Daimi, Kevin. editor. Alsadoon, Abeer. editor. Peoples, Cathryn. editor. El Madhoun, Nour. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-09640-2
Format: Electronic Resources
Availability Online Library~1

Product Lifecycle Management. PLM in Transition Times: The Place of Humans and Transformative Technologies 19th IFIP WG 5.1 International Conference, PLM 2022, Grenoble, France, July 10-13, 2022, Revised Selected Papers

2026-01-27T14:17:45Z

Author Noël, Frédéric. editor. Nyffenegger, Felix. editor. (orcid) Rivest, Louis. editor. Bouras, Abdelaziz. editor. (orcid) SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-25182-5
Format: Electronic Resources
Availability Online Library~1

Understanding Analog Side Channels Using Cryptography Algorithms

2026-01-27T14:17:45Z

Author Zajić, Alenka. author. Prvulovic, Milos. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-38579-7
Format: Electronic Resources
Availability Online Library~1

Introduction to Software Architecture Innovative Design using Clean Architecture and Model-Driven Engineering

2026-01-27T14:17:45Z

Author Lano, Kevin. author. Yassipour Tehrani, Sobhan. author. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-44143-1
Format: Electronic Resources
Availability Online Library~1

Applied Technologies 4th International Conference, ICAT 2022, Quito, Ecuador, November 23-25, 2022, Revised Selected Papers, Part I

2026-01-27T14:17:45Z

Author Botto-Tobar, Miguel. editor. (orcid) Zambrano Vizuete, Marcelo. editor. Montes León, Sergio. editor. Torres-Carrión, Pablo. editor. Durakovic, Benjamin. editor. (orcid)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-24985-3
Format: Electronic Resources
Availability Online Library~1

Current Trends in Web Engineering ICWE 2022 International Workshops, BECS, SWEET and WALS, Bari, Italy, July 5-8, 2022, Revised Selected Papers

2026-01-27T14:17:45Z

Author Agapito, Giuseppe. editor. Bernasconi, Anna. editor. Cappiello, Cinzia. editor. Khattak, Hasan Ali. editor. Ko, InYoung. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-25380-5
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence in Education. Posters and Late Breaking Results, Workshops and Tutorials, Industry and Innovation Tracks, Practitioners, Doctoral Consortium and Blue Sky 24th International Conference, AIED 2023, Tokyo, Japan, July 3-7, 2023, Proceedings

2026-01-27T14:17:45Z

Author Wang, Ning. editor. Rebolledo-Mendez, Genaro. editor. Dimitrova, Vania. editor. Matsuda, Noboru. editor. Santos, Olga C. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-36336-8
Format: Electronic Resources
Availability Online Library~1

Applied Computer Sciences in Engineering 10th Workshop on Engineering Applications, WEA 2023, Cartagena, Colombia, November 1-3, 2023, Proceedings

2026-01-27T14:17:45Z

Author Figueroa-García, Juan Carlos. editor. Hernández, German. editor. Villa Ramirez, Jose Luis. editor. Gaona García, Elvis Eduardo. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-46739-4
Format: Electronic Resources
Availability Online Library~1

Future Data and Security Engineering. Big Data, Security and Privacy, Smart City and Industry 4.0 Applications 10th International Conference, FDSE 2023, Da Nang, Vietnam, November 22-24, 2023, Proceedings

2026-01-27T14:17:45Z

Author Dang, Tran Khanh. editor. Küng, Josef. editor. Chung, Tai M. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-981-99-8296-7
Format: Electronic Resources
Availability Online Library~1

New Trends in Information and Communications Technology Applications 6th International Conference, NTICT 2022, Baghdad, Iraq, November 16-17, 2022, Proceedings

2026-01-27T14:17:45Z

Author Al-Bakry, Abbas M. editor. (orcid) Al-Mamory, Safaa O. editor. Sahib, Mouayad A. editor. (orcid) George, Loay E. editor. Aldhaibani, Jaafar A. editor. (orcid)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35442-7
Format: Electronic Resources
Availability Online Library~1

Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops AI4EA, F-IDE, CoSim-CPS, CIFMA, Berlin, Germany, September 26-30, 2022, Revised Selected Papers

2026-01-27T14:17:45Z

Author Masci, Paolo. editor. Bernardeschi, Cinzia. editor. Graziani, Pierluigi. editor. Koddenbrock, Mario. editor. Palmieri, Maurizio. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-26236-4
Format: Electronic Resources
Availability Online Library~1

Human-Computer Interaction - INTERACT 2023 19th IFIP TC13 International Conference, York, UK, August 28 - September 1, 2023, Proceedings, Part IV

2026-01-27T14:17:45Z

Author Abdelnour Nocera, José. editor. Kristín Lárusdóttir, Marta. editor. Petrie, Helen. editor. Piccinno, Antonio. editor. Winckler, Marco. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-42293-5
Format: Electronic Resources
Availability Online Library~1

Interactive Collaborative Robotics 8th International Conference, ICR 2023, Baku, Azerbaijan, October 25-29, 2023, Proceedings

2026-01-27T14:17:45Z

Author Ronzhin, Andrey. editor. Sadigov, Aminagha. editor. Meshcheryakov, Roman. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-43111-1
Format: Electronic Resources
Availability Online Library~1

Artificial Intelligence in Medicine 21st International Conference on Artificial Intelligence in Medicine, AIME 2023, Portorož, Slovenia, June 12-15, 2023, Proceedings

2026-01-27T14:17:45Z

Author Juarez, Jose M. editor. Marcos, Mar. editor. Stiglic, Gregor. editor. Tucker, Allan. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-34344-5
Format: Electronic Resources
Availability Online Library~1

Critical Information Infrastructures Security 17th International Conference, CRITIS 2022, Munich, Germany, September 14-16, 2022, Revised Selected Papers

2026-01-27T14:17:45Z

Author Hämmerli, Bernhard. editor. (orcid) Helmbrecht, Udo. editor. Hommel, Wolfgang. editor. Kunczik, Leonhard. editor. Pickl, Stefan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35190-7
Format: Electronic Resources
Availability Online Library~1

Multi-disciplinary Trends in Artificial Intelligence 16th International Conference, MIWAI 2023, Hyderabad, India, July 21-22, 2023, Proceedings

2026-01-27T14:17:45Z

Author Morusupalli, Raghava. editor. Dandibhotla, Teja Santosh. editor. Atluri, Vani Vathsala. editor. Windridge, David. editor. Lingras, Pawan. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-36402-0
Format: Electronic Resources
Availability Online Library~1

Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings

2026-01-27T14:17:45Z

Author David, Cristina. editor. Sun, Meng. editor. SpringerLink (Online service)
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-35257-7
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part V

2026-01-27T14:17:45Z

Author Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-37117-2
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2023 Workshops Athens, Greece, July 3-6, 2023, Proceedings, Part VIII

2026-01-27T14:17:45Z

Author Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Rocha, Ana Maria A. C. editor. (orcid) Garau, Chiara. editor. (orcid) Scorza, Francesco. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-37126-4
Format: Electronic Resources
Availability Online Library~1

Computational Science and Its Applications - ICCSA 2023 23rd International Conference, Athens, Greece, July 3-6, 2023, Proceedings, Part II

2026-01-27T14:17:45Z

Author Gervasi, Osvaldo. editor. (orcid) Murgante, Beniamino. editor. (orcid) Taniar, David. editor. Apduhan, Bernady O. editor. Braga, Ana Cristina. editor.
Preferred Shelf Number ONLINE
Electronic Access https://doi.org/10.1007/978-3-031-36808-0
Format: Electronic Resources
Availability Online Library~1