Search Results for Control. - Narrowed by: Software engineering.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dControl.$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300$0026isd$003dtrue?dt=list
2026-04-02T21:15:56Z
Software Product Quality Control
ent://SD_ILS/0/SD_ILS:334625
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Wagner, Stefan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334625.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38571-1">http://dx.doi.org/10.1007/978-3-642-38571-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applications of Intelligent Control to Engineering Systems
ent://SD_ILS/0/SD_ILS:204951
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Valavanis, Kimon P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-90-481-3018-4">http://dx.doi.org/10.1007/978-90-481-3018-4</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-02T21:15:56Z
2026-04-02T21:15:56Z
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/>
Cybernetics and Control Theory in Systems Proceedings of 13th Computer Science On-line Conference 2024, Volume 2
ent://SD_ILS/0/SD_ILS:605567
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
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-70300-3">https://doi.org/10.1007/978-3-031-70300-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High-Performance Computing Systems and Technologies in Scientific Research, Automation of Control and Production 13th International Conference, HPCST 2023, Barnaul, Russia, May 19-20, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:602425
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Jordan, Vladimir. editor. Tarasov, Ilya. editor. Shurina, Ella. editor. Filimonov, Nikolay. editor. Faerman, Vladimir A. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-51057-1">https://doi.org/10.1007/978-3-031-51057-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Thinking-Driven Testing The Most Reasonable Approach to Quality Control
ent://SD_ILS/0/SD_ILS:401650
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Roman, Adam. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73195-7">https://doi.org/10.1007/978-3-319-73195-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Autonomous Control for a Reliable Internet of Services Methods, Models, Approaches, Techniques, Algorithms, and Tools
ent://SD_ILS/0/SD_ILS:401277
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Ganchev, Ivan. editor. (orcid)0000-0003-0535-7087 van der Mei, R. D. editor. van den Berg, Hans. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90415-3">https://doi.org/10.1007/978-3-319-90415-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Control Modes on Mobile Software Platforms Empirical Studies on the Importance of Informal Control
ent://SD_ILS/0/SD_ILS:612130
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
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/>
Break-Glass Handling Exceptional Situations in Access Control
ent://SD_ILS/0/SD_ILS:488375
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Petritsch, Helmut. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-07365-7">https://doi.org/10.1007/978-3-658-07365-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Making sense of agile project management balancing control and agility
ent://SD_ILS/0/SD_ILS:298936
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Cobb, Charles G., 1945-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Wiley InterScience <a href="http://dx.doi.org/10.1002/9781118085950">An electronic book accessible through the World Wide Web; click for information</a>
Books24x7 <a href="http://www.books24x7.com/marc.asp?bookid=40741">http://www.books24x7.com/marc.asp?bookid=40741</a>
Wiley InterScience - Full Text Online <a href="http://onlinelibrary.wiley.com/book/10.1002/9781118085950">http://onlinelibrary.wiley.com/book/10.1002/9781118085950</a>
Cover image <a href="http://catalogimages.wiley.com/images/db/jimages/9780470943366.jpg">http://catalogimages.wiley.com/images/db/jimages/9780470943366.jpg</a>
<a href="http://site.ebrary.com/lib/alltitles/Doc?id=10447802">http://site.ebrary.com/lib/alltitles/Doc?id=10447802</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Control and Automation, and Energy System Engineering International Conferences, CA and CES3 2011, Held as Part of the Future Generation Information Technology Conference, FGIT 2011, in Conjunction with GDC 2011, Jeju Island, Korea, December 8-10, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:196104
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Kim, Tai-hoon. editor. Adeli, Hojjat. editor. Stoica, Adrian. editor. Kang, Byeong-Ho. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-26010-0">http://dx.doi.org/10.1007/978-3-642-26010-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Grid and Distributed Computing, Control and Automation International Conferences, GDC and CA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193658
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Kim, Tai-hoon. editor. Yau, Stephen S. editor. Gervasi, Osvaldo. editor. Kang, Byeong-Ho. editor. Stoica, Adrian. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-17625-8">http://dx.doi.org/10.1007/978-3-642-17625-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Incentives, Overlays, and Economic Traffic Control Third International Workshop, ETM 2010, Amsterdam, The Netherlands, September 6, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192984
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Stiller, Burkhard. editor. Hoßfeld, Tobias. editor. Stamoulis, George D. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15485-0">http://dx.doi.org/10.1007/978-3-642-15485-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Network Control and Optimization Second Euro-NF Workshop, NET-COOP 2008 Paris, France, September 8-10, 2008. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:189669
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Altman, Eitan. editor. Chaintreau, Augustin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00393-6">http://dx.doi.org/10.1007/978-3-642-00393-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hybrid Systems: Computation and Control 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 13-15, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:189743
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Majumdar, Rupak. editor. Tabuada, Paulo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00602-9">http://dx.doi.org/10.1007/978-3-642-00602-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188280
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Egerstedt, Magnus. editor. Mishra, Bud. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78929-1">http://dx.doi.org/10.1007/978-3-540-78929-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Autonomous Systems – Self-Organization, Management, and Control Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6–7, 2008
ent://SD_ILS/0/SD_ILS:170364
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Mahr, Bernd. editor. Huanye, Sheng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-8889-6">http://dx.doi.org/10.1007/978-1-4020-8889-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems Proceedings of the GM R&D Workshop, Bangalore, India, January 2007
ent://SD_ILS/0/SD_ILS:169733
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Ramesh, S. editor. Sampath, Prahladavaradan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-6254-4">http://dx.doi.org/10.1007/978-1-4020-6254-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Network Control and Optimization First EuroFGI International Conference, NET-COOP 2007, Avignon, France, June 5-7, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186631
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Chahed, Tijani. editor. Tuffin, Bruno. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72709-5">http://dx.doi.org/10.1007/978-3-540-72709-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hybrid Systems: Computation and Control 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186296
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Bemporad, Alberto. editor. Bicchi, Antonio. editor. Buttazzo, Giorgio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-71493-4">http://dx.doi.org/10.1007/978-3-540-71493-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hybrid Systems: Computation and Control 9th International Workshop, HSCC 2006, Santa Barbara, CA, USA, March 29-31, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183645
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Hespanha, João P. editor. Tiwari, Ashish. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11730637">http://dx.doi.org/10.1007/11730637</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Access Control Systems Security, Identity Management and Trust Models
ent://SD_ILS/0/SD_ILS:165433
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Benantar, Messaoud. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/0-387-27716-1">http://dx.doi.org/10.1007/0-387-27716-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Switching and Learning in Feedback Systems European Summer School on Multi-Agent Control, Maynooth, Ireland, September 8-10, 2003, Revised Lectures and Selected Papers
ent://SD_ILS/0/SD_ILS:182359
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Murray-Smith, Roderick. editor. Shorten, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b105497">http://dx.doi.org/10.1007/b105497</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hybrid Systems: Computation and Control 8th International Workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183026
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Morari, Manfred. editor. Thiele, Lothar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106766">http://dx.doi.org/10.1007/b106766</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Deadlock Resolution in Automated Manufacturing Systems A Novel Petri Net Approach
ent://SD_ILS/0/SD_ILS:175931
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Li, ZhiWu. author. Zhou, MengChu. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84882-244-3">http://dx.doi.org/10.1007/978-1-84882-244-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Green IT Engineering: Concepts, Models, Complex Systems Architectures
ent://SD_ILS/0/SD_ILS:611372
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Kharchenko, Vyacheslav. editor. Kondratenko, Yuriy. editor. Kacprzyk, Janusz. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44162-7">https://doi.org/10.1007/978-3-319-44162-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design and Use of Serious Games
ent://SD_ILS/0/SD_ILS:170551
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Kankaanranta, Marja. editor. Neittaanmäki, Pekka. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4020-9496-5">http://dx.doi.org/10.1007/978-1-4020-9496-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
EMBEDDED SOFTWARE DEVELOPMENT FOR SAFETY-CRITICAL SYSTEMS
ent://SD_ILS/0/SD_ILS:563010
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Hobbs, Chris (Christopher W.)<br/>Preferred Shelf Number QA76.76 .D47<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003598145">https://www.taylorfrancis.com/books/9781003598145</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Strategic software quality management : how to incorporate sustainable continuous improvement practices
ent://SD_ILS/0/SD_ILS:563906
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Fidanboy, Mahsa, author. Fidanboy, Cemalettin Öcal, author.<br/>Preferred Shelf Number QA76.76 .Q35<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003491606">https://www.taylorfrancis.com/books/9781003491606</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:605472
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-73709-1">https://doi.org/10.1007/978-3-031-73709-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:605717
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75387-9">https://doi.org/10.1007/978-3-031-75387-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Stabilization, Safety, and Security of Distributed Systems 26th International Symposium, SSS 2024, Nagoya, Japan, October 20-22, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:605723
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Masuzawa, Toshimitsu. editor. (orcid)0000-0003-4628-6393 Katayama, Yoshiaki. editor. (orcid)0000-0003-1683-2154 Kakugawa, Hirotsugu. editor. (orcid)0000-0003-1087-410X Nakamura, Junya. editor. (orcid)0000-0002-1363-4358 Kim, Yonghwan. editor. (orcid)0000-0002-5437-7626<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-74498-3">https://doi.org/10.1007/978-3-031-74498-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:605736
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75107-3">https://doi.org/10.1007/978-3-031-75107-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:605738
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75390-9">https://doi.org/10.1007/978-3-031-75390-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:605783
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75380-0">https://doi.org/10.1007/978-3-031-75380-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
High Performance Computing. ISC High Performance 2024 International Workshops Hamburg, Germany, May 12-16, 2024, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:606490
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Neuwirth, Sarah. editor. (orcid)0000-0001-7409-153X Kruse, Carola. editor. (orcid)0000-0002-4142-7356 Weinzierl, Tobias. editor. (orcid)0000-0002-6208-1841 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-73716-9">https://doi.org/10.1007/978-3-031-73716-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Smart Cities 7th Ibero-American Congress, ICSC-CITIES 2024, San Carlos, Costa Rica, November 12-14, 2024, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:607781
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Nesmachnow, Sergio. editor. (orcid)0000-0002-8146-4012 Hernández Callejo, Luis. editor. (orcid)0000-0002-8822-2948 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-85324-1">https://doi.org/10.1007/978-3-031-85324-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamentals of Software Engineering 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:607702
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Caltais, Georgiana. editor. (orcid)0000-0002-8653-2299 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-87054-5">https://doi.org/10.1007/978-3-031-87054-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:607973
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-4656-2">https://doi.org/10.1007/978-981-96-4656-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Software Project Management
ent://SD_ILS/0/SD_ILS:608256
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
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/>
Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:605095
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Platzer, André. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71162-6">https://doi.org/10.1007/978-3-031-71162-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:605121
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Platzer, Andre. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71177-0">https://doi.org/10.1007/978-3-031-71177-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:606203
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-77382-2">https://doi.org/10.1007/978-3-031-77382-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:606986
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0774-7">https://doi.org/10.1007/978-981-96-0774-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VIII
ent://SD_ILS/0/SD_ILS:606987
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0783-9">https://doi.org/10.1007/978-981-96-0783-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:606999
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0771-6">https://doi.org/10.1007/978-981-96-0771-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VII
ent://SD_ILS/0/SD_ILS:607000
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0780-8">https://doi.org/10.1007/978-981-96-0780-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:607001
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0795-2">https://doi.org/10.1007/978-981-96-0795-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31-August 2, 2024, Proceedings, Part X
ent://SD_ILS/0/SD_ILS:607017
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0786-0">https://doi.org/10.1007/978-981-96-0786-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part IX
ent://SD_ILS/0/SD_ILS:607018
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0789-1">https://doi.org/10.1007/978-981-96-0789-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:607019
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0798-3">https://doi.org/10.1007/978-981-96-0798-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of the 2nd International Conference on the Frontiers of Robotics and Software Engineering (FRSE 2024) Volume 1
ent://SD_ILS/0/SD_ILS:607585
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Hu, Jiangping. editor. (orcid)0000-0002-7559-8604 Zhang, Jin. editor. (orcid)0000-0002-7464-2247 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-3013-4">https://doi.org/10.1007/978-981-96-3013-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:608296
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90643-5">https://doi.org/10.1007/978-3-031-90643-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:608297
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90660-2">https://doi.org/10.1007/978-3-031-90660-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:608299
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90900-9">https://doi.org/10.1007/978-3-031-90900-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:608320
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-90653-4">https://doi.org/10.1007/978-3-031-90653-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model Checking Software 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:605503
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Neele, Thomas. editor. (orcid)0000-0001-6117-9129 Wijs, Anton. editor. (orcid)0000-0002-2071-9624 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-66149-5">https://doi.org/10.1007/978-3-031-66149-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Job Scheduling Strategies for Parallel Processing 27th International Workshop, JSSPP 2024, San Francisco, CA, USA, May 31, 2024, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:606596
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Klusáček, Dalibor. editor. (orcid)0000-0001-6434-4433 Corbalán, Julita. editor. (orcid)0000-0002-3926-5634 Rodrigo, Gonzalo P. editor. (orcid)0000-0003-3315-8253 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-74430-3">https://doi.org/10.1007/978-3-031-74430-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VI
ent://SD_ILS/0/SD_ILS:607034
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0792-1">https://doi.org/10.1007/978-981-96-0792-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:607064
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Carro, Luigi. editor. Regazzoni, Francesco. editor. Pilato, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78377-7">https://doi.org/10.1007/978-3-031-78377-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:607065
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Carro, Luigi. editor. Regazzoni, Francesco. editor. Pilato, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78380-7">https://doi.org/10.1007/978-3-031-78380-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part I
ent://SD_ILS/0/SD_ILS:607083
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Antonov, Alexander. editor. (orcid)0000-0003-2820-7196 Nikitenko, Dmitry. editor. (orcid)0000-0002-2864-7995 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78459-0">https://doi.org/10.1007/978-3-031-78459-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:607084
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Antonov, Alexander. editor. (orcid)0000-0003-2820-7196 Nikitenko, Dmitry. editor. (orcid)0000-0002-2864-7995 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78462-0">https://doi.org/10.1007/978-3-031-78462-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:607151
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0777-8">https://doi.org/10.1007/978-981-96-0777-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Proceedings of the 2nd International Conference on the Frontiers of Robotics and Software Engineering (FRSE 2024) Volume 2
ent://SD_ILS/0/SD_ILS:607837
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Hu, Jiangping. editor. (orcid)0000-0002-7559-8604 Zhang, Jin. editor. (orcid)0000-0002-7464-2247 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-3161-2">https://doi.org/10.1007/978-981-96-3161-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Active Inference 4th International Workshop, IWAI 2023, Ghent, Belgium, September 13-15, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:601972
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Buckley, Christopher L. editor. Cialfi, Daniela. editor. (orcid)0000-0001-8953-062X Lanillos, Pablo. editor. (orcid)0000-0001-9154-0798 Ramstead, Maxwell. editor. Sajid, Noor. editor. (orcid)0000-0003-1904-2887<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-47958-8">https://doi.org/10.1007/978-3-031-47958-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Fundamental Research for Trustworthy Software
ent://SD_ILS/0/SD_ILS:602000
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author He, Jifeng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-5589-3">https://doi.org/10.1007/978-981-99-5589-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:602216
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-50521-8">https://doi.org/10.1007/978-3-031-50521-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:602217
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-50524-9">https://doi.org/10.1007/978-3-031-50524-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mechatronics - Industry-Inspired Advances
ent://SD_ILS/0/SD_ILS:604066
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Martowicz, Adam. editor. (orcid)0000-0001-9630-0355 Mańka, Michał. editor. (orcid)0000-0002-2959-9681 Mendrok, Krzysztof. editor. (orcid)0000-0002-3720-6454 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63444-4">https://doi.org/10.1007/978-3-031-63444-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Design for Resilient Computer Systems
ent://SD_ILS/0/SD_ILS:604307
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Schagaev, Igor. author. Gutknecht, Jürg. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-55139-0">https://doi.org/10.1007/978-3-031-55139-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement
ent://SD_ILS/0/SD_ILS:604956
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Foster, Simon. editor. (orcid)0000-0002-9889-9514 Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-67114-2">https://doi.org/10.1007/978-3-031-67114-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial General Intelligence 17th International Conference, AGI 2024, Seattle, WA, USA, August 13-16, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:604337
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Thórisson, Kristinn R. editor. (orcid)0000-0003-3842-0564 Isaev, Peter. editor. Sheikhlar, Arash. editor. (orcid)0000-0002-0568-075X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-65572-2">https://doi.org/10.1007/978-3-031-65572-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2024: Parallel Processing 30th European Conference on Parallel and Distributed Processing, Madrid, Spain, August 26-30, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:604848
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Carretero, Jesus. editor. (orcid)0000-0002-1413-4793 Shende, Sameer. editor. (orcid)0000-0002-2592-669X Garcia-Blas, Javier. editor. (orcid)0000-0003-1452-1918 Brandic, Ivona. editor. (orcid)0000-0001-7424-0208 Olcoz, Katzalin. editor. (orcid)0000-0002-1821-124X<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-69766-1">https://doi.org/10.1007/978-3-031-69766-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:605043
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Sekerinski, Emil. editor. (orcid)0000-0001-9788-5842 Ribeiro, Leila. editor. (orcid)0000-0001-7039-092X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71379-8">https://doi.org/10.1007/978-3-031-71379-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Safety, Reliability, and Security 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18-20, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:605082
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Ceccarelli, Andrea. editor. (orcid)0000-0002-2291-2428 Trapp, Mario. editor. Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-68606-1">https://doi.org/10.1007/978-3-031-68606-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Optimization, Learning Algorithms and Applications 4th International Conference, OL2A 2024, Tenerife, Spain, July 24-26, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:606686
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Pereira, Ana I. editor. (orcid)0000-0003-3803-2043 Fernandes, Florbela P. editor. (orcid)0000-0001-9542-4460 Coelho, João P. editor. (orcid)0000-0002-7616-1383 Teixeira, João P. editor. (orcid)0000-0002-6679-5702 Lima, José. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-77426-3">https://doi.org/10.1007/978-3-031-77426-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Optimization, Learning Algorithms and Applications 4th International Conference, OL2A 2024, Tenerife, Spain, July 24-26, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:606687
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Pereira, Ana I. editor. (orcid)0000-0003-3803-2043 Fernandes, Florbela P. editor. (orcid)0000-0001-9542-4460 Coelho, João P. editor. (orcid)0000-0002-7616-1383 Teixeira, João P. editor. (orcid)0000-0002-6679-5702 Lima, José. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-77432-4">https://doi.org/10.1007/978-3-031-77432-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel Computational Technologies 18th International Conference, PCT 2024, Chelyabinsk, Russia, April 2-4, 2024, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:606768
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-73372-7">https://doi.org/10.1007/978-3-031-73372-7</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-02T21:15:56Z
2026-04-02T21:15:56Z
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/>
Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:603643
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341 Domínguez Mayo, Francisco José. editor. van Sinderen, Marten. editor. (orcid)0000-0001-7118-1353 Maciaszek, Leszek A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-61753-9">https://doi.org/10.1007/978-3-031-61753-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Petri Nets and Other Models of Concurrency XVII
ent://SD_ILS/0/SD_ILS:602326
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Koutny, Maciej. editor. Bergenthum, Robin. editor. Ciardo, Gianfranco. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-68191-6">https://doi.org/10.1007/978-3-662-68191-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Optimization, Learning Algorithms and Applications Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27-29, 2023, Revised Selected Papers, Part I
ent://SD_ILS/0/SD_ILS:602476
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Pereira, Ana I. editor. (orcid)0000-0003-3803-2043 Mendes, Armando. editor. Fernandes, Florbela P. editor. (orcid)0000-0001-9542-4460 Pacheco, Maria F. editor. (orcid)0000-0001-7915-0391 Coelho, João P. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-53025-8">https://doi.org/10.1007/978-3-031-53025-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Optimization, Learning Algorithms and Applications Third International Conference, OL2A 2023, Ponta Delgada, Portugal, September 27-29, 2023, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:602504
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Pereira, Ana I. editor. (orcid)0000-0003-3803-2043 Mendes, Armando. editor. Fernandes, Florbela P. editor. (orcid)0000-0001-9542-4460 Pacheco, Maria F. editor. (orcid)0000-0001-7915-0391 Coelho, João P. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-53036-4">https://doi.org/10.1007/978-3-031-53036-4</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-02T21:15:56Z
2026-04-02T21:15:56Z
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/>
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:603145
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57246-3">https://doi.org/10.1007/978-3-031-57246-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:603151
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57249-4">https://doi.org/10.1007/978-3-031-57249-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:603152
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Finkbeiner, Bernd. editor. Kovács, Laura. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57256-2">https://doi.org/10.1007/978-3-031-57256-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Fundamental Approaches to Software Engineering 27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:603161
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Cavalcanti, Ana. editor. (orcid)0000-0002-0831-1976 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57259-3">https://doi.org/10.1007/978-3-031-57259-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A Software Development Approach for Driving Competitiveness in Small Firms
ent://SD_ILS/0/SD_ILS:556094
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Chevers, Delroy A., author.<br/>Preferred Shelf Number HD2341<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003388944">https://www.taylorfrancis.com/books/9781003388944</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
ent://SD_ILS/0/SD_ILS:528987
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Lee, Roger. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-19604-1">https://doi.org/10.1007/978-3-031-19604-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
An introduction to self-adaptive systems : a contemporary software engineering perspective
ent://SD_ILS/0/SD_ILS:596351
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Weyns, Danny.<br/>Preferred Shelf Number QA76.76 .S375<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119574910">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119574910</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Official Google Cloud Certified Professional Data Engineer study guide
ent://SD_ILS/0/SD_ILS:596021
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Sullivan, Dan, 1962-<br/>Preferred Shelf Number QA76.3<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119618461">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119618461</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Concise Guide to Software Testing
ent://SD_ILS/0/SD_ILS:485710
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author O'Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-28494-7">https://doi.org/10.1007/978-3-030-28494-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The DevOps adoption playbook : a guide to adopting DevOps in a multi-speed IT enterprise
ent://SD_ILS/0/SD_ILS:593287
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Sharma, Sanjeev (Information technology executive), author.<br/>Preferred Shelf Number QA76.758<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119310778">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119310778</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming in HTML and PHP Coding for Scientists and Engineers
ent://SD_ILS/0/SD_ILS:611023
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Brooks, David R. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56973-4">https://doi.org/10.1007/978-3-319-56973-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Future Data and Security Engineering 4th International Conference, FDSE 2017, Ho Chi Minh City, Vietnam, November 29 - December 1, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612151
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Dang, Tran Khanh. editor. Wagner, Roland. editor. Küng, Josef. editor. Thoai, Nam. editor. Takizawa, Makoto. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70004-5">https://doi.org/10.1007/978-3-319-70004-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613242
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author D'Souza, Deepak. editor. Narayan Kumar, K. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68167-2">https://doi.org/10.1007/978-3-319-68167-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2016
ent://SD_ILS/0/SD_ILS:615301
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Ao, Sio-Iong. editor. Kim, Haeng Kon. editor. Huang, Xu. editor. Castillo, Oscar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-3950-8">https://doi.org/10.1007/978-981-10-3950-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cyber-Physical System Design from an Architecture Analysis Viewpoint Communications of NII Shonan Meetings
ent://SD_ILS/0/SD_ILS:615500
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Nakajima, Shin. editor. Talpin, Jean-Pierre. editor. Toyoshima, Masumi. editor. Yu, Huafeng. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-4436-6">https://doi.org/10.1007/978-981-10-4436-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Exploring Services Science 8th International Conference, IESS 2017, Rome, Italy, May 24-26, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611497
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Za, Stefano. editor. Drăgoicea, Monica. editor. Cavallari, Maurizio. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56925-3">https://doi.org/10.1007/978-3-319-56925-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mastering Software Variability with FeatureIDE
ent://SD_ILS/0/SD_ILS:613525
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Meinicke, Jens. author. Thüm, Thomas. author. Schröter, Reimar. author. Benduhn, Fabian. author. Leich, Thomas. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61443-4">https://doi.org/10.1007/978-3-319-61443-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Risk Assessment and Risk-Driven Quality Assurance 4th International Workshop, RISK 2016, Held in Conjunction with ICTSS 2016, Graz, Austria, October 18, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613620
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Großmann, Jürgen. editor. Felderer, Michael. editor. Seehusen, Fredrik. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57858-3">https://doi.org/10.1007/978-3-319-57858-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Guide to Scientific Computing in C++
ent://SD_ILS/0/SD_ILS:617561
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-73132-2">https://doi.org/10.1007/978-3-319-73132-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:618308
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Benferhat, Salem. editor. (orcid)0000-0002-4853-3637 Tabia, Karim. editor. Ali, Moonis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60045-1">https://doi.org/10.1007/978-3-319-60045-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Industrial Applications of Holonic and Multi-Agent Systems 8th International Conference, HoloMAS 2017, Lyon, France, August 28-30, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611089
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Mařík, Vladimír. editor. Wahlster, Wolfgang. editor. Strasser, Thomas. editor. Kadera, Petr. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64635-0">https://doi.org/10.1007/978-3-319-64635-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Artificial Intelligence: From Theory to Practice 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:611629
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Benferhat, Salem. editor. (orcid)0000-0002-4853-3637 Tabia, Karim. editor. Ali, Moonis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60042-0">https://doi.org/10.1007/978-3-319-60042-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification Second International Conference, RSSRail 2017, Pistoia, Italy, November 14-16, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:612044
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Fantechi, Alessandro. editor. Lecomte, Thierry. editor. Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68499-4">https://doi.org/10.1007/978-3-319-68499-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Organic Computing - Technical Systems for Survival in the Real World
ent://SD_ILS/0/SD_ILS:612055
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Müller-Schloer, Christian. author. Tomforde, Sven. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68477-2">https://doi.org/10.1007/978-3-319-68477-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing IFIP WG 5.7 International Conference, APMS 2017, Hamburg, Germany, September 3-7, 2017, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:612092
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Lödding, Hermann. editor. Riedel, Ralph. editor. Thoben, Klaus-Dieter. editor. von Cieminski, Gregor. editor. Kiritsis, Dimitris. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66923-6">https://doi.org/10.1007/978-3-319-66923-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification and Evaluation of Computer and Communication Systems 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616750
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Boucheneb, Hanifa. editor. Mili, Ali. editor. Tahar, Sofiène. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66176-6">https://doi.org/10.1007/978-3-319-66176-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pervasive Computing Engineering Smart Systems
ent://SD_ILS/0/SD_ILS:617371
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Silvis-Cividjian, Natalia. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-51655-4">https://doi.org/10.1007/978-3-319-51655-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Production Management Systems. The Path to Intelligent, Collaborative and Sustainable Manufacturing IFIP WG 5.7 International Conference, APMS 2017, Hamburg, Germany, September 3-7, 2017, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:618419
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Lödding, Hermann. editor. Riedel, Ralph. editor. Thoben, Klaus-Dieter. editor. von Cieminski, Gregor. editor. Kiritsis, Dimitris. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66926-7">https://doi.org/10.1007/978-3-319-66926-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Autonomic Road Transport Support Systems
ent://SD_ILS/0/SD_ILS:615542
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author McCluskey, Thomas Leo. editor. Kotsialos, Apostolos. editor. Müller, Jörg P. editor. Klügl, Franziska. editor. Rana, Omer. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-25808-9">https://doi.org/10.1007/978-3-319-25808-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Engineering Technologies International MultiConference of Engineers and Computer Scientists 2015
ent://SD_ILS/0/SD_ILS:613610
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Yang, Gi-Chul. editor. Ao, Sio-Iong. editor. Huang, Xu. editor. Castillo, Oscar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-0551-0">https://doi.org/10.1007/978-981-10-0551-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Frontier Computing Theory, Technologies and Applications
ent://SD_ILS/0/SD_ILS:614931
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Hung, Jason C. editor. Yen, Neil Y. editor. Li, Kuan-Ching. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-0539-8">https://doi.org/10.1007/978-981-10-0539-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Functional Safety for Road Vehicles New Challenges and Solutions for E-mobility and Automated Driving
ent://SD_ILS/0/SD_ILS:615793
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Ross, Hans-Leo. author. (orcid)0009-0009-0125-8824 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33361-8">https://doi.org/10.1007/978-3-319-33361-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Process Mining Data Science in Action
ent://SD_ILS/0/SD_ILS:617779
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
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/>
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-02T21:15:56Z
2026-04-02T21:15:56Z
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/>
Trustworthy Open Self-Organising Systems
ent://SD_ILS/0/SD_ILS:618452
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Reif, Wolfgang. editor. Anders, Gerrit. editor. Seebach, Hella. editor. Steghöfer, Jan-Philipp. editor. André, Elisabeth. editor. (orcid)0000-0002-2367-162X<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29201-4">https://doi.org/10.1007/978-3-319-29201-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Modeling with UML Language, Concepts, Methods
ent://SD_ILS/0/SD_ILS:612868
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Rumpe, Bernhard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-33933-7">https://doi.org/10.1007/978-3-319-33933-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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-02T21:15:56Z
2026-04-02T21:15:56Z
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/>
Software Design for Resilient Computer Systems
ent://SD_ILS/0/SD_ILS:617729
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Schagaev, Igor. author. Thomas, Kaegi. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-29465-0">https://doi.org/10.1007/978-3-319-29465-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Transactions on Foundations for Mastering Change I
ent://SD_ILS/0/SD_ILS:617815
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Steffen, Bernhard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46508-1">https://doi.org/10.1007/978-3-319-46508-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Risk Management
ent://SD_ILS/0/SD_ILS:488430
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Moran, Alan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-05008-9">https://doi.org/10.1007/978-3-319-05008-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro Vim
ent://SD_ILS/0/SD_ILS:618676
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author McDonnell, Mark. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0250-0">https://doi.org/10.1007/978-1-4842-0250-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Unboxing Android USB A hands on approach with real world examples
ent://SD_ILS/0/SD_ILS:618520
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Regupathy, Rajaram. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6209-1">https://doi.org/10.1007/978-1-4302-6209-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
PHP for Absolute Beginners
ent://SD_ILS/0/SD_ILS:618527
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Lengstorf, Jason. author. Blom Hansen, Thomas. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6814-7">https://doi.org/10.1007/978-1-4302-6814-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning COBOL for Programmers
ent://SD_ILS/0/SD_ILS:618562
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Coughlan, Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6254-1">https://doi.org/10.1007/978-1-4302-6254-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Beginning HTML5 Games with CreateJS
ent://SD_ILS/0/SD_ILS:618564
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Manderscheid, Brad. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-6341-8">https://doi.org/10.1007/978-1-4302-6341-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro Git
ent://SD_ILS/0/SD_ILS:618662
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Chacon, Scott. author. Straub, Ben. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4842-0076-6">https://doi.org/10.1007/978-1-4842-0076-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
JavaScript Creativity Exploring the Modern Capabilities of JavaScript and HTML5
ent://SD_ILS/0/SD_ILS:618619
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Hudson, Shane. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4302-5945-9">https://doi.org/10.1007/978-1-4302-5945-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Real-Time C++ Efficient Object-Oriented and Template Microcontroller Programming
ent://SD_ILS/0/SD_ILS:333884
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Kormanyos, Christopher Michael. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(333884.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34688-0">http://dx.doi.org/10.1007/978-3-642-34688-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
RoboCup 2009: Robot Soccer World Cup XIII
ent://SD_ILS/0/SD_ILS:191826
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Baltes, Jacky. editor. Lagoudakis, Michail G. editor. Naruse, Tadashi. editor. Ghidary, Saeed Shiry. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-11876-0">http://dx.doi.org/10.1007/978-3-642-11876-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
SPS-Programmierung mit IEC 61131-3 Konzepte und Programmiersprachen, Anforderungen an Programmiersysteme, Entscheidungshilfen
ent://SD_ILS/0/SD_ILS:189632
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Tiegelkamp, Michael. author. John, Karl Heinz. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-00269-4">http://dx.doi.org/10.1007/978-3-642-00269-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
RoboCup 2008: Robot Soccer World Cup XII
ent://SD_ILS/0/SD_ILS:190461
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Iocchi, Luca. editor. Matsubara, Hitoshi. editor. Weitzenfeld, Alfredo. editor. Zhou, Changjiu. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02921-9">http://dx.doi.org/10.1007/978-3-642-02921-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Practical support for lean six sigma software process definition using IEEE software engineering standards
ent://SD_ILS/0/SD_ILS:249325
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Land, Susan K. Smith, Douglas Burr, 1943- Walz, John W.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6129687">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6129687</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software engineering quality practices
ent://SD_ILS/0/SD_ILS:542857
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Kandt, Ronald Kirk., author.<br/>Preferred Shelf Number QA76.758 .K35 2006<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781420031102">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>
RoboCup 2004: Robot Soccer World Cup VIII
ent://SD_ILS/0/SD_ILS:183243
2026-04-02T21:15:56Z
2026-04-02T21:15:56Z
Author Nardi, Daniele. editor. Riedmiller, Martin. editor. Sammut, Claude. editor. Santos-Victor, José. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106671">http://dx.doi.org/10.1007/b106671</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>