Search Results for Science -- Software. - Narrowed by: 1:SPRINGER
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dScience$002b--$002bSoftware.$0026qf$003dLOCATION$002509Shelf$002bLocation$0025091$00253ASPRINGER$0025091$00253ASPRINGER$0026ic$003dtrue$0026ps$003d300?dt=list
2026-04-03T22:50:10Z
Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science On-line Conference 2025, Volume 4
ent://SD_ILS/0/SD_ILS:609706
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-032-03406-9">https://doi.org/10.1007/978-3-032-03406-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science On-line Conference 2025, Volume 3
ent://SD_ILS/0/SD_ILS:610307
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-032-00239-6">https://doi.org/10.1007/978-3-032-00239-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering: Emerging Trends and Practices in System Development Proceedings of the 14th Computer Science On-line Conference 2025, Volume 6
ent://SD_ILS/0/SD_ILS:610462
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-032-00715-5">https://doi.org/10.1007/978-3-032-00715-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:608298
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Kesner, Delia. editor. (orcid)0000-0003-4254-3129 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90897-2">https://doi.org/10.1007/978-3-031-90897-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science Online Conference 2025, Volume 2
ent://SD_ILS/0/SD_ILS:610629
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-032-00712-4">https://doi.org/10.1007/978-3-032-00712-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Research and Practice and e-Learning, e-Business, Enterprise Information Systems, and e-Government 22nd International Conference, SERP 2024, and 23rd International Conference, EEE 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:608052
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-86644-9">https://doi.org/10.1007/978-3-031-86644-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:603150
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57228-9">https://doi.org/10.1007/978-3-031-57228-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computation Structures 27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:603166
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Kobayashi, Naoki. editor. Worrell, James. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57231-9">https://doi.org/10.1007/978-3-031-57231-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Symbolic Computation in Software Science 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:604873
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Watt, Stephen M. editor. (orcid)0000-0001-8303-4983 Ida, Tetsuo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-69042-6">https://doi.org/10.1007/978-3-031-69042-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cyber-Physical Systems Data Science, Modelling and Software Optimization
ent://SD_ILS/0/SD_ILS:605277
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Kravets, Alla G. author. (orcid)0000-0003-1675-8652 Bolshakov, Alexander A. editor. (orcid)0000-0001-7966-718X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-67685-7">https://doi.org/10.1007/978-3-031-67685-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Methods Design and Application Proceedings of 13th Computer Science Online Conference 2024, Volume 1
ent://SD_ILS/0/SD_ILS:605664
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-70285-3">https://doi.org/10.1007/978-3-031-70285-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Trends and Techniques in Intelligent Systems Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 3
ent://SD_ILS/0/SD_ILS:611865
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. Senkerik, Roman. editor. Kominkova Oplatkova, Zuzana. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57141-6">https://doi.org/10.1007/978-3-319-57141-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Environmental Software Systems. Computer Science for Environmental Protection 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612061
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Hřebíček, Jiří. editor. Denzer, Ralf. editor. Schimak, Gerald. editor. Pitner, Tomáš. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-89935-0">https://doi.org/10.1007/978-3-319-89935-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 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:616714
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Esparza, Javier. editor. (orcid)0000-0001-9862-4919 Murawski, Andrzej S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54458-7">https://doi.org/10.1007/978-3-662-54458-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering Perspectives and Application in Intelligent Systems Proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016), Vol 2
ent://SD_ILS/0/SD_ILS:610850
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33622-0">https://doi.org/10.1007/978-3-319-33622-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 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:617134
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Jacobs, Bart. editor. Löding, Christof. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49630-5">https://doi.org/10.1007/978-3-662-49630-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of International Conference on Computing Systems and Intelligent Applications ComSIA 2025, Volume 2
ent://SD_ILS/0/SD_ILS:601722
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Jaiswal, Ajay. editor. Anand, Sameer. editor. Hassanien, Aboul Ella. editor. (orcid)0000-0002-9989-6681 Azar, Ahmad Taher. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-8343-7">https://doi.org/10.1007/978-981-96-8343-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Society 5.0 4th International Conference, Society 5.0 2024, Moka, Mauritius, June 26-28, 2024, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:605498
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Hinkelmann, Knut. editor. (orcid)0000-0002-1746-6945 Smuts, Hanlie. editor. (orcid)0000-0001-7120-7787 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71412-2">https://doi.org/10.1007/978-3-031-71412-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions
ent://SD_ILS/0/SD_ILS:605837
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Hartmanns, Arnd. editor. (orcid)0000-0003-3268-8674 Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-67695-6">https://doi.org/10.1007/978-3-031-67695-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Go Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday
ent://SD_ILS/0/SD_ILS:601811
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Ernst, Gidon. editor. (orcid)0000-0002-3289-5764 Güdemann, Matthias. editor. (orcid)0000-0002-1002-6023 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 Nafz, Florian. editor. (orcid)0000-0001-5725-4827 Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-92196-4">https://doi.org/10.1007/978-3-031-92196-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of the 3rd International Conference on Computer Science's Complex Systems and Their Applications ICCSA'2024
ent://SD_ILS/0/SD_ILS:601812
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Marir, Toufik. editor. (orcid)0000-0002-8709-0680 Bouzid, Maroua. editor. Benaboud, Rohallah. editor. (orcid)0000-0002-6301-2506 Bourouis, Abdelhabib. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90758-6">https://doi.org/10.1007/978-3-031-90758-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of International Conference on Computing and Communication Systems for Industrial Applications ComSIA 2024
ent://SD_ILS/0/SD_ILS:605561
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Jaiswal, Ajay. editor. Anand, Sameer. editor. Hassanien, Aboul Ella. editor. (orcid)0000-0002-9989-6681 Azar, Ahmad Taher. editor. (orcid)0000-0002-7869-6373 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-5862-3">https://doi.org/10.1007/978-981-97-5862-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A First Introduction to Quantum Computing and Information
ent://SD_ILS/0/SD_ILS:605895
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Zygelman, Bernard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-66425-0">https://doi.org/10.1007/978-3-031-66425-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
ent://SD_ILS/0/SD_ILS:605987
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75775-4">https://doi.org/10.1007/978-3-031-75775-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I
ent://SD_ILS/0/SD_ILS:605988
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75783-9">https://doi.org/10.1007/978-3-031-75783-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Numbers and Computers
ent://SD_ILS/0/SD_ILS:606366
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Kneusel, Ronald T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-67482-2">https://doi.org/10.1007/978-3-031-67482-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Critical Infrastructure Protection XVIII 18th IFIP WG 11.10 International Conference, ICCIP 2024, Arlington, VA, USA, March 18-19, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:607445
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Staggs, Jason. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-81888-2">https://doi.org/10.1007/978-3-031-81888-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Systems Benchmarking For Scientists and Engineers
ent://SD_ILS/0/SD_ILS:607716
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Kounev, Samuel. author. Lange, Klaus-Dieter. author. von Kistowski, Jóakim. author. (orcid)0000-0002-3046-5373 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-85634-1">https://doi.org/10.1007/978-3-031-85634-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
5GtoB From Theory to Practice
ent://SD_ILS/0/SD_ILS:605751
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Song, Liang. author. Chen, Mingsong. author. Xu, Zhibing. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-8453-0">https://doi.org/10.1007/978-981-97-8453-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mathematical Foundations for Side-Channel Analysis of Cryptographic Systems
ent://SD_ILS/0/SD_ILS:605727
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Cheng, Wei. author. (orcid)0000-0001-9433-7576 Guilley, Sylvain. author. (orcid)0000-0002-5044-3534 Rioul, Olivier. author. (orcid)0000-0002-8681-8916 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-64399-6">https://doi.org/10.1007/978-3-031-64399-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-03T22:50:10Z
2026-04-03T22:50:10Z
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/>
Intelligent Computing and Networking Proceedings of IC-ICN 2024
ent://SD_ILS/0/SD_ILS:607276
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Ghinea, George. editor. (orcid)0000-0003-2578-5580 Semwal, Vijay Bhaskar. editor. Khandare, Anand. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-8631-2">https://doi.org/10.1007/978-981-97-8631-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Health Information Science 13th International Conference, HIS 2024, Hong Kong, China, December 8-10, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:608480
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Siuly, Siuly. editor. (orcid)0000-0003-2491-0546 Xing, Chunxiao. editor. (orcid)0000-0001-9390-3097 Li, Xiaofan. editor. (orcid)0000-0003-4379-3277 Zhou, Rui. editor. (orcid)0000-0001-6807-4362 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-5597-7">https://doi.org/10.1007/978-981-96-5597-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of International Joint Conference on Advances in Computational Intelligence IJCACI 2024, Volume 2
ent://SD_ILS/0/SD_ILS:608848
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Uddin, Mohammad Shorif. editor. (orcid)0000-0002-7184-2809 Bansal, Jagdish Chand. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-3762-1">https://doi.org/10.1007/978-981-96-3762-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of LLEAHMM 2024 Logistics & Lean Engineering for Advanced Healthcare Methodologies Modelling
ent://SD_ILS/0/SD_ILS:608958
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Gallo, Mosè. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-82923-9">https://doi.org/10.1007/978-3-031-82923-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multivariable Control Engineering Problems and their Solutions with GNU Octave
ent://SD_ILS/0/SD_ILS:609778
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Borutzky, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-95408-5">https://doi.org/10.1007/978-3-031-95408-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Project Management in Cloud and IoT Applications
ent://SD_ILS/0/SD_ILS:609716
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Bhatt, Pramod Chandra P. author. Sehgal, Naresh Kumar. author. Castro, Richard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-99427-2">https://doi.org/10.1007/978-3-031-99427-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence-Empowered Software Engineering 2024 Proceedings of the 15th International Conference on Artificial Intelligence-Empowered Software Engineering (AIeSE2024, formerly JCKBSE), Piraeus, Greece, August 27-30, 2024
ent://SD_ILS/0/SD_ILS:610268
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Virvou, Maria. editor. Tanabe, Yoshinori. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-98410-5">https://doi.org/10.1007/978-3-031-98410-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career
ent://SD_ILS/0/SD_ILS:605668
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Graf, Susanne. editor. (orcid)0000-0003-4354-6807 Pettersson, Paul. editor. (orcid)0000-0003-4040-3480 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-73751-0">https://doi.org/10.1007/978-3-031-73751-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday
ent://SD_ILS/0/SD_ILS:605669
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Hinchey, Mike. editor. Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-73887-6">https://doi.org/10.1007/978-3-031-73887-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Informatics Proceedings of Eighth International Symposium on Intelligent Informatics (ISI 2023)
ent://SD_ILS/0/SD_ILS:605596
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Pal, Sankar K. editor. (orcid)0000-0003-3301-4751 Thampi, Sabu M. editor. Abraham, Ajith. editor. (orcid)0000-0002-0169-6738 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-2147-4">https://doi.org/10.1007/978-981-97-2147-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software and Data Engineering 33rd International Conference, SEDE 2024, San Diego, CA, USA, October 21-22, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:605612
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Feng, Wenying. editor. Rahimi, Nick. editor. Margapuri, Venkatasivakumar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75201-8">https://doi.org/10.1007/978-3-031-75201-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Emerging Research in Intelligent Systems Proceedings of the CIT 2024 - Volume 1
ent://SD_ILS/0/SD_ILS:608200
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Olmedo Cifuentes, Gonzalo Fernando. editor. (orcid)0000-0002-6205-1685 Arcos Avilés, Diego Gustavo. editor. (orcid)0000-0002-1511-1614 Lara Padilla, Hernán Vinicio. editor. (orcid)0000-0002-0085-1820 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-87704-9">https://doi.org/10.1007/978-3-031-87704-9</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-03T22:50:10Z
2026-04-03T22:50:10Z
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-03T22:50:10Z
2026-04-03T22:50:10Z
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/>
Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:608337
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Protzenko, Jonathan. editor. (orcid)0000-0001-7347-3050 Raad, Azalea. editor. (orcid)0000-0002-2319-3242 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-86695-1">https://doi.org/10.1007/978-3-031-86695-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Discovery, Knowledge Engineering and Knowledge Management 15th International Joint Conference, IC3K 2023, Rome, Italy, November 13-15, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:608338
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Coenen, Frans. editor. Fred, Ana. editor. Aveiro, David. editor. Dietz, Jan. editor. Poggi, Antonella. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-87569-4">https://doi.org/10.1007/978-3-031-87569-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of International Joint Conference on Advances in Computational Intelligence IJCACI 2024, Volume 1
ent://SD_ILS/0/SD_ILS:609077
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Uddin, Mohammad Shorif. editor. (orcid)0000-0002-7184-2809 Bansal, Jagdish Chand. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-3741-6">https://doi.org/10.1007/978-981-96-3741-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Computer Technologies in Mechanical Engineering - 2024 Synergetic Engineering, Volume 2
ent://SD_ILS/0/SD_ILS:609399
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Lytvynov, Oleksii. editor. Pavlikov, Volodymyr. editor. (orcid)0000-0002-6370-1758 Krytskyi, Dmytro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-94852-7">https://doi.org/10.1007/978-3-031-94852-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science and Computational Intelligence 11th International Conference, CSCI 2024, Las Vegas, NV, USA, December 11-13, 2024, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:609678
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-95127-5">https://doi.org/10.1007/978-3-031-95127-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data Science and Communication Engineering Proceedings of ICTDsC 2024
ent://SD_ILS/0/SD_ILS:610089
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Misra, Debajyoti. editor. (orcid)0000-0002-3196-9821 Chakraborty, Mithun. editor. De, Debashis. editor. (orcid)0000-0002-9688-9806 Buyya, Rajkumar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-4543-5">https://doi.org/10.1007/978-981-96-4543-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
AIxIA 2024 - Advances in Artificial Intelligence XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25-28, 2024 Proceedings
ent://SD_ILS/0/SD_ILS:606816
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Artale, Alessandro. editor. (orcid)0000-0002-3852-9351 Cortellessa, Gabriella. editor. (orcid)0000-0002-9835-1575 Montali, Marco. editor. (orcid)0000-0002-8021-3430 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-80607-0">https://doi.org/10.1007/978-3-031-80607-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part I
ent://SD_ILS/0/SD_ILS:606817
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-81241-5">https://doi.org/10.1007/978-3-031-81241-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:606818
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-81244-6">https://doi.org/10.1007/978-3-031-81244-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023 Revised Selected Papers, Part III
ent://SD_ILS/0/SD_ILS:606819
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-81247-7">https://doi.org/10.1007/978-3-031-81247-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III
ent://SD_ILS/0/SD_ILS:609023
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75778-5">https://doi.org/10.1007/978-3-031-75778-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday
ent://SD_ILS/0/SD_ILS:609119
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Barik, Rajkishore. editor. Gupta, Rajiv. editor. Palsberg, Jens. editor. (orcid)0000-0003-4747-365X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97492-2">https://doi.org/10.1007/978-3-031-97492-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Integrated Computer Technologies in Mechanical Engineering - 2024 Synergetic Engineering, Volume 1
ent://SD_ILS/0/SD_ILS:609269
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Lytvynov, Oleksii. editor. Pavlikov, Volodymyr. editor. (orcid)0000-0002-6370-1758 Krytskyi, Dmytro. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-94845-9">https://doi.org/10.1007/978-3-031-94845-9</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-03T22:50:10Z
2026-04-03T22:50:10Z
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/>
Emerging Research in Intelligent Systems Proceedings of the CIT 2024 - Volume 2
ent://SD_ILS/0/SD_ILS:609537
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Olmedo Cifuentes, Gonzalo Fernando. editor. (orcid)0000-0002-6205-1685 Arcos Avilés, Diego Gustavo. editor. (orcid)0000-0002-1511-1614 Lara Padilla, Hernán Vinicio. editor. (orcid)0000-0002-0085-1820 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-87701-8">https://doi.org/10.1007/978-3-031-87701-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Networks Data Communications, Internet and Security
ent://SD_ILS/0/SD_ILS:601853
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Elahi, Ata. author. Cushman, Alex. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-42018-4">https://doi.org/10.1007/978-3-031-42018-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Challenging Programming in Python: A Problem Solving Perspective
ent://SD_ILS/0/SD_ILS:601863
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Izadkhah, Habib. author. (orcid)0000-0001-7595-8350 Behzadidoost, Rashid. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-39999-2">https://doi.org/10.1007/978-3-031-39999-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Linear Multivariable Control Engineering Using GNU Octave
ent://SD_ILS/0/SD_ILS:603443
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Borutzky, Wolfgang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-44508-8">https://doi.org/10.1007/978-3-031-44508-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Understanding Computer Organization A Guide to Principles Across RISC-V, ARM Cortex, and Intel Architectures
ent://SD_ILS/0/SD_ILS:604200
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Bulić, Patricio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-58075-8">https://doi.org/10.1007/978-3-031-58075-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computers Helping People with Special Needs 19th International Conference, ICCHP 2024, Linz, Austria, July 8-12, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:604206
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Miesenberger, Klaus. editor. (orcid)0000-0003-0072-7157 Peňáz, Petr. editor. Kobayashi, Makoto. editor. (orcid)0000-0002-2268-7443 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-62846-7">https://doi.org/10.1007/978-3-031-62846-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computers Helping People with Special Needs 19th International Conference, ICCHP 2024, Linz, Austria, July 8-12, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:604207
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Miesenberger, Klaus. editor. (orcid)0000-0003-0072-7157 Peňáz, Petr. editor. Kobayashi, Makoto. editor. (orcid)0000-0002-2268-7443 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-62849-8">https://doi.org/10.1007/978-3-031-62849-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Face De-identification: Safeguarding Identities in the Digital Era
ent://SD_ILS/0/SD_ILS:604216
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Wen, Yunqian. author. Liu, Bo. author. (orcid)0000-0002-3603-6617 Song, Li. author. Cao, Jingyi. author. Xie, Rong. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-58222-6">https://doi.org/10.1007/978-3-031-58222-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Experimentation in Software Engineering
ent://SD_ILS/0/SD_ILS:605033
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Wohlin, Claes. author. Runeson, Per. author. Höst, Martin. author. Ohlsson, Magnus C. author. Regnell, Björn. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-69306-3">https://doi.org/10.1007/978-3-662-69306-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
13th International Conference on Information Systems and Advanced Technologies "ICISAT 2023" New Trends in Artificial Intelligence, Computing and Decision Making. Volume 2
ent://SD_ILS/0/SD_ILS:605128
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Laouar, Mohamed Ridda. editor. Balas, Valentina Emilia. editor. (orcid)0000-0003-0885-1283 Piuri, Vincenzo. editor. Rad, Dana. editor. Touati Hamad, Zineb. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-60594-9">https://doi.org/10.1007/978-3-031-60594-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Novel and Intelligent Digital Systems: Proceedings of the 4th International Conference (NiDS 2024)
ent://SD_ILS/0/SD_ILS:605541
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Mylonas, Phivos. editor. (orcid)0000-0002-6916-3129 Kardaras, Dimitris. editor. Caro, Jaime. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-73344-4">https://doi.org/10.1007/978-3-031-73344-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The 13th Conference on Information Technology and Its Applications Proceedings of the International Conference CITA 2024
ent://SD_ILS/0/SD_ILS:605948
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Huynh, Cong-Phap. editor. Nguyen, Thanh Thuy. editor. Le-Khac, Nhien-An. editor. (orcid)0000-0003-4373-2212 Nguyen, Quang-Vu. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-74127-2">https://doi.org/10.1007/978-3-031-74127-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Network Technologies and Intelligent Computing Third International Conference, ANTIC 2023, Varanasi, India, December 20-22, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:601804
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Verma, Anshul. editor. Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500 Pattanaik, Kiran Kumar. editor. Dhurandher, Sanjay Kumar. editor. Woungang, Isaac. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-64064-3">https://doi.org/10.1007/978-3-031-64064-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Product-Focused Software Process Improvement 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:602078
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Kadgien, Regine. editor. Jedlitschka, Andreas. editor. Janes, Andrea. editor. Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Li, Xiaozhou. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-49266-2">https://doi.org/10.1007/978-3-031-49266-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Product-Focused Software Process Improvement 24th International Conference, PROFES 2023, Dornbirn, Austria, December 10-13, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:602079
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Kadgien, Regine. editor. Jedlitschka, Andreas. editor. Janes, Andrea. editor. Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Li, Xiaozhou. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-49269-3">https://doi.org/10.1007/978-3-031-49269-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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-03T22:50:10Z
2026-04-03T22:50:10Z
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/>
Critical Infrastructure Protection XVII 17th IFIP WG 11.10 International Conference, ICCIP 2023, Arlington, VA, USA, March 13-14, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:602208
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Staggs, Jason. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-49585-4">https://doi.org/10.1007/978-3-031-49585-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:602249
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Yavorskiy, Rostislav. editor. Cavalli, Ana Rosa. editor. Kalenkova, Anna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-50423-5">https://doi.org/10.1007/978-3-031-50423-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data Science and Communication Proceedings of ICTDsC 2023
ent://SD_ILS/0/SD_ILS:602252
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Tavares, João Manuel R. S. editor. (orcid)0000-0001-7603-6526 Rodrigues, Joel J. P. C. editor. Misra, Debajyoti. editor. (orcid)0000-0002-3196-9821 Bhattacherjee, Debasmriti. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-5435-3">https://doi.org/10.1007/978-981-99-5435-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of the 6th International Conference on Communications and Cyber Physical Engineering ICCCE 2023; 28-29 April, Hyderabad, India
ent://SD_ILS/0/SD_ILS:602521
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Kumar, Amit. editor. Mozar, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-7137-4">https://doi.org/10.1007/978-981-99-7137-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Communication and Applied Technologies Proceedings of ICOMTA 2023
ent://SD_ILS/0/SD_ILS:602724
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Ibáñez, Daniel Barredo. editor. (orcid)0000-0002-2259-0756 Castro, Laura M. editor. Espinosa, Araceli. editor. Puentes-Rivera, Iván. editor. López-López, Paulo Carlos. editor. (orcid)0000-0002-8101-7976<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-7210-4">https://doi.org/10.1007/978-981-99-7210-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Intelligent System and Smart Technologies Proceedings of I2ST'23
ent://SD_ILS/0/SD_ILS:602727
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Gherabi, Noredine. editor. Awad, Ali Ismail. editor. Nayyar, Anand. editor. (orcid)0000-0002-9821-6146 Bahaj, Mohamed. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-47672-3">https://doi.org/10.1007/978-3-031-47672-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The French School of Programming
ent://SD_ILS/0/SD_ILS:603390
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
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/>
Proceedings of International Conference on Recent Innovations in Computing ICRIC 2023, Volume 1
ent://SD_ILS/0/SD_ILS:604279
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Singh, Yashwant. editor. Singh, Pradeep Kumar. editor. (orcid)0000-0002-7676-9014 Gonçalves, Paulo J. Sequeira. editor. Kar, Arpan Kumar. editor. (orcid)0000-0003-4186-4887 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-2839-8">https://doi.org/10.1007/978-981-97-2839-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Thinking First Algorithms, Then Code
ent://SD_ILS/0/SD_ILS:605493
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Ferragina, Paolo. author. Luccio, Fabrizio. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-59922-4">https://doi.org/10.1007/978-3-031-59922-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to Digital Control An Integrated Approach
ent://SD_ILS/0/SD_ILS:605586
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Samanta, Biswanath. author. (orcid)0000-0002-0518-6751 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-66830-2">https://doi.org/10.1007/978-3-031-66830-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of International Conference on Recent Innovations in Computing ICRIC 2023, Volume 2
ent://SD_ILS/0/SD_ILS:605674
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Illés, Zoltán. editor. Verma, Chaman. editor. (orcid)0000-0002-9925-112X Gonçalves, Paulo J. Sequeira. editor. Singh, Pradeep Kumar. editor. (orcid)0000-0002-7676-9014 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-3442-9">https://doi.org/10.1007/978-981-97-3442-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cell Migration in Development, Health and Disease
ent://SD_ILS/0/SD_ILS:605984
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Brüning-Richardson, Anke. editor. (orcid)0000-0002-9862-9805 Knipp, Sabine. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-64532-7">https://doi.org/10.1007/978-3-031-64532-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of International Conference on Recent Innovations in Computing ICRIC 2023, Volume 3
ent://SD_ILS/0/SD_ILS:606246
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Singh, Yashwant. editor. Gonçalves, Paulo J. Sequeira. editor. Singh, Pradeep Kumar. editor. (orcid)0000-0002-7676-9014 Kolekar, Maheshkumar H. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-7862-1">https://doi.org/10.1007/978-981-97-7862-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Using Artificial Intelligence to Solve Transportation Problems
ent://SD_ILS/0/SD_ILS:606519
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Sładkowski, Aleksander. editor. (orcid)0000-0002-1041-4309 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-69487-5">https://doi.org/10.1007/978-3-031-69487-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Solving Ordinary Differential Equations in Python
ent://SD_ILS/0/SD_ILS:601946
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Sundnes, Joakim. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-46768-4">https://doi.org/10.1007/978-3-031-46768-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and Sustainability
ent://SD_ILS/0/SD_ILS:602011
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Alloghani, Mohamed Ahmed. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45214-7">https://doi.org/10.1007/978-3-031-45214-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Computer Science 41st National Conference, NCTCS 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:602014
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Cai, Zhiping. editor. (orcid)0000-0001-5726-833X Xiao, Mingyu. editor. Zhang, Jialin. editor. (orcid)0000-0002-6245-1013 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-7743-7">https://doi.org/10.1007/978-981-99-7743-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Security Planning A Practical Approach
ent://SD_ILS/0/SD_ILS:602364
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Lincke, Susan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43118-0">https://doi.org/10.1007/978-3-031-43118-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Systems, Business, and Innovation Research
ent://SD_ILS/0/SD_ILS:602414
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Khoury, Rim El. editor. (orcid)0000-0003-4359-7591 Nasrallah, Nohade. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-36895-0">https://doi.org/10.1007/978-3-031-36895-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Digital Signal Processing Illustration Using Python
ent://SD_ILS/0/SD_ILS:602419
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Esakkirajan, S. author. Veerakumar, T. author. (orcid)0000-0001-9084-1847 N Subudhi, Badri. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-6752-0">https://doi.org/10.1007/978-981-99-6752-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
New Perspectives in Software Engineering
ent://SD_ILS/0/SD_ILS:602627
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Mejía, Jezreel. editor. (orcid)0000-0003-0292-9318 Muñoz, Mirna. editor. Rocha, Alvaro. editor. (orcid)0000-0002-0750-8187 Hernández Pérez, Yasmin. editor. (orcid)0000-0002-8842-0899 Avila-George, Himer. editor. (orcid)0000-0001-8578-0170<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-50590-4">https://doi.org/10.1007/978-3-031-50590-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Structures of Computing A Guide to Practice-Oriented Theory
ent://SD_ILS/0/SD_ILS:602773
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Börger, Egon. author. Gervasi, Vincenzo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-54358-6">https://doi.org/10.1007/978-3-031-54358-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:602946
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Kiefer, Stefan. editor. Křetínský, Jan. editor. Kučera, Antonín. editor. (orcid)0000-0002-6602-8028 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-56222-8">https://doi.org/10.1007/978-3-031-56222-8</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-03T22:50:10Z
2026-04-03T22:50:10Z
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/>
Project Management in Cloud Applications
ent://SD_ILS/0/SD_ILS:603084
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Bhatt, Pramod Chandra P. author. Sehgal, Naresh Kumar. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-53890-2">https://doi.org/10.1007/978-3-031-53890-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Infrared Small Target Detection Theory, Methods, and Algorithms.
ent://SD_ILS/0/SD_ILS:603099
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Zhu, Hu. author. Pan, Yushan. author. (orcid)0000-0002-6877-3937 Deng, Lizhen. author. Xu, Guoxia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-9799-2">https://doi.org/10.1007/978-981-99-9799-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Industrial Recommender System Principles, Technologies and Enterprise Applications
ent://SD_ILS/0/SD_ILS:603121
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Hu, Lantao. author. Li, Yueting. author. Cui, Guangfan. author. Yi, Kexin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-2581-6">https://doi.org/10.1007/978-981-97-2581-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of International Joint Conference on Advances in Computational Intelligence IJCACI 2023
ent://SD_ILS/0/SD_ILS:603126
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Uddin, Mohammad Shorif. editor. (orcid)0000-0002-7184-2809 Bansal, Jagdish Chand. editor. (orcid)0000-0001-9029-5129 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-0180-3">https://doi.org/10.1007/978-981-97-0180-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Finite Element Methods Parallel-Sparse Statics and Eigen-Solutions
ent://SD_ILS/0/SD_ILS:603343
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Nguyen, Duc Thai. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-48788-0">https://doi.org/10.1007/978-3-031-48788-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Sports Technology Technologies, Fields of Application, Sports Equipment and Materials for Sport
ent://SD_ILS/0/SD_ILS:603408
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Memmert, Daniel. editor. (orcid)0000-0002-3406-9175 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-68703-1">https://doi.org/10.1007/978-3-662-68703-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Large Language Models in Cybersecurity Threats, Exposure and Mitigation
ent://SD_ILS/0/SD_ILS:603753
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Kucharavy, Andrei. editor. Plancherel, Octave. editor. Mulder, Valentin. editor. Mermoud, Alain. editor. Lenders, Vincent. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-54827-7">https://doi.org/10.1007/978-3-031-54827-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science - CACIC 2023 29th Argentine Congress of Computer Science, Lujan, Argentina, October 9-12, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:604013
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Pesado, Patricia. editor. Panessi, Walter. editor. (orcid)0009-0006-6299-1462 Fernández, Juan Manuel. editor. (orcid)0000-0001-9291-3066 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-62245-8">https://doi.org/10.1007/978-3-031-62245-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial intelligence and Machine Learning 41st IBIMA International Conference, IBIMA-AI 2023, Granada, Spain, June 26-27, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:604087
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Soliman, Khalid S. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-62843-6">https://doi.org/10.1007/978-3-031-62843-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Management and Big Data 10th Annual International Conference, SIMBig 2023, Mexico City, Mexico, December 13-15, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:604089
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Lossio-Ventura, Juan Antonio. editor. (orcid)0000-0003-0996-2356 Ceh-Varela, Eduardo. editor. (orcid)0000-0001-6277-2741 Vargas-Solar, Genoveva. editor. (orcid)0000-0001-9545-1821 Marcacini, Ricardo. editor. (orcid)0000-0002-2309-3487 Tadonki, Claude. editor. (orcid)0000-0003-1194-6400<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63616-5">https://doi.org/10.1007/978-3-031-63616-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Network Technologies and Intelligent Computing Third International Conference, ANTIC 2023, Varanasi, India, December 20-22, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:604656
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Verma, Anshul. editor. Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500 Pattanaik, Kiran Kumar. editor. Dhurandher, Sanjay Kumar. editor. Woungang, Isaac. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-64076-6">https://doi.org/10.1007/978-3-031-64076-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Extended Selected Papers of the 14th International Conference on Information, Intelligence, Systems, and Applications IISA2023
ent://SD_ILS/0/SD_ILS:604712
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Bourbakis, Nikolaos. editor. Tsihrintzis, George A. editor. Virvou, Maria. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-67426-6">https://doi.org/10.1007/978-3-031-67426-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of the International Conference on Intelligent Systems and Networks ICISN 2024, 22-23 March 2024, Hanoi, Vietnam
ent://SD_ILS/0/SD_ILS:604979
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Nguyen, Thi Dieu Linh. editor. Dawson, Maurice. editor. Ngoc, Le Anh. editor. Lam, Kwok Yan. editor. (orcid)0000-0001-7479-7970 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-5504-2">https://doi.org/10.1007/978-981-97-5504-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of International Conference on Intelligent Vision and Computing (ICIVC 2023) Volume 2
ent://SD_ILS/0/SD_ILS:605780
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Saha, Apu Kumar. editor. (orcid)0000-0002-3475-018X Sharma, Harish. editor. Prasad, Mukesh. editor. (orcid)0000-0002-7745-9667 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71388-0">https://doi.org/10.1007/978-3-031-71388-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
13th International Conference on Information Systems and Advanced Technologies "ICISAT 2023" New Trends in Artificial Intelligence, Computing and Decision Making. Volume 1
ent://SD_ILS/0/SD_ILS:604849
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Laouar, Mohamed Ridda. editor. Balas, Valentina Emilia. editor. (orcid)0000-0003-0885-1283 Piuri, Vincenzo. editor. Rad, Dana. editor. Touati Hamad, Zineb. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-60591-8">https://doi.org/10.1007/978-3-031-60591-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:605244
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Kovács, Laura. editor. (orcid)0000-0002-8299-2714 Sokolova, Ana. editor. (orcid)0000-0002-8384-3438 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72621-7">https://doi.org/10.1007/978-3-031-72621-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
EndNote 1-2-3 Easy! Reference Management for the Professional
ent://SD_ILS/0/SD_ILS:606710
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Agrawal, Abha. author. Rasouli, Majid. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61996-0">https://doi.org/10.1007/978-3-031-61996-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of International Conference on Intelligent Vision and Computing (ICIVC 2023) Volume 1
ent://SD_ILS/0/SD_ILS:606828
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Saha, Apu Kumar. editor. (orcid)0000-0002-3475-018X Sharma, Harish. editor. Prasad, Mukesh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71391-0">https://doi.org/10.1007/978-3-031-71391-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Computing and Systems for Security Volume Three
ent://SD_ILS/0/SD_ILS:612753
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Chaki, Rituparna. editor. Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Cortesi, Agostino. editor. Chaki, Nabendu. editor. (orcid)0000-0003-3242-680X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-3409-1">https://doi.org/10.1007/978-981-10-3409-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612796
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Bouajjani, Ahmed. editor. Monniaux, David. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-52234-0">https://doi.org/10.1007/978-3-319-52234-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613619
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Bogomolov, Sergiy. editor. Martel, Matthieu. editor. Prabhakar, Pavithra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54292-8">https://doi.org/10.1007/978-3-319-54292-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Semantic Web - ISWC 2017 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:613739
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author d'Amato, Claudia. editor. Fernandez, Miriam. editor. Tamma, Valentina. editor. Lecue, Freddy. editor. Cudré-Mauroux, Philippe. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68204-4">https://doi.org/10.1007/978-3-319-68204-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Modeling and Simulation of Systems of Systems
ent://SD_ILS/0/SD_ILS:613527
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author P. Zeigler, Bernard. author. Sarjoughian, Hessam S. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64134-8">https://doi.org/10.1007/978-3-319-64134-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Current Trends on Knowledge-Based Systems
ent://SD_ILS/0/SD_ILS:614013
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Alor-Hernández, Giner. editor. Valencia-García, Rafael. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51905-0">https://doi.org/10.1007/978-3-319-51905-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Researching Complex Information Infrastructures Design Characteristics of ICT Tools for Examining Modern Technology Usage
ent://SD_ILS/0/SD_ILS:614075
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Ludwig, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-16921-3">https://doi.org/10.1007/978-3-658-16921-3</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-03T22:50:10Z
2026-04-03T22:50:10Z
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/>
Implementation and Application of Automata 22nd International Conference, CIAA 2017, Marne-la-Vallée, France, June 27-30, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:615965
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Carayol, Arnaud. editor. Nicaud, Cyril. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60134-2">https://doi.org/10.1007/978-3-319-60134-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616143
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Höfner, Peter. editor. Pous, Damien. editor. Struth, Georg. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57418-9">https://doi.org/10.1007/978-3-319-57418-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontiers of Combining Systems 11th International Symposium, FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616086
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Dixon, Clare. editor. Finger, Marcelo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66167-4">https://doi.org/10.1007/978-3-319-66167-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Distributed Objects, Components, and Systems 37th IFIP WG 6.1 International Conference, FORTE 2017, Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017, Neuchâtel, Switzerland, June 19-22, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616091
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Bouajjani, Ahmed. editor. Silva, Alexandra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60225-7">https://doi.org/10.1007/978-3-319-60225-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Computing and Systems for Security Volume Four
ent://SD_ILS/0/SD_ILS:610838
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Chaki, Rituparna. editor. Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Cortesi, Agostino. editor. Chaki, Nabendu. editor. (orcid)0000-0003-3242-680X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-3391-9">https://doi.org/10.1007/978-981-10-3391-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concurrency, Security, and Puzzles Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:610851
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Gibson-Robinson, Thomas. editor. Hopcroft, Philippa. editor. Lazić, Ranko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51046-0">https://doi.org/10.1007/978-3-319-51046-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Product-Focused Software Process Improvement 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29-December 1, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:610854
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Felderer, Michael. editor. (orcid)0000-0003-3818-4442 Méndez Fernández, Daniel. editor. Turhan, Burak. editor. Kalinowski, Marcos. editor. (orcid)0000-0003-1445-3425 Sarro, Federica. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69926-4">https://doi.org/10.1007/978-3-319-69926-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Self-Aware Computing Systems
ent://SD_ILS/0/SD_ILS:611535
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Kounev, Samuel. editor. Kephart, Jeffrey O. editor. Milenkoski, Aleksandar. editor. Zhu, Xiaoyun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47474-8">https://doi.org/10.1007/978-3-319-47474-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611600
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Petrucci, Laure. editor. (orcid)0000-0003-3154-5268 Seceleanu, Cristina. editor. Cavalcanti, Ana. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67113-0">https://doi.org/10.1007/978-3-319-67113-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data Analytics and Management in Data Intensive Domains XVIII International Conference, DAMDID/RCDL 2016, Ershovo, Moscow, Russia, October 11 -14, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611714
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Kalinichenko, Leonid. editor. Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57135-5">https://doi.org/10.1007/978-3-319-57135-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:612618
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Majumdar, Rupak. editor. Kunčak, Viktor. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63387-9">https://doi.org/10.1007/978-3-319-63387-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modern Language Models and Computation Theory with Applications
ent://SD_ILS/0/SD_ILS:612953
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Meduna, Alexander. author. Soukup, Ondřej. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63100-4">https://doi.org/10.1007/978-3-319-63100-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Numbers and Computers
ent://SD_ILS/0/SD_ILS:613066
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Kneusel, Ronald T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-50508-4">https://doi.org/10.1007/978-3-319-50508-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613073
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Steffen, Bernhard. editor. Baier, Christel. editor. van den Brand, Mark. editor. Eder, Johann. editor. Hinchey, Mike. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51963-0">https://doi.org/10.1007/978-3-319-51963-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Health Information Science 6th International Conference, HIS 2017, Moscow, Russia, October 7-9, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613244
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Siuly, Siuly. editor. (orcid)0000-0003-2491-0546 Huang, Zhisheng. editor. Aickelin, Uwe. editor. Zhou, Rui. editor. Wang, Hua. editor. (orcid)0000-0002-8465-0996<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69182-4">https://doi.org/10.1007/978-3-319-69182-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory of Cryptography 15th International Conference, TCC 2017, Baltimore, MD, USA, November 12-15, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:613305
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Kalai, Yael. editor. Reyzin, Leonid. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70503-3">https://doi.org/10.1007/978-3-319-70503-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-Agent Based Simulation XVII International Workshop, MABS 2016, Singapore, Singapore, May 10, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613646
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Nardin, Luis Gustavo. editor. Antunes, Luis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67477-3">https://doi.org/10.1007/978-3-319-67477-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Creativity in Intelligent Technologies and Data Science Second Conference, CIT&DS 2017, Volgograd, Russia, September 12-14, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613472
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Kravets, Alla. editor. Shcherbakov, Maxim. editor. Kultsova, Marina. editor. Groumpos, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65551-2">https://doi.org/10.1007/978-3-319-65551-2</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-03T22:50:10Z
2026-04-03T22:50:10Z
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/>
The Support of Decision Processes with Business Intelligence and Analytics Insights on the Roles of Ambidexterity, Information Processing and Advice
ent://SD_ILS/0/SD_ILS:614810
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Kowalczyk, Martin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-19230-3">https://doi.org/10.1007/978-3-658-19230-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Safety-Critical Systems 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:615166
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-53946-1">https://doi.org/10.1007/978-3-319-53946-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reverse Engineering the Mind Consciously Acting Machines and Accelerated Evolution
ent://SD_ILS/0/SD_ILS:615259
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Neukart, Florian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-16176-7">https://doi.org/10.1007/978-3-658-16176-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Networked Systems 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:615949
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author El Abbadi, Amr. editor. (orcid)0000-0003-4692-3268 Garbinato, Benoît. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59647-1">https://doi.org/10.1007/978-3-319-59647-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models of Computation
ent://SD_ILS/0/SD_ILS:616061
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Bruni, Roberto. author. Montanari, Ugo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42900-7">https://doi.org/10.1007/978-3-319-42900-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616183
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63501-9">https://doi.org/10.1007/978-3-319-63501-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Science and Applications 2017 ICISA 2017
ent://SD_ILS/0/SD_ILS:616346
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Kim, Kuinam. editor. Joukov, Nikolai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-4154-9">https://doi.org/10.1007/978-981-10-4154-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Workflow Scheduling in Self-Adaptive Clouds Concepts, Algorithms and Methods
ent://SD_ILS/0/SD_ILS:617797
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Kousalya, G. author. Balakrishnan, P. author. Pethuru Raj, C. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56982-6">https://doi.org/10.1007/978-3-319-56982-6</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-03T22:50:10Z
2026-04-03T22:50:10Z
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/>
Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:617812
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63121-9">https://doi.org/10.1007/978-3-319-63121-9</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-03T22:50:10Z
2026-04-03T22:50:10Z
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/>
Transactions on Computational Science XXX Special Issue on Cyberworlds and Cybersecurity
ent://SD_ILS/0/SD_ILS:611656
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author L. Gavrilova, Marina. editor. Tan, C.J. Kenneth. editor. Sourin, Alexei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-56006-8">https://doi.org/10.1007/978-3-662-56006-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ethical and Social Issues in the Information Age
ent://SD_ILS/0/SD_ILS:611657
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Kizza, Joseph Migga. author. (orcid)0009-0001-1564-4277 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70712-9">https://doi.org/10.1007/978-3-319-70712-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hard and Soft Computing for Artificial Intelligence, Multimedia and Security
ent://SD_ILS/0/SD_ILS:611789
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Kobayashi, Shin-ya. editor. Piegat, Andrzej. editor. Pejaś, Jerzy. editor. El Fray, Imed. editor. Kacprzyk, Janusz. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-48429-7">https://doi.org/10.1007/978-3-319-48429-7</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-03T22:50:10Z
2026-04-03T22:50:10Z
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/>
Informatics in the Future Proceedings of the 11th European Computer Science Summit (ECSS 2015), Vienna, October 2015
ent://SD_ILS/0/SD_ILS:612435
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Werthner, Hannes. editor. van Harmelen, Frank. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-55735-9">https://doi.org/10.1007/978-3-319-55735-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Source Code Modularization Theory and Techniques
ent://SD_ILS/0/SD_ILS:613135
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Isazadeh, Ayaz. author. Izadkhah, Habib. author. (orcid)0000-0001-7595-8350 Elgedawy, Islam. author. (orcid)0000-0002-9884-1590 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63346-6">https://doi.org/10.1007/978-3-319-63346-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Data Analytics for Protein Crystallization
ent://SD_ILS/0/SD_ILS:613153
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Pusey, Marc L. author. Aygün, Ramazan Savaş. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58937-4">https://doi.org/10.1007/978-3-319-58937-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Graphics for Java Programmers
ent://SD_ILS/0/SD_ILS:613230
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Ammeraal, Leen. author. Zhang, Kang. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63357-2">https://doi.org/10.1007/978-3-319-63357-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theoretical Computer Science 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613439
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Du, Dingzhu. editor. Li, Lian. editor. Zhu, En. editor. He, Kun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6893-5">https://doi.org/10.1007/978-981-10-6893-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Simulating Crowds in Egress Scenarios
ent://SD_ILS/0/SD_ILS:613657
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Cassol, Vinícius J. author. Musse, Soraia R. author. Jung, Cláudio R. author. Badler, Norman I. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65202-3">https://doi.org/10.1007/978-3-319-65202-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bioinformatics for Evolutionary Biologists A Problems Approach
ent://SD_ILS/0/SD_ILS:613661
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Haubold, Bernhard. author. Börsch-Haubold, Angelika. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67395-0">https://doi.org/10.1007/978-3-319-67395-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computing in Smart Toys
ent://SD_ILS/0/SD_ILS:614967
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Tang, Jeff K.T. editor. Hung, Patrick C. K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62072-5">https://doi.org/10.1007/978-3-319-62072-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616233
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Geuvers, Herman. editor. England, Matthew. editor. Hasan, Osman. editor. Rabe, Florian. editor. Teschke, Olaf. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62075-6">https://doi.org/10.1007/978-3-319-62075-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Mathematical-Function Computation Handbook Programming Using the MathCW Portable Software Library
ent://SD_ILS/0/SD_ILS:615722
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Beebe, Nelson H.F. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64110-2">https://doi.org/10.1007/978-3-319-64110-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Declarative Languages 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616041
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X Taha, Walid. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51676-9">https://doi.org/10.1007/978-3-319-51676-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616010
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Bozzano, Marco. editor. (orcid)0000-0002-4135-103X Papadopoulos, Yiannis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64119-5">https://doi.org/10.1007/978-3-319-64119-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-03T22:50:10Z
2026-04-03T22:50:10Z
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/>
Application and Theory of Petri Nets and Concurrency 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616316
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author van der Aalst, Wil. editor. Best, Eike. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57861-3">https://doi.org/10.1007/978-3-319-57861-3</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-03T22:50:10Z
2026-04-03T22:50:10Z
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-03T22:50:10Z
2026-04-03T22:50:10Z
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/>
High Performance Computing for Computational Science - VECPAR 2016 12th International Conference, Porto, Portugal, June 28-30, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616448
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Dutra, Inês. editor. Camacho, Rui. editor. Barbosa, Jorge. editor. Marques, Osni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61982-8">https://doi.org/10.1007/978-3-319-61982-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Performance Engineering 14th European Workshop, EPEW 2017, Berlin, Germany, September 7-8, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:617034
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Reinecke, Philipp. editor. Di Marco, Antinisca. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66583-2">https://doi.org/10.1007/978-3-319-66583-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Practical Approach to Compiler Construction
ent://SD_ILS/0/SD_ILS:617486
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Watson, Des. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-52789-5">https://doi.org/10.1007/978-3-319-52789-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Critical Infrastructure Protection XI 11th IFIP WG 11.10 International Conference, ICCIP 2017, Arlington, VA, USA, March 13-15, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617656
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Rice, Mason. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70395-4">https://doi.org/10.1007/978-3-319-70395-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:617856
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Katoen, Joost-Pieter. editor. (orcid)0000-0002-6143-1926 Langerak, Rom. editor. Rensink, Arend. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68270-9">https://doi.org/10.1007/978-3-319-68270-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied Logic for Computer Scientists Computational Deduction and Formal Proofs
ent://SD_ILS/0/SD_ILS:617465
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Ayala-Rincón, Mauricio. author. de Moura, Flávio L. C. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51653-0">https://doi.org/10.1007/978-3-319-51653-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-03T22:50:10Z
2026-04-03T22:50:10Z
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/>
Transactions on Computational Science XXIX
ent://SD_ILS/0/SD_ILS:617821
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-54563-8">https://doi.org/10.1007/978-3-662-54563-8</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-03T22:50:10Z
2026-04-03T22:50:10Z
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/>
Unconventional Computation and Natural Computation 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:618149
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Patitz, Matthew J. editor. Stannett, Mike. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58187-3">https://doi.org/10.1007/978-3-319-58187-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Semantic Web - ISWC 2017 16th International Semantic Web Conference, Vienna, Austria, October 21-25, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:618456
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author d'Amato, Claudia. editor. Fernandez, Miriam. editor. Tamma, Valentina. editor. Lecue, Freddy. editor. Cudré-Mauroux, Philippe. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68288-4">https://doi.org/10.1007/978-3-319-68288-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
An Introduction to Data Analysis using Aggregation Functions in R
ent://SD_ILS/0/SD_ILS:612837
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author James, Simon. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46762-7">https://doi.org/10.1007/978-3-319-46762-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Retrogame Archeology Exploring Old Computer Games
ent://SD_ILS/0/SD_ILS:612929
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Aycock, John. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30004-7">https://doi.org/10.1007/978-3-319-30004-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Networked Systems 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613600
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Delporte-Gallet, Carole. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46140-3">https://doi.org/10.1007/978-3-319-46140-3</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-03T22:50:10Z
2026-04-03T22:50:10Z
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/>
Quality in Business Process Modeling
ent://SD_ILS/0/SD_ILS:614181
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
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/>
Information Systems Design and Intelligent Applications Proceedings of Third International Conference INDIA 2016, Volume 2
ent://SD_ILS/0/SD_ILS:614308
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Satapathy, Suresh Chandra. editor. Mandal, Jyotsna Kumar. editor. Udgata, Siba K. editor. Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-81-322-2752-6">https://doi.org/10.1007/978-81-322-2752-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Control System Technology for Aerospace Applications
ent://SD_ILS/0/SD_ILS:614654
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Feron, Eric. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-47694-9">https://doi.org/10.1007/978-3-662-47694-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Spline and Spline Wavelet Methods with Applications to Signal and Image Processing Volume II: Non-Periodic Splines
ent://SD_ILS/0/SD_ILS:615089
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Averbuch, Amir Z. author. Neittaanmäki, Pekka. author. Zheludev, Valery A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-22303-2">https://doi.org/10.1007/978-3-319-22303-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Decision Procedures An Algorithmic Point of View
ent://SD_ILS/0/SD_ILS:615175
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Kroening, Daniel. author. Strichman, Ofer. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-50497-0">https://doi.org/10.1007/978-3-662-50497-0</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-03T22:50:10Z
2026-04-03T22:50:10Z
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/>
The Semantic Web - ISWC 2016 15th International Semantic Web Conference, Kobe, Japan, October 17-21, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:616077
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Groth, Paul. editor. Simperl, Elena. editor. Gray, Alasdair. editor. Sabou, Marta. editor. Krötzsch, Markus. editor. (orcid)0000-0002-9172-2601<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46547-0">https://doi.org/10.1007/978-3-319-46547-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:616026
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Chaudhuri, Swarat. editor. Farzan, Azadeh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41540-6">https://doi.org/10.1007/978-3-319-41540-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Computer Mathematics 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616028
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Kohlhase, Michael. editor. Johansson, Moa. editor. Miller, Bruce. editor. de Moura, Leonardo. editor. Tompa, Frank. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42547-4">https://doi.org/10.1007/978-3-319-42547-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Computing and Systems for Security Volume 1
ent://SD_ILS/0/SD_ILS:616447
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Chaki, Rituparna. editor. Cortesi, Agostino. editor. Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Chaki, Nabendu. editor. (orcid)0000-0003-3242-680X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-81-322-2650-5">https://doi.org/10.1007/978-81-322-2650-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Health Information Science 5th International Conference, HIS 2016, Shanghai, China, November 5-7, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616553
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Yin, Xiaoxia. editor. Geller, James. editor. Li, Ye. editor. Zhou, Rui. editor. Wang, Hua. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-48335-1">https://doi.org/10.1007/978-3-319-48335-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence Perspectives in Intelligent Systems Proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016), Vol 1
ent://SD_ILS/0/SD_ILS:610682
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33625-1">https://doi.org/10.1007/978-3-319-33625-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:610942
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Albert, Elvira. editor. Lanese, Ivan. editor. (orcid)0000-0003-2527-9995 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39570-8">https://doi.org/10.1007/978-3-319-39570-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing in Science and Engineering Second International Conference, HPCSE 2015, Soláň, Czech Republic, May 25-28, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611442
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Kozubek, Tomáš. editor. Blaheta, Radim. editor. Šístek, Jakub. editor. Rozložník, Miroslav. editor. Čermák, Martin. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40361-8">https://doi.org/10.1007/978-3-319-40361-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Handbook of Iris Recognition
ent://SD_ILS/0/SD_ILS:610997
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Bowyer, Kevin W. editor. Burge, Mark J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-6784-6">https://doi.org/10.1007/978-1-4471-6784-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical Aspects of Declarative Languages 18th International Symposium, PADL 2016, St. Petersburg, FL, USA, January 18-19, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:611331
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Gavanelli, Marco. editor. Reppy, John. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28228-2">https://doi.org/10.1007/978-3-319-28228-2</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-03T22:50:10Z
2026-04-03T22:50:10Z
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/>
Information and Communication Technologies in Education, Research, and Industrial Applications 11th International Conference, ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611564
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Yakovyna, Vitaliy. editor. (orcid)0000-0003-0133-8591 Mayr, Heinrich C. editor. Nikitchenko, Mykola. editor. Zholtkevych, Grygoriy. editor. Spivakovsky, Aleksander. editor. (orcid)0000-0001-7574-4133<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30246-1">https://doi.org/10.1007/978-3-319-30246-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dependability Engineering and Complex Systems Proceedings of the Eleventh International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 27-July 1, 2016, Brunów, Poland
ent://SD_ILS/0/SD_ILS:612033
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Zamojski, Wojciech. editor. Mazurkiewicz, Jacek. editor. Sugier, Jarosław. editor. (orcid)0000-0003-1452-3067 Walkowiak, Tomasz. editor. Kacprzyk, Janusz. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39639-2">https://doi.org/10.1007/978-3-319-39639-2</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-03T22:50:10Z
2026-04-03T22:50:10Z
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/>
Concise Guide to Computing Foundations Core Concepts and Select Scientific Applications
ent://SD_ILS/0/SD_ILS:612353
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Brewer, Kevin. author. Bareiss, Cathy. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29954-9">https://doi.org/10.1007/978-3-319-29954-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logics in Artificial Intelligence 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613372
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Michael, Loizos. editor. Kakas, Antonis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-48758-8">https://doi.org/10.1007/978-3-319-48758-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Aided Verification 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:616055
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Chaudhuri, Swarat. editor. Farzan, Azadeh. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41528-4">https://doi.org/10.1007/978-3-319-41528-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Science XXVII
ent://SD_ILS/0/SD_ILS:616160
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-50412-3">https://doi.org/10.1007/978-3-662-50412-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616231
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Fiems, Dieter. editor. Paolieri, Marco. editor. Platis, Agapios N. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46433-6">https://doi.org/10.1007/978-3-319-46433-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Sciences and Systems 2015 30th International Symposium on Computer and Information Sciences (ISCIS 2015)
ent://SD_ILS/0/SD_ILS:617665
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Abdelrahman, Omer H. editor. Gelenbe, Erol. editor. Gorbil, Gokce. editor. Lent, Ricardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-22635-4">https://doi.org/10.1007/978-3-319-22635-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantics, Logics, and Calculi Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays
ent://SD_ILS/0/SD_ILS:617743
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Probst, Christian W. editor. Hankin, Chris. editor. Hansen, René Rydhof. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-27810-0">https://doi.org/10.1007/978-3-319-27810-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Science XXVIII Special Issue on Cyberworlds and Cybersecurity
ent://SD_ILS/0/SD_ILS:617816
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. Sourin, Alexei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-53090-0">https://doi.org/10.1007/978-3-662-53090-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Techniques for Safety-Critical Systems 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617935
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Artho, Cyrille. editor. Ölveczky, Peter Csaba. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29510-7">https://doi.org/10.1007/978-3-319-29510-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automation Control Theory Perspectives in Intelligent Systems Proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016), Vol 3
ent://SD_ILS/0/SD_ILS:617986
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33389-2">https://doi.org/10.1007/978-3-319-33389-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Secure Software and Systems 8th International Symposium, ESSoS 2016, London, UK, April 6-8, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:618015
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Caballero, Juan. editor. Bodden, Eric. editor. Athanasopoulos, Elias. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30806-7">https://doi.org/10.1007/978-3-319-30806-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Semantic Web - ISWC 2016 15th International Semantic Web Conference, Kobe, Japan, October 17-21, 2016, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:618032
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Groth, Paul. editor. Simperl, Elena. editor. Gray, Alasdair. editor. Sabou, Marta. editor. Krötzsch, Markus. editor. (orcid)0000-0002-9172-2601<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46523-4">https://doi.org/10.1007/978-3-319-46523-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:618122
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Jobstmann, Barbara. editor. Leino, K. Rustan M. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49122-5">https://doi.org/10.1007/978-3-662-49122-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611112
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Butler, Michael. editor. Schewe, Klaus-Dieter. editor. Mashkoor, Atif. editor. (orcid)0000-0003-1210-5953 Biro, Miklos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33600-8">https://doi.org/10.1007/978-3-319-33600-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611429
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Skavhaug, Amund. editor. Guiochet, Jérémie. editor. Schoitsch, Erwin. editor. Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45480-1">https://doi.org/10.1007/978-3-319-45480-1</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-03T22:50:10Z
2026-04-03T22:50:10Z
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 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-03T22:50:10Z
2026-04-03T22:50:10Z
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/>
Information Systems Design and Intelligent Applications Proceedings of Third International Conference INDIA 2016, Volume 1
ent://SD_ILS/0/SD_ILS:612325
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Satapathy, Suresh Chandra. editor. Mandal, Jyotsna Kumar. editor. Udgata, Siba K. editor. Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-81-322-2755-7">https://doi.org/10.1007/978-81-322-2755-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Structured Object-Oriented Formal Language and Method 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612674
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Liu, Shaoying. editor. Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-31220-0">https://doi.org/10.1007/978-3-319-31220-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Science and Applications (ICISA) 2016
ent://SD_ILS/0/SD_ILS:612828
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Kim, Kuinam J. editor. Joukov, Nikolai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-0557-2">https://doi.org/10.1007/978-981-10-0557-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613038
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Fränzle, Martin. editor. Markey, Nicolas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44878-7">https://doi.org/10.1007/978-3-319-44878-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:613640
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Ábrahám, Erika. editor. Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618 Johnsen, Einar Broch. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30734-3">https://doi.org/10.1007/978-3-319-30734-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rule Technologies. Research, Tools, and Applications 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:613589
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Alferes, Jose Julio. editor. Bertossi, Leopoldo. editor. Governatori, Guido. editor. Fodor, Paul. editor. Roman, Dumitru. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42019-6">https://doi.org/10.1007/978-3-319-42019-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Computing and Systems for Security Volume 2
ent://SD_ILS/0/SD_ILS:613614
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Chaki, Rituparna. editor. Cortesi, Agostino. editor. Saeed, Khalid. editor. (orcid)0000-0002-7741-7045 Chaki, Nabendu. editor. (orcid)0000-0003-3242-680X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-81-322-2653-6">https://doi.org/10.1007/978-81-322-2653-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Gamer Psychology and Behavior
ent://SD_ILS/0/SD_ILS:613519
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Bostan, Barbaros. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29904-4">https://doi.org/10.1007/978-3-319-29904-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Computer Systems in Engineering Design Principles and Applications
ent://SD_ILS/0/SD_ILS:614511
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Sunnersjö, Staffan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28125-4">https://doi.org/10.1007/978-3-319-28125-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Behavioural Models From Modelling Finite Automata to Analysing Business Processes
ent://SD_ILS/0/SD_ILS:614579
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Kunze, Matthias. author. Weske, Mathias. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44960-9">https://doi.org/10.1007/978-3-319-44960-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mobile and Wireless Technologies 2016
ent://SD_ILS/0/SD_ILS:614789
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Kim, Kuinam J. editor. Wattanapongsakorn, Naruemon. editor. Joukov, Nikolai. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-1409-3">https://doi.org/10.1007/978-981-10-1409-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:612947
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
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-33810-1">https://doi.org/10.1007/978-3-319-33810-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Computational Science XXVI Special Issue on Cyberworlds and Cybersecurity
ent://SD_ILS/0/SD_ILS:616032
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Gavrilova, Marina L. editor. Tan, C.J. Kenneth. editor. Iglesias, Andrés. editor. Shinya, Mikio. editor. Galvez, Akemi. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49247-5">https://doi.org/10.1007/978-3-662-49247-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616153
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Karydis, Ioannis. editor. Sioutas, Spyros. editor. Triantafillou, Peter. editor. Tsoumakos, Dimitrios. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29919-8">https://doi.org/10.1007/978-3-319-29919-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-Agent Based Simulation XVI International Workshop, MABS 2015, Istanbul, Turkey, May 5, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616168
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Gaudou, Benoit. editor. Sichman, Jaime Simao. editor. (orcid)0000-0001-8924-9643 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-31447-1">https://doi.org/10.1007/978-3-319-31447-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundational and Practical Aspects of Resource Analysis 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616250
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author van Eekelen, Marko. editor. Dal Lago, Ugo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46559-3">https://doi.org/10.1007/978-3-319-46559-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Multi-disciplinary Trends in Artificial Intelligence 10th International Workshop, MIWAI 2016, Chiang Mai, Thailand, December 7-9, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616266
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Sombattheera, Chattrakul. editor. Stolzenburg, Frieder. editor. Lin, Fangzhen. editor. Nayak, Abhaya. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49397-8">https://doi.org/10.1007/978-3-319-49397-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SOFSEM 2016: Theory and Practice of Computer Science 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616284
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Freivalds, Rūsiņš Mārtiņš. editor. Engels, Gregor. editor. Catania, Barbara. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-49192-8">https://doi.org/10.1007/978-3-662-49192-8</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-03T22:50:10Z
2026-04-03T22:50:10Z
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/>
Verified Software: Theories, Tools, and Experiments 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616579
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Gurfinkel, Arie. editor. Seshia, Sanjit A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29613-5">https://doi.org/10.1007/978-3-319-29613-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Perspectives of System Informatics 10th International Andrei Ershov Informatics Conference, PSI 2015, in Memory of Helmut Veith, Kazan and Innopolis, Russia, August 24-27, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616919
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Mazzara, Manuel. editor. Voronkov, Andrei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-41579-6">https://doi.org/10.1007/978-3-319-41579-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Practical Introduction to Fuzzy Logic using LISP
ent://SD_ILS/0/SD_ILS:617171
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Argüelles Mendez, Luis. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-23186-0">https://doi.org/10.1007/978-3-319-23186-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:617182
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-27683-0">https://doi.org/10.1007/978-3-319-27683-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Ethics in Computing A Concise Module
ent://SD_ILS/0/SD_ILS:617386
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Kizza, Joseph Migga. author. (orcid)0009-0001-1564-4277 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29106-2">https://doi.org/10.1007/978-3-319-29106-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications
ent://SD_ILS/0/SD_ILS:617503
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44561-8">https://doi.org/10.1007/978-3-319-44561-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Process Mining Data Science in Action
ent://SD_ILS/0/SD_ILS:617779
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
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/>
Anaphora Resolution Algorithms, Resources, and Applications
ent://SD_ILS/0/SD_ILS:616880
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Poesio, Massimo. editor. Stuckardt, Roland. editor. Versley, Yannick. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-47909-4">https://doi.org/10.1007/978-3-662-47909-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Introduction to the History of Computing A Computing History Primer
ent://SD_ILS/0/SD_ILS:617462
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
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-33138-6">https://doi.org/10.1007/978-3-319-33138-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Exploring Services Science 7th International Conference, IESS 2016, Bucharest, Romania, May 25-27, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:617541
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Borangiu, Theodor. editor. (orcid)0000-0002-4801-1951 Drăgoicea, Monica. editor. Nóvoa, Henriqueta. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-32689-4">https://doi.org/10.1007/978-3-319-32689-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Encyclopedia of Algorithms
ent://SD_ILS/0/SD_ILS:617569
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Kao, Ming-Yang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4939-2864-4">https://doi.org/10.1007/978-1-4939-2864-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Critical Infrastructure Protection X 10th IFIP WG 11.10 International Conference, ICCIP 2016, Arlington, VA, USA, March 14-16, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617621
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Rice, Mason. editor. Shenoi, Sujeet. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-48737-3">https://doi.org/10.1007/978-3-319-48737-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2015
ent://SD_ILS/0/SD_ILS:618198
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
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-23509-7">https://doi.org/10.1007/978-3-319-23509-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Information Systems Design and Intelligent Applications Proceedings of Third International Conference INDIA 2016, Volume 3
ent://SD_ILS/0/SD_ILS:618404
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Satapathy, Suresh Chandra. editor. Mandal, Jyotsna Kumar. editor. (orcid)0000-0001-9447-647X Udgata, Siba K. editor. Bhateja, Vikrant. editor. (orcid)0000-0002-3259-8874 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-81-322-2757-1">https://doi.org/10.1007/978-81-322-2757-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Computing Fundamentals in Cyber-Physical Systems Concepts, Design Methods, and Applications
ent://SD_ILS/0/SD_ILS:618472
2026-04-03T22:50:10Z
2026-04-03T22:50:10Z
Author Möller, Dietmar P.F. author. (orcid)0009-0002-6897-7662 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-25178-3">https://doi.org/10.1007/978-3-319-25178-3</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-03T22:50:10Z
2026-04-03T22:50:10Z
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/>