Search Results for SpringerLink (Online service) - Narrowed by: Software engineering.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSpringerLink$002b$002528Online$002bservice$002529$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ic$003dtrue$0026ps$003d300?dt=list
2026-04-14T19:56:13Z
IT Crisisology Patterns and Practices Smart Agility for Digital Future
ent://SD_ILS/0/SD_ILS:601612
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Zykov, Sergey V. author. (orcid)0000-0002-2115-5461 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-95-1260-7">https://doi.org/10.1007/978-981-95-1260-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data Protection for Software Development and IT A Practical Introduction
ent://SD_ILS/0/SD_ILS:607421
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Kneuper, Ralf. author. (orcid)0000-0003-3225-5895 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-70639-8">https://doi.org/10.1007/978-3-662-70639-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Management: Theory and Applications Volume 17
ent://SD_ILS/0/SD_ILS:608215
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-82610-8">https://doi.org/10.1007/978-3-031-82610-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cross-Cultural Design 17th International Conference, CCD 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:608810
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Rau, Pei-Luen Patrick. editor. (orcid)0000-0002-5713-8612 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-93730-9">https://doi.org/10.1007/978-3-031-93730-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:608821
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-93227-4">https://doi.org/10.1007/978-3-031-93227-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:608653
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-93221-2">https://doi.org/10.1007/978-3-031-93221-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:608654
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-93230-4">https://doi.org/10.1007/978-3-031-93230-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
HCI for Cybersecurity, Privacy and Trust 7th International Conference, HCI-CPT 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:608866
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Moallem, Abbas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-92833-8">https://doi.org/10.1007/978-3-031-92833-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Object-based Programming with Go
ent://SD_ILS/0/SD_ILS:609332
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Maurer, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-44704-5">https://doi.org/10.1007/978-3-658-44704-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Software Project Management
ent://SD_ILS/0/SD_ILS:608256
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
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-031-80578-3">https://doi.org/10.1007/978-3-031-80578-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Compiler Construction Fundamentals and Applications
ent://SD_ILS/0/SD_ILS:608277
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Mössenböck, Hanspeter. author. (orcid)0000-0001-7706-7308 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-84813-1">https://doi.org/10.1007/978-3-031-84813-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Analysis and Design of Next-Generation Software Architectures Generative AI, Cybersecurity, and Cloud Computing
ent://SD_ILS/0/SD_ILS:608484
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Langer, Arthur M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-76212-3">https://doi.org/10.1007/978-3-031-76212-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
HCI in Mobility, Transport, and Automotive Systems 7th International Conference, MobiTAS 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:608699
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Krömker, Heidi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-92689-1">https://doi.org/10.1007/978-3-031-92689-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
HCI in Mobility, Transport, and Automotive Systems 7th International Conference, MobiTAS 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:608734
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Krömker, Heidi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-92692-1">https://doi.org/10.1007/978-3-031-92692-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:608740
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-93233-5">https://doi.org/10.1007/978-3-031-93233-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part VI
ent://SD_ILS/0/SD_ILS:608741
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-93236-6">https://doi.org/10.1007/978-3-031-93236-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers
ent://SD_ILS/0/SD_ILS:605799
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-73741-1">https://doi.org/10.1007/978-3-031-73741-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bridging the Gap Between AI and Reality Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:606755
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75434-0">https://doi.org/10.1007/978-3-031-75434-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence for Design and Process Science
ent://SD_ILS/0/SD_ILS:606914
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Suh, Sang C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-67886-8">https://doi.org/10.1007/978-3-031-67886-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Broadband Communications, Networks, and Systems 14th EAI International Conference, BROADNETS 2024, Hyderabad, India, February 16-17, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:607167
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Cheng, Xiaochun. editor. (orcid)0000-0003-0371-9646 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-81168-5">https://doi.org/10.1007/978-3-031-81168-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Broadband Communications, Networks, and Systems 14th EAI International Conference, BROADNETS 2024, Hyderabad, India, February 16-17, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:607168
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Cheng, Xiaochun. editor. (orcid)0000-0003-0371-9646 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-81171-5">https://doi.org/10.1007/978-3-031-81171-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Concise Introduction to Software Engineering With Open Source and GenAI
ent://SD_ILS/0/SD_ILS:607111
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
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/>
Metamodeling for Extended Reality
ent://SD_ILS/0/SD_ILS:607232
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Muff, Fabian. author. (orcid)0000-0002-7283-6603 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-76762-3">https://doi.org/10.1007/978-3-031-76762-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:608763
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-93224-3">https://doi.org/10.1007/978-3-031-93224-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cross-Cultural Design 17th International Conference, CCD 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:608766
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Rau, Pei-Luen Patrick. editor. (orcid)0000-0002-5713-8612 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-93733-0">https://doi.org/10.1007/978-3-031-93733-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cross-Cultural Design 17th International Conference, CCD 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:608767
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Rau, Pei-Luen Patrick. editor. (orcid)0000-0002-5713-8612 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-93736-1">https://doi.org/10.1007/978-3-031-93736-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
HCI for Cybersecurity, Privacy and Trust 7th International Conference, HCI-CPT 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:608890
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Moallem, Abbas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-92840-6">https://doi.org/10.1007/978-3-031-92840-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cross-Cultural Design 17th International Conference, CCD 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:608920
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Rau, Pei-Luen Patrick. editor. (orcid)0000-0002-5713-8612 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-93739-2">https://doi.org/10.1007/978-3-031-93739-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modern C Programming Including Standards C99, C11, C17, C23
ent://SD_ILS/0/SD_ILS:601999
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Gazi, Orhan. author. (orcid)0000-0001-5328-7955 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45361-8">https://doi.org/10.1007/978-3-031-45361-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Fundamental Research for Trustworthy Software
ent://SD_ILS/0/SD_ILS:602000
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author He, Jifeng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-5589-3">https://doi.org/10.1007/978-981-99-5589-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove
ent://SD_ILS/0/SD_ILS:602163
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Morazán, Marco T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43973-5">https://doi.org/10.1007/978-3-031-43973-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ethical and Legal Aspects of Computing A Professional Perspective from Software Engineering
ent://SD_ILS/0/SD_ILS:603014
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
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-031-52664-0">https://doi.org/10.1007/978-3-031-52664-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Networking and Parallel/Distributed Computing Systems Volume 18
ent://SD_ILS/0/SD_ILS:603357
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-53274-0">https://doi.org/10.1007/978-3-031-53274-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The French School of Programming
ent://SD_ILS/0/SD_ILS:603390
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
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/>
Software Engineering and Management: Theory and Application Volume 16
ent://SD_ILS/0/SD_ILS:603449
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-55174-1">https://doi.org/10.1007/978-3-031-55174-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Technologies and Intelligent Decision Making Systems Third International Scientific and Practical Conference, ITIDMS 2023, Moscow, Russia, December, 12-14, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:603422
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Gibadullin, Arthur. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-60318-1">https://doi.org/10.1007/978-3-031-60318-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
HCI in Mobility, Transport, and Automotive Systems 6th International Conference, MobiTAS 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:603767
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Krömker, Heidi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-60477-5">https://doi.org/10.1007/978-3-031-60477-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
HCI in Mobility, Transport, and Automotive Systems 6th International Conference, MobiTAS 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:603768
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Krömker, Heidi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-60480-5">https://doi.org/10.1007/978-3-031-60480-5</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-04-14T19:56:13Z
2026-04-14T19:56:13Z
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/>
Business Modeling and Software Design 14th International Symposium, BMSD 2024, Luxembourg City, Luxembourg, July 1-3, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:604170
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Shishkov, Boris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-64073-5">https://doi.org/10.1007/978-3-031-64073-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6-10, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:604608
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Aldini, Alessandro. editor. (orcid)0000-0002-7250-5011 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-66021-4">https://doi.org/10.1007/978-3-031-66021-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
HCI for Cybersecurity, Privacy and Trust 6th International Conference, HCI-CPT 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29 - July 4, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:603792
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Moallem, Abbas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61379-1">https://doi.org/10.1007/978-3-031-61379-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
HCI for Cybersecurity, Privacy and Trust 6th International Conference, HCI-CPT 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:603793
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Moallem, Abbas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61382-1">https://doi.org/10.1007/978-3-031-61382-1</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-04-14T19:56:13Z
2026-04-14T19:56:13Z
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/>
Performance Engineering Learning Through Applications Using JMT
ent://SD_ILS/0/SD_ILS:601766
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Serazzi, Giuseppe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-36763-2">https://doi.org/10.1007/978-3-031-36763-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:602136
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-46002-9">https://doi.org/10.1007/978-3-031-46002-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing Volume 17
ent://SD_ILS/0/SD_ILS:603657
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-56388-1">https://doi.org/10.1007/978-3-031-56388-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ITNG 2024: 21st International Conference on Information Technology-New Generations
ent://SD_ILS/0/SD_ILS:604226
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Latifi, Shahram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-56599-1">https://doi.org/10.1007/978-3-031-56599-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Learn coding with Python and JavaScript A practical introduction for beginners
ent://SD_ILS/0/SD_ILS:604231
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Zuckarelli, Joachim L. author. (orcid)0000-0002-9280-3016 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-42912-6">https://doi.org/10.1007/978-3-658-42912-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Internet Computing Principles of Distributed Systems and Emerging Internet-Based Technologies
ent://SD_ILS/0/SD_ILS:604850
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Sunyaev, Ali. author. (orcid)0000-0002-4353-8519 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61014-1">https://doi.org/10.1007/978-3-031-61014-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Qualitative Research with Socio-Technical Grounded Theory A Practical Guide to Qualitative Data Analysis and Theory Development in the Digital World
ent://SD_ILS/0/SD_ILS:605144
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Hoda, Rashina. author. (orcid)0000-0001-5147-8096 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-60533-8">https://doi.org/10.1007/978-3-031-60533-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2022-Winter
ent://SD_ILS/0/SD_ILS:526961
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-26135-0">https://doi.org/10.1007/978-3-031-26135-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ITNG 2023 20th International Conference on Information Technology-New Generations
ent://SD_ILS/0/SD_ILS:526966
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Latifi, Shahram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-28332-1">https://doi.org/10.1007/978-3-031-28332-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Designing Software Intensive Products Integrating Engineering and Intellectual Property Management to the Development of Innovative Products
ent://SD_ILS/0/SD_ILS:527485
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Atem de Carvalho, Rogerio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-08893-3">https://doi.org/10.1007/978-3-031-08893-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
ent://SD_ILS/0/SD_ILS:528987
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-19604-1">https://doi.org/10.1007/978-3-031-19604-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2019: Parallel Processing 25th International Conference on Parallel and Distributed Computing, Göttingen, Germany, August 26–30, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483847
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Yahyapour, Ramin. editor. (orcid)0000-0002-9057-4395 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29400-7">https://doi.org/10.1007/978-3-030-29400-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Deduction – CADE 27 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483848
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Fontaine, Pascal. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-29436-6">https://doi.org/10.1007/978-3-030-29436-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Using Microsoft Dynamics 365 for Finance and Operations Learn and understand the functionality of Microsoft's enterprise solution
ent://SD_ILS/0/SD_ILS:484779
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Luszczak, Andreas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-24107-0">https://doi.org/10.1007/978-3-658-24107-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Topics in Cryptology – CT-RSA 2019 The Cryptographers' Track at the RSA Conference 2019, San Francisco, CA, USA, March 4–8, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484895
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Matsui, Mitsuru. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-12612-4">https://doi.org/10.1007/978-3-030-12612-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrating Business Process Models and Rules Empirical Evidence and Decision Framework
ent://SD_ILS/0/SD_ILS:485261
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Wang, Wei. author. (orcid)0000-0003-2932-4247 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-11809-9">https://doi.org/10.1007/978-3-030-11809-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cyberspace Data and Intelligence, and Cyber-Living, Syndrome, and Health International 2019 Cyberspace Congress, CyberDI and CyberLife, Beijing, China, December 16–18, 2019, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:486707
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Ning, Huansheng. editor. (orcid)0000-0001-6413-193X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-15-1922-2">https://doi.org/10.1007/978-981-15-1922-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Verification of Floating-Point Hardware Design A Mathematical Approach
ent://SD_ILS/0/SD_ILS:486716
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Russinoff, David M. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-95513-1">https://doi.org/10.1007/978-3-319-95513-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer and Computing Technologies in Agriculture X 10th IFIP WG 5.14 International Conference, CCTA 2016, Dongying, China, October 19–21, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:486743
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Li, Daoliang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-06155-5">https://doi.org/10.1007/978-3-030-06155-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer-Aided Architectural Design. "Hello, Culture" 18th International Conference, CAAD Futures 2019, Daejeon, Republic of Korea, June 26–28, 2019, Selected Papers
ent://SD_ILS/0/SD_ILS:486819
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Lee, Ji-Hyun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-13-8410-3">https://doi.org/10.1007/978-981-13-8410-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
HCI International 2019 - Posters 21st International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:486826
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Stephanidis, Constantine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-23522-2">https://doi.org/10.1007/978-3-030-23522-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:482746
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Caires, Luís. editor. (orcid)0000-0002-3215-6734 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17184-1">https://doi.org/10.1007/978-3-030-17184-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Developing Enterprise Chatbots Learning Linguistic Structures
ent://SD_ILS/0/SD_ILS:483044
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Galitsky, Boris. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-04299-8">https://doi.org/10.1007/978-3-030-04299-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Interaction. Perspectives on Design Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:483655
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Kurosu, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22646-6">https://doi.org/10.1007/978-3-030-22646-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Precision Assembly in the Digital Age 8th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2018, Chamonix, France, January 14—16, 2018, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:484558
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Ratchev, Svetan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-05931-6">https://doi.org/10.1007/978-3-030-05931-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trustworthy Cyber-Physical Systems A Systematic Framework towards Design and Evaluation of Trust and Trustworthiness
ent://SD_ILS/0/SD_ILS:485168
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Gol Mohammadi, Nazila. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-27488-7">https://doi.org/10.1007/978-3-658-27488-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concise Guide to Software Testing
ent://SD_ILS/0/SD_ILS:485710
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
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-030-28494-7">https://doi.org/10.1007/978-3-030-28494-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Interaction. Design Practice in Contemporary Societies Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:486118
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Kurosu, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22636-7">https://doi.org/10.1007/978-3-030-22636-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Interaction. Recognition and Interaction Technologies Thematic Area, HCI 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26–31, 2019, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:486119
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Kurosu, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22643-5">https://doi.org/10.1007/978-3-030-22643-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Processes in Software Engineering and Extreme Programming – Workshops XP 2019 Workshops, Montréal, QC, Canada, May 21–25, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486129
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Hoda, Rashina. editor. (orcid)0000-0001-5147-8096 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30126-2">https://doi.org/10.1007/978-3-030-30126-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Software Design with Java
ent://SD_ILS/0/SD_ILS:486330
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Robillard, Martin P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-24094-3">https://doi.org/10.1007/978-3-030-24094-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Distributed Real-Time Systems Theory and Practice
ent://SD_ILS/0/SD_ILS:486558
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Erciyes, K. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22570-4">https://doi.org/10.1007/978-3-030-22570-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematics of Program Construction 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486559
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Hutton, Graham. editor. (orcid)0000-0001-9584-5150 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-33636-3">https://doi.org/10.1007/978-3-030-33636-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Static Analysis 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483418
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Chang, Bor-Yuh Evan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-32304-2">https://doi.org/10.1007/978-3-030-32304-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cryptography and Coding 17th IMA International Conference, IMACC 2019, Oxford, UK, December 16–18, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483608
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Albrecht, Martin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-35199-1">https://doi.org/10.1007/978-3-030-35199-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 17th Asian Symposium, APLAS 2019, Nusa Dua, Bali, Indonesia, December 1–4, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483547
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Lin, Anthony Widjaja. editor. (orcid)0000-0003-4715-5096 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-34175-6">https://doi.org/10.1007/978-3-030-34175-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Computing Technologies 15th International Conference, PaCT 2019, Almaty, Kazakhstan, August 19–23, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484657
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Malyshkin, Victor. editor. (orcid)0000-0002-7874-3686 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-25636-4">https://doi.org/10.1007/978-3-030-25636-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cooperative Design, Visualization, and Engineering 16th International Conference, CDVE 2019, Mallorca, Spain, October 6–9, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:484920
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Luo, Yuhua. editor. (orcid)0000-0003-3057-4753 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30949-7">https://doi.org/10.1007/978-3-030-30949-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Modelling for Archaeology and Anthropology Software Engineering Principles for Cultural Heritage
ent://SD_ILS/0/SD_ILS:399464
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Gonzalez-Perez, Cesar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72652-6">https://doi.org/10.1007/978-3-319-72652-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Processes and Life Cycle Models An Introduction to Modelling, Using and Managing Agile, Plan-Driven and Hybrid Processes
ent://SD_ILS/0/SD_ILS:399513
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Kneuper, Ralf. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98845-0">https://doi.org/10.1007/978-3-319-98845-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 16th Asian Symposium, APLAS 2018, Wellington, New Zealand, December 2–6, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399537
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Ryu, Sukyoung. editor. (orcid)0000-0002-0019-9772 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-02768-1">https://doi.org/10.1007/978-3-030-02768-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practice of Constraint Programming 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399700
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Hooker, John. editor. (orcid)0000-0003-3169-1871 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98334-9">https://doi.org/10.1007/978-3-319-98334-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399812
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Rusu, Vlad. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99840-4">https://doi.org/10.1007/978-3-319-99840-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Interaction. Interaction in Context 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:399910
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Kurosu, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91244-8">https://doi.org/10.1007/978-3-319-91244-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science – CACIC 2017 23rd Argentine Congress, La Plata, Argentina, October 9-13, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:400029
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author De Giusti, Armando Eduardo. editor. (orcid)0000-0002-6459-3592 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-75214-3">https://doi.org/10.1007/978-3-319-75214-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Interaction. Interaction Technologies 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:400030
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Kurosu, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91250-9">https://doi.org/10.1007/978-3-319-91250-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Management Perspective for Transport Telematics 18th International Conference on Transport System Telematics, TST 2018, Krakow, Poland, March 20-23, 2018, Selected Papers
ent://SD_ILS/0/SD_ILS:400044
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Mikulski, Jerzy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-97955-7">https://doi.org/10.1007/978-3-319-97955-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Bioinformatics and Computational Biology 11th Brazilian Symposium on Bioinformatics, BSB 2018, Niterói, Brazil, October 30 – November 1, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400087
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Alves, Ronnie. editor. (orcid)0000-0003-4139-0562 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-01722-4">https://doi.org/10.1007/978-3-030-01722-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Research, Management and Applications
ent://SD_ILS/0/SD_ILS:400088
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61388-8">https://doi.org/10.1007/978-3-319-61388-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Interaction. Theories, Methods, and Human Issues 20th International Conference, HCI International 2018, Las Vegas, NV, USA, July 15–20, 2018, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:400110
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Kurosu, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91238-7">https://doi.org/10.1007/978-3-319-91238-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400131
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Podelski, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99725-4">https://doi.org/10.1007/978-3-319-99725-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Topics in Cryptology – CT-RSA 2018 The Cryptographers' Track at the RSA Conference 2018, San Francisco, CA, USA, April 16-20, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:400594
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Smart, Nigel P. editor. (orcid)0000-0003-3567-3304 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-76953-0">https://doi.org/10.1007/978-3-319-76953-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-Disciplinary Digital Signal Processing A Functional Approach Using Matlab
ent://SD_ILS/0/SD_ILS:400788
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Gopi, E. S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57430-1">https://doi.org/10.1007/978-3-319-57430-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Implantable Sensors and Systems From Theory to Practice
ent://SD_ILS/0/SD_ILS:400864
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Yang, Guang-Zhong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69748-2">https://doi.org/10.1007/978-3-319-69748-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Managing Software Crisis: A Smart Way to Enterprise Agility
ent://SD_ILS/0/SD_ILS:401253
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Zykov, Sergey V. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-77917-1">https://doi.org/10.1007/978-3-319-77917-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Thinking-Driven Testing The Most Reasonable Approach to Quality Control
ent://SD_ILS/0/SD_ILS:401650
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Roman, Adam. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73195-7">https://doi.org/10.1007/978-3-319-73195-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Comparing and Aligning Process Representations Foundations and Technical Solutions
ent://SD_ILS/0/SD_ILS:401701
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author van der Aa, Han. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94634-4">https://doi.org/10.1007/978-3-319-94634-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital Human Modeling. Applications in Health, Safety, Ergonomics, and Risk Management 9th International Conference, DHM 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:402654
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Duffy, Vincent G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-91397-1">https://doi.org/10.1007/978-3-319-91397-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Facilitating Daily Life Integration of Technologies for Active and Healthy Aging Understanding Demands of Older Adults in Health Technology Design
ent://SD_ILS/0/SD_ILS:402676
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Vaziri, Daryoush Daniel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-22875-0">https://doi.org/10.1007/978-3-658-22875-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Content Credibility
ent://SD_ILS/0/SD_ILS:400291
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Wierzbicki, Adam. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-77794-8">https://doi.org/10.1007/978-3-319-77794-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cross-Cultural Design. Methods, Tools, and Users 10th International Conference, CCD 2018, Held as Part of HCI International 2018, Las Vegas, NV, USA, July 15-20, 2018, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:400293
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Rau, Pei-Luen Patrick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-92141-9">https://doi.org/10.1007/978-3-319-92141-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming
ent://SD_ILS/0/SD_ILS:400976
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Kormanyos, Christopher. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-56718-0">https://doi.org/10.1007/978-3-662-56718-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
TraceME: A Traceability-Based Method for Conceptual Model Evolution Model-Driven Techniques, Tools, Guidelines, and Open Challenges in Conceptual Model Evolution
ent://SD_ILS/0/SD_ILS:401042
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Ruiz, Marcela. author. (orcid)0000-0002-0592-1779 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89716-5">https://doi.org/10.1007/978-3-319-89716-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Languages Syntax, Semantics, and Metaprogramming
ent://SD_ILS/0/SD_ILS:401172
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Lämmel, Ralf. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90800-7">https://doi.org/10.1007/978-3-319-90800-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modelling and Simulation for Autonomous Systems 4th International Conference, MESAS 2017, Rome, Italy, October 24-26, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401453
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Mazal, Jan. editor. (orcid)0000-0001-5741-558X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-76072-8">https://doi.org/10.1007/978-3-319-76072-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Technology for Management. Ongoing Research and Development 15th Conference, AITM 2017, and 12th Conference, ISM 2017, Held as Part of FedCSIS, Prague, Czech Republic, September 3-6, 2017, Extended Selected Papers
ent://SD_ILS/0/SD_ILS:401609
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Ziemba, Ewa. editor. (orcid)0000-0002-1084-7497 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-77721-4">https://doi.org/10.1007/978-3-319-77721-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simulating Nonlinear Circuits with Python Power Electronics An Open-Source Simulator, Based on Python™
ent://SD_ILS/0/SD_ILS:401669
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Iyer, Shivkumar V. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73984-7">https://doi.org/10.1007/978-3-319-73984-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Designing Usable and Secure Software with IRIS and CAIRIS
ent://SD_ILS/0/SD_ILS:401826
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Faily, Shamal. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-75493-2">https://doi.org/10.1007/978-3-319-75493-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Modeling and Software Design 7th International Symposium, BMSD 2017, Barcelona, Spain, July 3–5, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:401983
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Shishkov, Boris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-78428-1">https://doi.org/10.1007/978-3-319-78428-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Low-Power Design and Power-Aware Verification
ent://SD_ILS/0/SD_ILS:402053
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Khondkar, Progyna. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66619-8">https://doi.org/10.1007/978-3-319-66619-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digging into Software Knowledge Generation in Cultural Heritage Modeling Assistance Strategies for Large Archaeological Data Sets
ent://SD_ILS/0/SD_ILS:402169
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Martin-Rodilla, Patricia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69188-6">https://doi.org/10.1007/978-3-319-69188-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Modeling and Software Design 8th International Symposium, BMSD 2018, Vienna, Austria, July 2-4, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:402217
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Shishkov, Boris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94214-8">https://doi.org/10.1007/978-3-319-94214-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cooperative Design, Visualization, and Engineering 15th International Conference, CDVE 2018, Hangzhou, China, October 21–24, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399772
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Luo, Yuhua. editor. (orcid)0000-0003-3057-4753 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-00560-3">https://doi.org/10.1007/978-3-030-00560-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Study Guide to the ISTQB® Foundation Level 2018 Syllabus Test Techniques and Sample Mock Exams
ent://SD_ILS/0/SD_ILS:399773
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Roman, Adam. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-98740-8">https://doi.org/10.1007/978-3-319-98740-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fog Computing Concepts, Frameworks and Technologies
ent://SD_ILS/0/SD_ILS:402707
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
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-94890-4">https://doi.org/10.1007/978-3-319-94890-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612292
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Yang, Hongseok. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54434-1">https://doi.org/10.1007/978-3-662-54434-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unraveling Software Maintenance and Evolution Thinking Outside the Box
ent://SD_ILS/0/SD_ILS:613157
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
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/>
Process Algebras for Petri Nets The Alphabetization of Distributed Systems
ent://SD_ILS/0/SD_ILS:615659
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Gorrieri, Roberto. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55559-1">https://doi.org/10.1007/978-3-319-55559-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
TRIZ - The Theory of Inventive Problem Solving Current Research and Trends in French Academic Institutions
ent://SD_ILS/0/SD_ILS:615694
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Cavallucci, Denis. editor. (orcid)0000-0003-1815-5601 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56593-4">https://doi.org/10.1007/978-3-319-56593-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Modeling with UML Code Generation, Testing, Refactoring
ent://SD_ILS/0/SD_ILS:617166
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
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/>
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
ent://SD_ILS/0/SD_ILS:617461
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Ölveczky, Peter Csaba. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-6687-0">https://doi.org/10.1007/978-1-4471-6687-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concise Guide to Formal Methods Theory, Fundamentals and Industry Applications
ent://SD_ILS/0/SD_ILS:617536
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
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-64021-1">https://doi.org/10.1007/978-3-319-64021-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cross-Cultural Design 9th International Conference, CCD 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617617
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Rau, Pei-Luen Patrick. editor. (orcid)0000-0002-5713-8612 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57931-3">https://doi.org/10.1007/978-3-319-57931-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bridging the Gap between Requirements Engineering and Software Architecture A Problem-Oriented and Quality-Driven Method
ent://SD_ILS/0/SD_ILS:617804
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Alebrahim, Azadeh. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-17694-5">https://doi.org/10.1007/978-3-658-17694-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Load Modelling and Generation in IP-based Networks A Unified Approach and Tool Support
ent://SD_ILS/0/SD_ILS:617851
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Kolesnikov, Andrey. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-19102-3">https://doi.org/10.1007/978-3-658-19102-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Project Management for Distributed Computing Life-Cycle Methods for Developing Scalable and Reliable Tools
ent://SD_ILS/0/SD_ILS:612946
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
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/>
Algorithmic Decision Theory 5th International Conference, ADT 2017, Luxembourg, Luxembourg, October 25-27, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613140
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Rothe, Jörg. editor. (orcid)0000-0002-0589-3616 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67504-6">https://doi.org/10.1007/978-3-319-67504-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human Aspects of Information Security, Privacy and Trust 5th International Conference, HAS 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613483
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Tryfonas, Theo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58460-7">https://doi.org/10.1007/978-3-319-58460-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Financial Cryptography and Data Security 21st International Conference, FC 2017, Sliema, Malta, April 3-7, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:610861
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Kiayias, Aggelos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70972-7">https://doi.org/10.1007/978-3-319-70972-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming in HTML and PHP Coding for Scientists and Engineers
ent://SD_ILS/0/SD_ILS:611023
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Brooks, David R. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56973-4">https://doi.org/10.1007/978-3-319-56973-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cryptography and Coding 16th IMA International Conference, IMACC 2017, Oxford, UK, December 12-14, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612659
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author O'Neill, Máire. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71045-7">https://doi.org/10.1007/978-3-319-71045-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering: Specification, Implementation, Verification
ent://SD_ILS/0/SD_ILS:616817
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Alagić, Suad. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61518-9">https://doi.org/10.1007/978-3-319-61518-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Interaction. Interaction Contexts 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:617254
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Kurosu, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58077-7">https://doi.org/10.1007/978-3-319-58077-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pervasive Computing Engineering Smart Systems
ent://SD_ILS/0/SD_ILS:617371
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Silvis-Cividjian, Natalia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51655-4">https://doi.org/10.1007/978-3-319-51655-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Quality Assurance Consistency in the Face of Complexity and Change
ent://SD_ILS/0/SD_ILS:617489
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Walkinshaw, Neil. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64822-4">https://doi.org/10.1007/978-3-319-64822-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Business Information Systems 20th International Conference, BIS 2017, Poznan, Poland, June 28-30, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617518
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Abramowicz, Witold. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59336-4">https://doi.org/10.1007/978-3-319-59336-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of Secure System Modelling
ent://SD_ILS/0/SD_ILS:617827
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Matulevičius, Raimundas. author. (orcid)0000-0002-1829-4794 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61717-6">https://doi.org/10.1007/978-3-319-61717-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Essence of Systems Analysis and Design A Workbook Approach
ent://SD_ILS/0/SD_ILS:617835
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Sajja, Priti Srinivas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-5128-9">https://doi.org/10.1007/978-981-10-5128-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concise Guide to Software Engineering From Fundamentals to Application Methods
ent://SD_ILS/0/SD_ILS:617836
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
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/>
Failure-Modes-Based Software Reading
ent://SD_ILS/0/SD_ILS:617952
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
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/>
Applied Computer Science for GGOS Observatories Communication, Coordination and Automation of Future Geodetic Infrastructures
ent://SD_ILS/0/SD_ILS:618041
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Neidhardt, Alexander N.J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40139-3">https://doi.org/10.1007/978-3-319-40139-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Theoretic Security 10th International Conference, ICITS 2017, Hong Kong, China, November 29 - December 2, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613337
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Shikata, Junji. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-72089-0">https://doi.org/10.1007/978-3-319-72089-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Collective Intelligence XXVII
ent://SD_ILS/0/SD_ILS:613757
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Mercik, Jacek. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70647-4">https://doi.org/10.1007/978-3-319-70647-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Enterprise Architecture at Work Modelling, Communication and Analysis
ent://SD_ILS/0/SD_ILS:614629
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Lankhorst, Marc. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-53933-0">https://doi.org/10.1007/978-3-662-53933-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automotive Software Architectures An Introduction
ent://SD_ILS/0/SD_ILS:615838
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Staron, Miroslaw. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58610-6">https://doi.org/10.1007/978-3-319-58610-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cooperative Design, Visualization, and Engineering 14th International Conference, CDVE 2017, Mallorca, Spain, September 17-20, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:615960
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Luo, Yuhua. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66805-5">https://doi.org/10.1007/978-3-319-66805-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Interaction. User Interface Design, Development and Multimodality 19th International Conference, HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:616261
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Kurosu, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58071-5">https://doi.org/10.1007/978-3-319-58071-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Deduction - CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616315
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author de Moura, Leonardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63046-5">https://doi.org/10.1007/978-3-319-63046-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616318
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Ranzato, Francesco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66706-5">https://doi.org/10.1007/978-3-319-66706-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity
ent://SD_ILS/0/SD_ILS:616321
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Zeume, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54314-6">https://doi.org/10.1007/978-3-662-54314-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Computing Technologies 14th International Conference, PaCT 2017, Nizhny Novgorod, Russia, September 4-8, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616323
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Malyshkin, Victor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62932-2">https://doi.org/10.1007/978-3-319-62932-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Analyzing Time Interval Data Introducing an Information System for Time Interval Data Analysis
ent://SD_ILS/0/SD_ILS:610680
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Meisen, Philipp. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-15728-9">https://doi.org/10.1007/978-3-658-15728-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modeling with UML Language, Concepts, Methods
ent://SD_ILS/0/SD_ILS:612868
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
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-33933-7">https://doi.org/10.1007/978-3-319-33933-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ICT Education 45th Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2016, Cullinan, South Africa, July 5-6, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:615004
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Gruner, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47680-3">https://doi.org/10.1007/978-3-319-47680-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Software and Service Composition A Survey and Evaluating Review
ent://SD_ILS/0/SD_ILS:616990
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Mohr, Felix. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-34168-2">https://doi.org/10.1007/978-3-319-34168-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Process Mining Data Science in Action
ent://SD_ILS/0/SD_ILS:617779
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author van der Aalst, Wil M. P. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49851-4">https://doi.org/10.1007/978-3-662-49851-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Complete Symbolic Simulation of SystemC Models Efficient Formal Verification of Finite Non-Terminating Programs
ent://SD_ILS/0/SD_ILS:617799
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Herdt, Vladimir. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-12680-3">https://doi.org/10.1007/978-3-658-12680-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Foundations for Mastering Change I
ent://SD_ILS/0/SD_ILS:617815
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46508-1">https://doi.org/10.1007/978-3-319-46508-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity
ent://SD_ILS/0/SD_ILS:610688
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Skrzypczak, Michał. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-52947-8">https://doi.org/10.1007/978-3-662-52947-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Interactive Modeling and Simulation in Business System Design
ent://SD_ILS/0/SD_ILS:611168
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Roubtsova, Ella. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-15102-1">https://doi.org/10.1007/978-3-319-15102-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Coordination of Complex Sociotechnical Systems Self-organisation of Knowledge in MoK
ent://SD_ILS/0/SD_ILS:611371
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Mariani, Stefano. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47109-9">https://doi.org/10.1007/978-3-319-47109-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612288
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Thiemann, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49498-1">https://doi.org/10.1007/978-3-662-49498-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Variation Based Dense 3D Reconstruction Application on Monocular Mini-Laparoscopic Sequences
ent://SD_ILS/0/SD_ILS:612584
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Painer, Sven. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-12698-8">https://doi.org/10.1007/978-3-658-12698-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Interaction. Novel User Experiences 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part III
ent://SD_ILS/0/SD_ILS:613422
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Kurosu, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39513-5">https://doi.org/10.1007/978-3-319-39513-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Computer Interaction. Theory, Design, Development and Practice 18th International Conference, HCI International 2016, Toronto, ON, Canada, July 17-22, 2016. Proceedings, Part I
ent://SD_ILS/0/SD_ILS:610718
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Kurosu, Masaaki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39510-4">https://doi.org/10.1007/978-3-319-39510-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Scala: From a Functional Programming Perspective An Introduction to the Programming Language
ent://SD_ILS/0/SD_ILS:611120
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Torra, Vicenç. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46481-7">https://doi.org/10.1007/978-3-319-46481-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Working Around Disruptions of Network Infrastructures Mobile Ad-Hoc Systems for Resilient Communication in Disasters
ent://SD_ILS/0/SD_ILS:612368
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Al-Akkad, Amro. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-12616-2">https://doi.org/10.1007/978-3-658-12616-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Understanding Control Flow Concurrent Programming Using μC++
ent://SD_ILS/0/SD_ILS:612212
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Buhr, Peter A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-25703-7">https://doi.org/10.1007/978-3-319-25703-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming with Python
ent://SD_ILS/0/SD_ILS:612535
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Padmanabhan, T R. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-3277-6">https://doi.org/10.1007/978-981-10-3277-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Research, Management and Applications
ent://SD_ILS/0/SD_ILS:614083
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33903-0">https://doi.org/10.1007/978-3-319-33903-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Behavioral Program Synthesis with Genetic Programming
ent://SD_ILS/0/SD_ILS:614763
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Krawiec, Krzysztof. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-27565-9">https://doi.org/10.1007/978-3-319-27565-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616357
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Lamprecht, Anna-Lena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51641-7">https://doi.org/10.1007/978-3-319-51641-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Instruction Selection Principles, Methods, and Applications
ent://SD_ILS/0/SD_ILS:617666
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Hjort Blindell, Gabriel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-34019-7">https://doi.org/10.1007/978-3-319-34019-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Managing Information Technology
ent://SD_ILS/0/SD_ILS:617693
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Castillo, Francisco. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-38891-5">https://doi.org/10.1007/978-3-319-38891-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Description and Selection of Communication Services for Service Oriented Network Architectures
ent://SD_ILS/0/SD_ILS:617834
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Khondoker, Rahamatullah. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-12742-8">https://doi.org/10.1007/978-3-658-12742-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Crisis Management for Software Development and Knowledge Transfer
ent://SD_ILS/0/SD_ILS:618199
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Zykov, Sergey V. author. (orcid)0000-0002-2115-5461 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42966-3">https://doi.org/10.1007/978-3-319-42966-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Control Modes on Mobile Software Platforms Empirical Studies on the Importance of Informal Control
ent://SD_ILS/0/SD_ILS:612130
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Goldbach, Tobias. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-14893-5">https://doi.org/10.1007/978-3-658-14893-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613063
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Igarashi, Atsushi. editor. (orcid)0000-0002-5143-9764 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47958-3">https://doi.org/10.1007/978-3-319-47958-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tangible Interactive Systems Grasping the Real World with Computers
ent://SD_ILS/0/SD_ILS:618466
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Boy, Guy André. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30270-6">https://doi.org/10.1007/978-3-319-30270-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quality in Business Process Modeling
ent://SD_ILS/0/SD_ILS:614181
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Krogstie, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42512-2">https://doi.org/10.1007/978-3-319-42512-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Functional Safety for Road Vehicles New Challenges and Solutions for E-mobility and Automated Driving
ent://SD_ILS/0/SD_ILS:615793
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
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/>
Design, User Experience, and Usability: Novel User Experiences 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:615929
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Marcus, Aaron. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40355-7">https://doi.org/10.1007/978-3-319-40355-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design, User Experience, and Usability: Design Thinking and Methods 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:616084
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Marcus, Aaron. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40409-7">https://doi.org/10.1007/978-3-319-40409-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616135
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Rival, Xavier. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-53413-7">https://doi.org/10.1007/978-3-662-53413-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design, User Experience, and Usability: Technological Contexts 5th International Conference, DUXU 2016, Held as Part of HCI International 2016, Toronto, Canada, July 17-22, 2016, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:616314
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Marcus, Aaron. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40406-6">https://doi.org/10.1007/978-3-319-40406-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616329
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Lucanu, Dorel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44802-2">https://doi.org/10.1007/978-3-319-44802-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Understanding Network Hacks Attack and Defense with Python
ent://SD_ILS/0/SD_ILS:530100
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Ballmann, Bastian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44437-5">https://doi.org/10.1007/978-3-662-44437-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Augmented Marked Graphs
ent://SD_ILS/0/SD_ILS:485527
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Cheung, King Sing. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06428-4">https://doi.org/10.1007/978-3-319-06428-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Continuous Software Engineering
ent://SD_ILS/0/SD_ILS:487296
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Bosch, Jan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11283-1">https://doi.org/10.1007/978-3-319-11283-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Science Gateways for Distributed Computing Infrastructures Development Framework and Exploitation by Scientific User Communities
ent://SD_ILS/0/SD_ILS:487356
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Kacsuk, Péter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11268-8">https://doi.org/10.1007/978-3-319-11268-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Beginner's Guide to Scala, Object Orientation and Functional Programming
ent://SD_ILS/0/SD_ILS:487859
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Hunt, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-06776-6">https://doi.org/10.1007/978-3-319-06776-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modeling and Simulation of Complex Systems A Framework for Efficient Agent-Based Modeling and Simulation
ent://SD_ILS/0/SD_ILS:488044
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Siegfried, Robert. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-07529-3">https://doi.org/10.1007/978-3-658-07529-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Risk Management
ent://SD_ILS/0/SD_ILS:488430
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Moran, Alan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-05008-9">https://doi.org/10.1007/978-3-319-05008-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Aligning Business Processes and Information Systems New Approaches to Continuous Quality Engineering
ent://SD_ILS/0/SD_ILS:488599
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Heinrich, Robert. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-06518-8">https://doi.org/10.1007/978-3-658-06518-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile! The Good, the Hype and the Ugly
ent://SD_ILS/0/SD_ILS:488675
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Meyer, Bertrand. author. (orcid)0000-0002-5985-7434 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-05155-0">https://doi.org/10.1007/978-3-319-05155-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Compiler Construction 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:488914
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Cohen, Albert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54807-9">https://doi.org/10.1007/978-3-642-54807-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ECOOP 2014 -- Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28--August 1, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489137
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Jones, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44202-9">https://doi.org/10.1007/978-3-662-44202-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages 18th Brazilian Symposium, SBLP 2014, Maceio, Brazil, October 2-3, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:488976
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Quintao Pereira, Fernando Magno. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-11863-5">https://doi.org/10.1007/978-3-319-11863-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Operational Semantics A Concise Overview
ent://SD_ILS/0/SD_ILS:484561
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Fernández, Maribel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-6368-8">https://doi.org/10.1007/978-1-4471-6368-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:485783
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Escobar, Santiago. editor. (orcid)0000-0002-3550-4781 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12904-4">https://doi.org/10.1007/978-3-319-12904-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Software Quality
ent://SD_ILS/0/SD_ILS:487425
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
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-06106-1">https://doi.org/10.1007/978-3-319-06106-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Enterprise Information Systems Engineering The MERODE Approach
ent://SD_ILS/0/SD_ILS:487701
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Snoeck, Monique. author. (orcid)0000-0002-3824-3214 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-10145-3">https://doi.org/10.1007/978-3-319-10145-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Kaizen Managing Continuous Improvement Far Beyond Retrospectives
ent://SD_ILS/0/SD_ILS:487857
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Medinilla, Ángel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54991-5">https://doi.org/10.1007/978-3-642-54991-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design Science Methodology for Information Systems and Software Engineering
ent://SD_ILS/0/SD_ILS:487890
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Wieringa, Roel J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43839-8">https://doi.org/10.1007/978-3-662-43839-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Driven Software Migration: A Methodology Reengineering, Recovery and Modernization of Legacy Systems
ent://SD_ILS/0/SD_ILS:488331
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Wagner, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-05270-6">https://doi.org/10.1007/978-3-658-05270-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practitioner's Knowledge Representation A Pathway to Improve Software Effort Estimation
ent://SD_ILS/0/SD_ILS:488361
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Mendes, Emilia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54157-5">https://doi.org/10.1007/978-3-642-54157-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Break-Glass Handling Exceptional Situations in Access Control
ent://SD_ILS/0/SD_ILS:488375
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Petritsch, Helmut. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-07365-7">https://doi.org/10.1007/978-3-658-07365-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489081
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Garrigue, Jacques. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-12736-1">https://doi.org/10.1007/978-3-319-12736-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design Concepts for a Virtualizable Embedded MPSoC Architecture Enabling Virtualization in Embedded Multi-Processor Systems
ent://SD_ILS/0/SD_ILS:489327
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Biedermann, Alexander. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-08047-1">https://doi.org/10.1007/978-3-658-08047-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Research, Management and Applications
ent://SD_ILS/0/SD_ILS:489349
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-00948-3">https://doi.org/10.1007/978-3-319-00948-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:489434
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Shao, Zhong. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-54833-8">https://doi.org/10.1007/978-3-642-54833-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Soft City Culture and Technology The Betaville Project
ent://SD_ILS/0/SD_ILS:489152
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Skelton, Carl. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4614-7251-3">https://doi.org/10.1007/978-1-4614-7251-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings.
ent://SD_ILS/0/SD_ILS:489153
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Baldan, Paolo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44584-6">https://doi.org/10.1007/978-3-662-44584-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:489622
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Yahav, Eran. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-13338-6">https://doi.org/10.1007/978-3-319-13338-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro ASP.NET MVC 5 Platform
ent://SD_ILS/0/SD_ILS:618543
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Freeman, Adam. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6542-9">https://doi.org/10.1007/978-1-4302-6542-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro JavaScript Development Coding, Capabilities, and Tooling
ent://SD_ILS/0/SD_ILS:618524
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Odell, Den. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6269-5">https://doi.org/10.1007/978-1-4302-6269-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro PowerShell for Amazon Web Services DevOps for the AWS Cloud
ent://SD_ILS/0/SD_ILS:618532
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Beach, Brian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6452-1">https://doi.org/10.1007/978-1-4302-6452-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning Responsive Web Design with HTML5 and CSS3
ent://SD_ILS/0/SD_ILS:618558
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Fielding, Jonathan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6695-2">https://doi.org/10.1007/978-1-4302-6695-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning COBOL for Programmers
ent://SD_ILS/0/SD_ILS:618562
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Coughlan, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6254-1">https://doi.org/10.1007/978-1-4302-6254-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning HTML5 Games with CreateJS
ent://SD_ILS/0/SD_ILS:618564
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Manderscheid, Brad. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6341-8">https://doi.org/10.1007/978-1-4302-6341-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
.NET IL Assembler
ent://SD_ILS/0/SD_ILS:618567
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Lidin, Serge. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6760-7">https://doi.org/10.1007/978-1-4302-6760-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Thinking in LINQ Harnessing the Power of Functional Programming in .NET Applications
ent://SD_ILS/0/SD_ILS:618570
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Mukherjee, Sudipta. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6844-4">https://doi.org/10.1007/978-1-4302-6844-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced C and C++ Compiling
ent://SD_ILS/0/SD_ILS:618571
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Stevanovic, Milan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6668-6">https://doi.org/10.1007/978-1-4302-6668-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Scripting in Java Integrating with Groovy and JavaScript
ent://SD_ILS/0/SD_ILS:618573
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Sharan, Kishori. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0713-0">https://doi.org/10.1007/978-1-4842-0713-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Learn Java for Android Development Java 8 and Android 5 Edition
ent://SD_ILS/0/SD_ILS:618575
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Friesen, Jeff. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6455-2">https://doi.org/10.1007/978-1-4302-6455-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Python Quick Syntax Reference
ent://SD_ILS/0/SD_ILS:618576
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Walters, Gregory. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6479-8">https://doi.org/10.1007/978-1-4302-6479-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Topics in Java Core Concepts in Data Structures
ent://SD_ILS/0/SD_ILS:618578
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Kalicharan, Noel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6620-4">https://doi.org/10.1007/978-1-4302-6620-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Building JavaScript Games for Phones, Tablets, and Desktop
ent://SD_ILS/0/SD_ILS:618579
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Egges, Arjan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6539-9">https://doi.org/10.1007/978-1-4302-6539-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Platform Embedded Security Technology Revealed Safeguarding the Future of Computing with Intel Embedded Security and Management Engine
ent://SD_ILS/0/SD_ILS:618584
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Ruan, Xiaoyu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6572-6">https://doi.org/10.1007/978-1-4302-6572-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
JavaServer Faces: Introduction by Example
ent://SD_ILS/0/SD_ILS:618585
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Juneau, Josh. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0838-0">https://doi.org/10.1007/978-1-4842-0838-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced API Security Securing APIs with OAuth 2.0, OpenID Connect, JWS, and JWE
ent://SD_ILS/0/SD_ILS:618586
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Siriwardena, Prabath. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6817-8">https://doi.org/10.1007/978-1-4302-6817-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Node.js Building Real-World Scalable Web Apps
ent://SD_ILS/0/SD_ILS:618588
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Mardan, Azat. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6596-2">https://doi.org/10.1007/978-1-4302-6596-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Definitive Guide to SUSE Linux Enterprise Server 12
ent://SD_ILS/0/SD_ILS:618598
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author van Vugt, Sander. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6820-8">https://doi.org/10.1007/978-1-4302-6820-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning Python Visualization Crafting Visual Transformation Scripts
ent://SD_ILS/0/SD_ILS:618646
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Vaingast, Shai. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0052-0">https://doi.org/10.1007/978-1-4842-0052-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro Express.js Master Express.js: The Node.js Framework For Your Web Development
ent://SD_ILS/0/SD_ILS:618604
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Mardan, Azat. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0037-7">https://doi.org/10.1007/978-1-4842-0037-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Using Mac OS X Mavericks
ent://SD_ILS/0/SD_ILS:618652
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Wilson, Kevin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6683-9">https://doi.org/10.1007/978-1-4302-6683-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Standards Mastering HTML5, CSS3, and XML
ent://SD_ILS/0/SD_ILS:618653
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Sikos, Leslie. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0883-0">https://doi.org/10.1007/978-1-4842-0883-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
JavaScript Creativity Exploring the Modern Capabilities of JavaScript and HTML5
ent://SD_ILS/0/SD_ILS:618619
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Hudson, Shane. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-5945-9">https://doi.org/10.1007/978-1-4302-5945-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ASP.NET Web API 2 Recipes A Problem-Solution Approach
ent://SD_ILS/0/SD_ILS:618621
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Wojcieszyn, Filip. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-5981-7">https://doi.org/10.1007/978-1-4302-5981-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Linux Kernel Networking Implementation and Theory
ent://SD_ILS/0/SD_ILS:618627
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Rosen, Rami. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6197-1">https://doi.org/10.1007/978-1-4302-6197-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Raspberry Pi System Software Reference
ent://SD_ILS/0/SD_ILS:618631
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Gay, Warren. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0796-3">https://doi.org/10.1007/978-1-4842-0796-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro Linux High Availability Clustering
ent://SD_ILS/0/SD_ILS:618632
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author van Vugt, Sander. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0079-7">https://doi.org/10.1007/978-1-4842-0079-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning RPG Maker VX Ace
ent://SD_ILS/0/SD_ILS:618634
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Perez, Darrin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0784-0">https://doi.org/10.1007/978-1-4842-0784-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning AngularJS
ent://SD_ILS/0/SD_ILS:618635
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Grant, Andrew. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0160-2">https://doi.org/10.1007/978-1-4842-0160-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Windows PowerShell Desired State Configuration Revealed
ent://SD_ILS/0/SD_ILS:618637
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Chaganti, Ravikanth. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0016-2">https://doi.org/10.1007/978-1-4842-0016-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Express.js Deep API Reference
ent://SD_ILS/0/SD_ILS:618638
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Mardan, Azat. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0781-9">https://doi.org/10.1007/978-1-4842-0781-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning C++
ent://SD_ILS/0/SD_ILS:618641
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Horton, Ivor. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0007-0">https://doi.org/10.1007/978-1-4842-0007-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Learn Java for Web Development Modern Java Web Development
ent://SD_ILS/0/SD_ILS:618517
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Layka, Vishal. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-5984-8">https://doi.org/10.1007/978-1-4302-5984-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unboxing Android USB A hands on approach with real world examples
ent://SD_ILS/0/SD_ILS:618520
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Regupathy, Rajaram. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6209-1">https://doi.org/10.1007/978-1-4302-6209-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Irresistible Apps Motivational Design Patterns for Apps, Games, and Web-based Communities
ent://SD_ILS/0/SD_ILS:618525
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Lewis, Chris. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6422-4">https://doi.org/10.1007/978-1-4302-6422-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Create Web Charts with jqPlot
ent://SD_ILS/0/SD_ILS:618530
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Nelli, Fabio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0862-5">https://doi.org/10.1007/978-1-4842-0862-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ruby Quick Syntax Reference
ent://SD_ILS/0/SD_ILS:618533
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Clements, Matt. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6569-6">https://doi.org/10.1007/978-1-4302-6569-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
MATLAB Graphical Programming Practical hands-on MATLAB solutions
ent://SD_ILS/0/SD_ILS:618538
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Lopez, Cesar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0316-3">https://doi.org/10.1007/978-1-4842-0316-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
C++ 2013 for C# Developers
ent://SD_ILS/0/SD_ILS:618539
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Wills, Dean C. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6707-2">https://doi.org/10.1007/978-1-4302-6707-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
C++ Game Development Primer
ent://SD_ILS/0/SD_ILS:618542
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Sutherland, Bruce. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0814-4">https://doi.org/10.1007/978-1-4842-0814-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning Java 8 APIs, Extensions and Libraries Swing, JavaFX, JavaScript, JDBC and Network Programming APIs
ent://SD_ILS/0/SD_ILS:618643
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Sharan, Kishori. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6662-4">https://doi.org/10.1007/978-1-4302-6662-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
tmux Taster
ent://SD_ILS/0/SD_ILS:618645
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author McDonnell, Mark. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0775-8">https://doi.org/10.1007/978-1-4842-0775-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Using R for Statistics
ent://SD_ILS/0/SD_ILS:618602
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Baldock, Sarah. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0139-8">https://doi.org/10.1007/978-1-4842-0139-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
R Quick Syntax Reference
ent://SD_ILS/0/SD_ILS:618603
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Tollefson, Margot. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6641-9">https://doi.org/10.1007/978-1-4302-6641-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introducing Spring Framework A Primer
ent://SD_ILS/0/SD_ILS:618606
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Gutierrez, Felipe. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6533-7">https://doi.org/10.1007/978-1-4302-6533-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning Node.js
ent://SD_ILS/0/SD_ILS:618650
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Syed, Basarat. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0187-9">https://doi.org/10.1007/978-1-4842-0187-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Software Development Techniques Tools and Techniques for Building Enterprise Software
ent://SD_ILS/0/SD_ILS:618654
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Crookshanks, Edward. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0728-4">https://doi.org/10.1007/978-1-4842-0728-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning Fedora Desktop Fedora 20 Edition
ent://SD_ILS/0/SD_ILS:618657
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Petersen, Richard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0067-4">https://doi.org/10.1007/978-1-4842-0067-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
PHP Solutions Dynamic Web Design Made Easy
ent://SD_ILS/0/SD_ILS:618666
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Powers, David. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0635-5">https://doi.org/10.1007/978-1-4842-0635-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modern X86 Assembly Language Programming 32-bit, 64-bit, SSE, and AVX
ent://SD_ILS/0/SD_ILS:618669
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Kusswurm, Daniel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0064-3">https://doi.org/10.1007/978-1-4842-0064-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro Python System Administration
ent://SD_ILS/0/SD_ILS:618670
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Sileika, Rytis. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0217-3">https://doi.org/10.1007/978-1-4842-0217-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro TypeScript Application-Scale JavaScript Development
ent://SD_ILS/0/SD_ILS:618672
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Fenton, Steve. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6790-4">https://doi.org/10.1007/978-1-4302-6790-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro Vim
ent://SD_ILS/0/SD_ILS:618676
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author McDonnell, Mark. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0250-0">https://doi.org/10.1007/978-1-4842-0250-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning Java 8 Fundamentals Language Syntax, Arrays, Data Types, Objects, and Regular Expressions
ent://SD_ILS/0/SD_ILS:618678
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Sharan, Kishori. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6653-2">https://doi.org/10.1007/978-1-4302-6653-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro Unity Game Development with C#
ent://SD_ILS/0/SD_ILS:618681
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Thorn, Alan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6745-4">https://doi.org/10.1007/978-1-4302-6745-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning Google Glass Development
ent://SD_ILS/0/SD_ILS:618682
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Tang, Jeff. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6787-4">https://doi.org/10.1007/978-1-4302-6787-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Expert ASP.NET Web API 2 for MVC Developers
ent://SD_ILS/0/SD_ILS:618684
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Freeman, Adam. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0085-8">https://doi.org/10.1007/978-1-4842-0085-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dart for Absolute Beginners
ent://SD_ILS/0/SD_ILS:618687
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Kopec, David. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6482-8">https://doi.org/10.1007/978-1-4302-6482-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
jQuery 2 Recipes A Problem-Solution Approach
ent://SD_ILS/0/SD_ILS:618688
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Pande, Arun. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6434-7">https://doi.org/10.1007/978-1-4302-6434-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Learn C++ for Game Development
ent://SD_ILS/0/SD_ILS:618691
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Sutherland, Bruce. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6458-3">https://doi.org/10.1007/978-1-4302-6458-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
R Recipes A Problem-Solution Approach
ent://SD_ILS/0/SD_ILS:618693
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Pace, Larry. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0130-5">https://doi.org/10.1007/978-1-4842-0130-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering A Methodical Approach
ent://SD_ILS/0/SD_ILS:618696
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Foster, Elvis. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0847-2">https://doi.org/10.1007/978-1-4842-0847-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Python Algorithms Mastering Basic Algorithms in the Python Language
ent://SD_ILS/0/SD_ILS:618698
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Hetland, Magnus Lie. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0055-1">https://doi.org/10.1007/978-1-4842-0055-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Coder's Path to Wealth and Independence
ent://SD_ILS/0/SD_ILS:618702
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Beckner, Mark. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0421-4">https://doi.org/10.1007/978-1-4842-0421-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
C# Deconstructed Discover how C# works on the .NET Framework
ent://SD_ILS/0/SD_ILS:618703
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Rahman, Mohammad. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6671-6">https://doi.org/10.1007/978-1-4302-6671-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning Java 8 Language Features Lambda Expressions, Inner Classes, Threads, I/O, Collections, and Streams
ent://SD_ILS/0/SD_ILS:618705
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Sharan, Kishori. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6659-4">https://doi.org/10.1007/978-1-4302-6659-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Learn SpriteBuilder for iOS Game Development
ent://SD_ILS/0/SD_ILS:618707
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Itterheim, Steffen. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0262-3">https://doi.org/10.1007/978-1-4842-0262-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro AngularJS
ent://SD_ILS/0/SD_ILS:618708
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Freeman, Adam. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6449-1">https://doi.org/10.1007/978-1-4302-6449-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agentensysteme in der Automatisierungstechnik
ent://SD_ILS/0/SD_ILS:337038
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Göhner, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337038.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31768-2">http://dx.doi.org/10.1007/978-3-642-31768-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Kommunikation unter Echtzeitbedingungen Echtzeit 2012
ent://SD_ILS/0/SD_ILS:337075
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Halang, Wolfgang A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337075.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-33707-9">http://dx.doi.org/10.1007/978-3-642-33707-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile IT-Projekte erfolgreich gestalten Risikomanagement als Ergänzung zu Scrum
ent://SD_ILS/0/SD_ILS:338238
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Brandstäter, Jonathan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(338238.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-658-04430-5">http://dx.doi.org/10.1007/978-3-658-04430-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Creativity and Rationale Enhancing Human Experience by Design
ent://SD_ILS/0/SD_ILS:330908
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Carroll, John M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330908.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4111-2">http://dx.doi.org/10.1007/978-1-4471-4111-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Sustainable Web Ecosystem Design
ent://SD_ILS/0/SD_ILS:332331
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author O'Toole, Greg. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332331.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-7714-3">http://dx.doi.org/10.1007/978-1-4614-7714-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Scala Design Patterns Patterns for Practical Reuse and Design
ent://SD_ILS/0/SD_ILS:332904
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Hunt, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332904.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-02192-8">http://dx.doi.org/10.1007/978-3-319-02192-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantic Mashups Intelligent Reuse of Web Resources
ent://SD_ILS/0/SD_ILS:334195
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Endres-Niggemeyer, Brigitte. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334195.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36403-7">http://dx.doi.org/10.1007/978-3-642-36403-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
User-Level Workflow Design A Bioinformatics Perspective
ent://SD_ILS/0/SD_ILS:335213
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Lamprecht, Anna-Lena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335213.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-45389-2">http://dx.doi.org/10.1007/978-3-642-45389-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Risikomanagement kompakt Risiken und Unsicherheiten bewerten und beherrschen
ent://SD_ILS/0/SD_ILS:337388
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Ebert, Christof. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337388.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41048-2">http://dx.doi.org/10.1007/978-3-642-41048-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Grundkurs Datenbankentwicklung Von der Anforderungsanalyse zur komplexen Datenbankanfrage
ent://SD_ILS/0/SD_ILS:337828
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Kleuker, Stephan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(337828.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-658-01588-6">http://dx.doi.org/10.1007/978-3-658-01588-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cloud Computing Methods and Practical Approaches
ent://SD_ILS/0/SD_ILS:331146
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Mahmood, Zaigham. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331146.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5107-4">http://dx.doi.org/10.1007/978-1-4471-5107-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
An Introduction to Network Programming with Java Java 7 Compatible
ent://SD_ILS/0/SD_ILS:331180
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Graba, Jan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331180.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5254-5">http://dx.doi.org/10.1007/978-1-4471-5254-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Using Event-B for Critical Device Software Systems
ent://SD_ILS/0/SD_ILS:331181
2026-04-14T19:56:13Z
2026-04-14T19:56:13Z
Author Singh, Neeraj Kumar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331181.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-5260-6">http://dx.doi.org/10.1007/978-1-4471-5260-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>