Search Results for Software Testing. - Narrowed by: 1:SPRINGER
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSoftware$002bTesting.$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253ASPRINGER$0025091$00253ASPRINGER$0026ic$003dtrue$0026ps$003d300?dt=list
2026-03-22T07:05:17Z
Trends in Software Testing
ent://SD_ILS/0/SD_ILS:614531
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Mohanty, Hrushikesha. editor. Mohanty, J. R. editor. Balakrishnan, Arunkumar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-1415-4">https://doi.org/10.1007/978-981-10-1415-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:607016
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Menéndez, Héctor D. editor. (orcid)0000-0002-6314-3725 Bello-Orgaz, Gema. editor. (orcid)0000-0003-2826-3286 Barnard, Pepita. editor. (orcid)0000-0003-4518-1207 Bautista, John Robert. editor. (orcid)0000-0002-4892-9543 Farahi, Arya. editor. (orcid)0000-0003-0777-4618<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-80889-0">https://doi.org/10.1007/978-3-031-80889-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Development and Testing of Vehicle Software and its Influence on Sustainable Transport
ent://SD_ILS/0/SD_ILS:602333
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Colmenar-Santos, Antonio. editor. Borge-Diez, David. editor. Ortega-Cabezas, Pedro-Miguel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-47630-3">https://doi.org/10.1007/978-3-031-47630-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612246
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Strichman, Ofer. editor. Tzoref-Brill, Rachel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70389-3">https://doi.org/10.1007/978-3-319-70389-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613532
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Yevtushenko, Nina. editor. Cavalli, Ana Rosa. editor. Yenigün, Hüsnü. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67549-7">https://doi.org/10.1007/978-3-319-67549-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611230
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Bloem, Roderick. editor. Arbel, Eli. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49052-6">https://doi.org/10.1007/978-3-319-49052-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616986
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Wotawa, Franz. editor. Nica, Mihai. editor. Kushik, Natalia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47443-4">https://doi.org/10.1007/978-3-319-47443-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Boosting Software Development Using Machine Learning
ent://SD_ILS/0/SD_ILS:608573
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Benala, Tirimula Rao. editor. Dehuri, Satchidananda. editor. Mall, Rajib. editor. Favorskaya, Margarita N. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-88188-6">https://doi.org/10.1007/978-3-031-88188-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 5
ent://SD_ILS/0/SD_ILS:609705
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-96775-7">https://doi.org/10.1007/978-3-031-96775-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence for System Oriented Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 1
ent://SD_ILS/0/SD_ILS:609874
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-96798-6">https://doi.org/10.1007/978-3-031-96798-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Alternating Current Field Measurement Technique for Detection and Measurement of Cracks in Structures
ent://SD_ILS/0/SD_ILS:605276
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Li, Wei. author. Yuan, Xin'an. author. Zhao, Jianming. author. Yin, Xiaokang. author. Li, Xiao. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-7255-1">https://doi.org/10.1007/978-981-97-7255-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Concise Introduction to Software Engineering With Open Source and GenAI
ent://SD_ILS/0/SD_ILS:607111
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Jalote, Pankaj. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-74318-4">https://doi.org/10.1007/978-3-031-74318-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Fault Prevention, Verification, and Validation First International Symposium, SFPVV 2024, Hiroshima, Japan, December 2-3, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:607363
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Liu, Shaoying. editor. (orcid)0000-0002-6748-5052 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-1621-3">https://doi.org/10.1007/978-981-96-1621-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:607973
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-4656-2">https://doi.org/10.1007/978-981-96-4656-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Balancing Software Innovation and Regulatory Compliance 17th International Conference on Software Quality, SWQD 2025, Munich, Germany, May 20-22, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:608171
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Fischbach, Jannik. editor. (orcid)0000-0002-4361-6118 Ramler, Rudolf. editor. (orcid)0000-0001-9903-6107 Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Bergsmann, Johannes. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-89277-6">https://doi.org/10.1007/978-3-031-89277-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:608299
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90900-9">https://doi.org/10.1007/978-3-031-90900-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Security, Privacy and Digital Forensics Select Proceedings of the International Conference, ICISPD 2022
ent://SD_ILS/0/SD_ILS:601918
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Patel, Sankita J. editor. Chaudhary, Naveen Kumar. editor. Gohil, Bhavesh N. editor. Iyengar, S. S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-5091-1">https://doi.org/10.1007/978-981-99-5091-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:603152
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57256-2">https://doi.org/10.1007/978-3-031-57256-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Metrics for Test Reporting Analysis and Reporting for Effective Test Management
ent://SD_ILS/0/SD_ILS:604096
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Witte, Frank. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-44006-0">https://doi.org/10.1007/978-3-658-44006-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Product-Focused Software Process Improvement 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:602078
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Kadgien, Regine. editor. Jedlitschka, Andreas. editor. Janes, Andrea. editor. Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Li, Xiaozhou. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-49266-2">https://doi.org/10.1007/978-3-031-49266-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Product-Focused Software Process Improvement 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:602079
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Kadgien, Regine. editor. Jedlitschka, Andreas. editor. Janes, Andrea. editor. Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Li, Xiaozhou. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-49269-3">https://doi.org/10.1007/978-3-031-49269-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Accelerating Network Functions Using Reconfigurable Hardware Design and Validation of High Throughput and Low Latency Network Functions at the Access Edge
ent://SD_ILS/0/SD_ILS:603274
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Kundel, Ralf. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-52872-9">https://doi.org/10.1007/978-3-031-52872-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Attacks, Defenses and Testing for Deep Learning
ent://SD_ILS/0/SD_ILS:603831
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Chen, Jinyin. author. (orcid)0000-0002-7153-2755 Zhang, Ximin. author. Zheng, Haibin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-0425-5">https://doi.org/10.1007/978-981-97-0425-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile-SOFL Agile Formal Engineering Method
ent://SD_ILS/0/SD_ILS:603866
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Liu, Shaoying. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-2285-3">https://doi.org/10.1007/978-981-97-2285-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Software Verification with Frama-C Core Components, Usages, and Applications
ent://SD_ILS/0/SD_ILS:604237
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813 Prevosto, Virgile. editor. Signoles, Julien. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-55608-1">https://doi.org/10.1007/978-3-031-55608-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
CyberSecurity in a DevOps Environment From Requirements to Monitoring
ent://SD_ILS/0/SD_ILS:602151
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Sadovykh, Andrey. editor. Truscan, Dragos. editor. Mallouli, Wissam. editor. Cavalli, Ana Rosa. editor. Seceleanu, Cristina. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42212-6">https://doi.org/10.1007/978-3-031-42212-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:603151
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57249-4">https://doi.org/10.1007/978-3-031-57249-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The French School of Programming
ent://SD_ILS/0/SD_ILS:603390
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Meyer, Bertrand. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-34518-0">https://doi.org/10.1007/978-3-031-34518-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Learning Java A Test-Driven Approach
ent://SD_ILS/0/SD_ILS:604840
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Crotts, Joshua. author. (orcid)0000-0002-7513-5618 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-66638-4">https://doi.org/10.1007/978-3-031-66638-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Experimentation in Software Engineering
ent://SD_ILS/0/SD_ILS:605033
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Wohlin, Claes. author. Runeson, Per. author. Höst, Martin. author. Ohlsson, Magnus C. author. Regnell, Björn. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-69306-3">https://doi.org/10.1007/978-3-662-69306-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Aspects of Component Software 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:605075
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Marmsoler, Diego. editor. (orcid)0000-0003-2859-7673 Sun, Meng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71261-6">https://doi.org/10.1007/978-3-031-71261-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ISTQB® Certified Tester Foundation Level A Self-Study Guide Syllabus v4.0
ent://SD_ILS/0/SD_ILS:601998
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Stapp, Lucjan. author. Roman, Adam. author. (orcid)0000-0002-1020-5128 Pilaeten, Michaël. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42767-1">https://doi.org/10.1007/978-3-031-42767-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cloud-Native Application Architecture Microservice Development Best Practice
ent://SD_ILS/0/SD_ILS:602276
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Team, FreeWheel Biz-UI. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-19-9782-2">https://doi.org/10.1007/978-981-19-9782-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Innovations in VLSI, Signal Processing and Computational Technologies Select Proceedings of the 2nd International Conference, WREC 2023
ent://SD_ILS/0/SD_ILS:602435
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Mehta, Gayatri. editor. Wickramasinghe, Nilmini. editor. Kakkar, Deepti. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-7077-3">https://doi.org/10.1007/978-981-99-7077-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliability Engineering Technology of Digital Diagnosis and Treatment Equipment
ent://SD_ILS/0/SD_ILS:602871
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Li, Xiuqing. author. Gao, Jun. author. Li, Wen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-5522-0">https://doi.org/10.1007/978-981-99-5522-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:603145
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57246-3">https://doi.org/10.1007/978-3-031-57246-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Aspects of Component Software 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:610724
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Kouchnarenko, Olga. editor. Khosravi, Ramtin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57666-4">https://doi.org/10.1007/978-3-319-57666-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools
ent://SD_ILS/0/SD_ILS:612946
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Mahmood, Zaigham. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54325-3">https://doi.org/10.1007/978-3-319-54325-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unraveling Software Maintenance and Evolution Thinking Outside the Box
ent://SD_ILS/0/SD_ILS:613157
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Varga, Ervin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71303-8">https://doi.org/10.1007/978-3-319-71303-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Nanometer CMOS ICs From Basics to ASICs
ent://SD_ILS/0/SD_ILS:613481
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author J.M. Veendrick, Harry. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47597-4">https://doi.org/10.1007/978-3-319-47597-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Modeling and Simulation of Systems of Systems
ent://SD_ILS/0/SD_ILS:613527
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author P. Zeigler, Bernard. author. Sarjoughian, Hessam S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64134-8">https://doi.org/10.1007/978-3-319-64134-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded and Real-Time Operating Systems
ent://SD_ILS/0/SD_ILS:614451
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Wang, K.C. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51517-5">https://doi.org/10.1007/978-3-319-51517-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tests and Proofs 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19-20, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:615981
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Gabmeyer, Sebastian. editor. Johnsen, Einar Broch. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61467-0">https://doi.org/10.1007/978-3-319-61467-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:616071
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Squillero, Giovanni. editor. Sim, Kevin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55849-3">https://doi.org/10.1007/978-3-319-55849-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616270
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990 Sirjani, Marjan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66197-1">https://doi.org/10.1007/978-3-319-66197-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification 17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616126
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Lahiri, Shuvendu. editor. Reger, Giles. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67531-2">https://doi.org/10.1007/978-3-319-67531-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concise Guide to Software Engineering From Fundamentals to Application Methods
ent://SD_ILS/0/SD_ILS:617836
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57750-0">https://doi.org/10.1007/978-3-319-57750-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:617841
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56841-6">https://doi.org/10.1007/978-3-319-56841-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Product-Focused Software Process Improvement 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29-December 1, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:610854
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Felderer, Michael. editor. (orcid)0000-0003-3818-4442 Méndez Fernández, Daniel. editor. Turhan, Burak. editor. Kalinowski, Marcos. editor. (orcid)0000-0003-1445-3425 Sarro, Federica. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69926-4">https://doi.org/10.1007/978-3-319-69926-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ACS Without an Attitude
ent://SD_ILS/0/SD_ILS:610965
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Hallock, Harold L. author. Welter, Gary. author. Simpson, David G. author. Rouff, Christopher. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-7325-0">https://doi.org/10.1007/978-1-4471-7325-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612557
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Proença, José. editor. Lumpe, Markus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68034-7">https://doi.org/10.1007/978-3-319-68034-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Technologies 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:615906
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Cabello, Enrique. editor. Cardoso, Jorge. editor. Ludwig, André. editor. Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 van Sinderen, Marten. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62569-0">https://doi.org/10.1007/978-3-319-62569-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:616016
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Squillero, Giovanni. editor. Sim, Kevin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55792-2">https://doi.org/10.1007/978-3-319-55792-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Modeling with UML Code Generation, Testing, Refactoring
ent://SD_ILS/0/SD_ILS:617166
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Rumpe, Bernhard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58862-9">https://doi.org/10.1007/978-3-319-58862-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Quality. Complexity and Challenges of Software Engineering in Emerging Technologies 9th International Conference, SWQD 2017, Vienna, Austria, January 17-20, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617529
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Winkler, Dietmar. editor. Biffl, Stefan. editor. (orcid)0000-0002-3413-7780 Bergsmann, Johannes. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49421-0">https://doi.org/10.1007/978-3-319-49421-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Failure-Modes-Based Software Reading
ent://SD_ILS/0/SD_ILS:617952
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Zhu, Yang-Ming. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65103-3">https://doi.org/10.1007/978-3-319-65103-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:617405
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Rojas, Ignacio. editor. Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59147-6">https://doi.org/10.1007/978-3-319-59147-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:617433
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Rojas, Ignacio. editor. Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59153-7">https://doi.org/10.1007/978-3-319-59153-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Scientific Computing in C++
ent://SD_ILS/0/SD_ILS:617561
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73132-2">https://doi.org/10.1007/978-3-319-73132-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616234
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63139-4">https://doi.org/10.1007/978-3-319-63139-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Understanding Clinical Data Analysis Learning Statistical Principles from Published Clinical Research
ent://SD_ILS/0/SD_ILS:616511
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Cleophas, Ton J. author. Zwinderman, Aeilko H. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39586-9">https://doi.org/10.1007/978-3-319-39586-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Functional Safety for Road Vehicles New Challenges and Solutions for E-mobility and Automated Driving
ent://SD_ILS/0/SD_ILS:615793
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Ross, Hans-Leo. author. (orcid)0009-0009-0125-8824 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33361-8">https://doi.org/10.1007/978-3-319-33361-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Simulation A Model Driven Engineering Approach
ent://SD_ILS/0/SD_ILS:611189
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Topçu, Okan. author. Durak, Umut. author. Oğuztüzün, Halit. author. Yilmaz, Levent. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-03050-0">https://doi.org/10.1007/978-3-319-03050-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Technologies: Applications and Foundations STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611537
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424 Varró, Dániel. editor. Wimmer, Manuel. editor. (orcid)0000-0002-1124-7098 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-50230-4">https://doi.org/10.1007/978-3-319-50230-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:613592
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47169-3">https://doi.org/10.1007/978-3-319-47169-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Wireless Sensor Networks for Structural Health Monitoring
ent://SD_ILS/0/SD_ILS:613596
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Cao, Jiannong. author. Liu, Xuefeng. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29034-8">https://doi.org/10.1007/978-3-319-29034-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simulation and Testing for Vehicle Technology 7th Conference, Berlin, May 12-13, 2016
ent://SD_ILS/0/SD_ILS:615031
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Gühmann, Clemens. editor. Riese, Jens. editor. von Rüden, Klaus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-32345-9">https://doi.org/10.1007/978-3-319-32345-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Opportunistic Mobile Networks Advances and Applications
ent://SD_ILS/0/SD_ILS:615092
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Misra, Sudip. author. Saha, Barun Kumar. author. Pal, Sujata. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29031-7">https://doi.org/10.1007/978-3-319-29031-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Clinical Data Analysis on a Pocket Calculator Understanding the Scientific Methods of Statistical Reasoning and Hypothesis Testing
ent://SD_ILS/0/SD_ILS:615548
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Cleophas, Ton J. author. Zwinderman, Aeilko H. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-27104-0">https://doi.org/10.1007/978-3-319-27104-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Methodology for Emerging Domains 15th National Software Application Conference, NASAC 2016, Kunming, Yunnan, November 3-5, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:615723
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Zhang, Lu. editor. Xu, Chang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-3482-4">https://doi.org/10.1007/978-981-10-3482-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Search Based Software Engineering 8th International Symposium, SSBSE 2016, Raleigh, NC, USA, October 8-10, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:615967
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Sarro, Federica. editor. Deb, Kalyanmoy. editor. (orcid)0000-0001-7402-9939 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47106-8">https://doi.org/10.1007/978-3-319-47106-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Modularity and Composition I
ent://SD_ILS/0/SD_ILS:617818
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Chiba, Shigeru. editor. Südholt, Mario. editor. Eugster, Patrick. editor. Ziarek, Lukasz. editor. Leavens, Gary T. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46969-0">https://doi.org/10.1007/978-3-319-46969-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Intelligence and Quantitative Software Engineering
ent://SD_ILS/0/SD_ILS:611266
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Pedrycz, Witold. editor. Succi, Giancarlo. editor. Sillitti, Alberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-25964-2">https://doi.org/10.1007/978-3-319-25964-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tests and Proofs 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611436
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Aichernig, Bernhard K. editor. Furia, Carlo A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41135-4">https://doi.org/10.1007/978-3-319-41135-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612298
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Braga, Christiano. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28934-2">https://doi.org/10.1007/978-3-319-28934-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:616739
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47166-2">https://doi.org/10.1007/978-3-319-47166-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616886
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Falcone, Yliès. editor. Sánchez, César. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46982-9">https://doi.org/10.1007/978-3-319-46982-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Encyclopedia of Algorithms
ent://SD_ILS/0/SD_ILS:617569
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Kao, Ming-Yang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4939-2864-4">https://doi.org/10.1007/978-1-4939-2864-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
ent://SD_ILS/0/SD_ILS:617503
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44561-8">https://doi.org/10.1007/978-3-319-44561-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Databases and Information Systems 12th International Baltic Conference, DB&IS 2016, Riga, Latvia, July 4-6, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:617013
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Arnicans, Guntis. editor. Arnicane, Vineta. editor. Borzovs, Juris. editor. Niedrite, Laila. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40180-5">https://doi.org/10.1007/978-3-319-40180-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliable Software Technologies - Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:618305
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Bertogna, Marko. editor. Pinho, Luís Miguel. editor. Quiñones, Eduardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39083-3">https://doi.org/10.1007/978-3-319-39083-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Safe and Secure Cyber-Physical Systems The Specification PEARL Approach
ent://SD_ILS/0/SD_ILS:618478
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Gumzej, Roman. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28905-2">https://doi.org/10.1007/978-3-319-28905-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning Haskell A Project-Based Approach
ent://SD_ILS/0/SD_ILS:618694
2026-03-22T07:05:17Z
2026-03-22T07:05:17Z
Author Serrano Mena, Alejandro. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6251-0">https://doi.org/10.1007/978-1-4302-6251-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>