Search Results for Systems software. - Narrowed by: Computers.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dSystems$002bsoftware.$0026qf$003dSUBJECT$002509Subject$002509Computers.$002509Computers.$0026ic$003dtrue$0026ps$003d300$0026isd$003dtrue?dt=list
2026-03-21T22:51:34Z
Software Design for Resilient Computer Systems
ent://SD_ILS/0/SD_ILS:604307
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
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/>
Software Design for Resilient Computer Systems
ent://SD_ILS/0/SD_ILS:617729
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
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/>
Testing Software and Systems 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15–17, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486130
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Gaston, Christophe. editor. (orcid)0000-0001-6865-5108 Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813 Le Gall, Pascale. editor. (orcid)0000-0002-8955-6835 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-31280-0">https://doi.org/10.1007/978-3-030-31280-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:486304
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Vojnar, Tomáš. editor. (orcid)0000-0002-2746-8792 Zhang, Lijun. editor. (orcid)0000-0002-3692-2088 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-17462-0">https://doi.org/10.1007/978-3-030-17462-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reuse in the Big Data Era 18th International Conference on Software and Systems Reuse, ICSR 2019, Cincinnati, OH, USA, June 26–28, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:486615
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Peng, Xin. editor. Ampatzoglou, Apostolos. editor. Bhowmik, Tanmay. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-22888-0">https://doi.org/10.1007/978-3-030-22888-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Systems, Software and Services Process Improvement 26th European Conference, EuroSPI 2019, Edinburgh, UK, September 18–20, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:487029
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Walker, Alastair. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-28005-5">https://doi.org/10.1007/978-3-030-28005-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering for Resilient Systems 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings
ent://SD_ILS/0/SD_ILS:483908
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Calinescu, Radu. editor. (orcid)0000-0002-2678-9260 Di Giandomenico, Felicita. editor. (orcid)0000-0002-8760-7299 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-30856-8">https://doi.org/10.1007/978-3-030-30856-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering for Resilient Systems 9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4-5, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611608
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Romanovsky, Alexander. editor. (orcid)0000-0002-4076-3331 Troubitsyna, Elena A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65948-0">https://doi.org/10.1007/978-3-319-65948-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Systems, Software and Services Process Improvement 24th European Conference, EuroSPI 2017, Ostrava, Czech Republic, September 6-8, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611746
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Stolfa, Jakub. editor. Stolfa, Svatopluk. editor. O'Connor, Rory V. editor. Messnarz, Richard. editor. (orcid)0000-0002-0555-3160 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64218-5">https://doi.org/10.1007/978-3-319-64218-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:617841
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 Zhang, Zili. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-56841-6">https://doi.org/10.1007/978-3-319-56841-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human-Centered and Error-Resilient Systems Development IFIP WG 13.2/13.5 Joint Working Conference, 6th International Conference on Human-Centered Software Engineering, HCSE 2016, and 8th International Conference on Human Error, Safety, and System Development, HESSD 2016, Stockholm, Sweden, August 29-31, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:618325
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Bogdan, Cristian. editor. Gulliksen, Jan. editor. Sauer, Stefan. editor. (orcid)0000-0003-3084-0409 Forbrig, Peter. editor. Winckler, Marco. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44902-9">https://doi.org/10.1007/978-3-319-44902-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Secure Software and Systems 6th International Symposium, ESSoS 2014, Munich, Germany, February 26-28, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:485473
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Jürjens, Jan. editor. Piessens, Frank. editor. Bielova, Nataliia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-04897-0">https://doi.org/10.1007/978-3-319-04897-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design Science Methodology for Information Systems and Software Engineering
ent://SD_ILS/0/SD_ILS:487890
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Wieringa, Roel J. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-43839-8">https://doi.org/10.1007/978-3-662-43839-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Open Source Software: Mobile Open Source Technologies 10th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2014, San José, Costa Rica, May 6-9, 2014, Proceedings
ent://SD_ILS/0/SD_ILS:488881
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Corral, Luis. editor. Sillitti, Alberto. editor. Succi, Giancarlo. editor. Vlasenko, Jelena. editor. Wasserman, Anthony I. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-642-55128-4">https://doi.org/10.1007/978-3-642-55128-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Driven Software Migration: A Methodology Reengineering, Recovery and Modernization of Legacy Systems
ent://SD_ILS/0/SD_ILS:488331
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Wagner, Christian. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-658-05270-6">https://doi.org/10.1007/978-3-658-05270-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Autonomy Requirements Engineering for Space Missions
ent://SD_ILS/0/SD_ILS:485641
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Vassev, Emil. author. Hinchey, Mike. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-09816-6">https://doi.org/10.1007/978-3-319-09816-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Self-restructuring in Fault Tolerant Architecture Processor Arrays with Spares
ent://SD_ILS/0/SD_ILS:608068
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Takanami, Itsuo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-1539-1">https://doi.org/10.1007/978-981-96-1539-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The AI Act and The Agile Safety Plan
ent://SD_ILS/0/SD_ILS:607067
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Myklebust, Thor. author. (orcid)0000-0002-9283-092X Stålhane, Tor. author. Vatn, Dorthea Mathilde Kristin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-80504-2">https://doi.org/10.1007/978-3-031-80504-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:607214
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78750-8">https://doi.org/10.1007/978-3-031-78750-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Innovative Intelligent Industrial Production and Logistics 5th International Conference, IN4PL 2024, Porto, Portugal, November 21-22, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:607227
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Dassisti, Michele. editor. (orcid)0000-0001-6984-9203 Madani, Kurosh. editor. Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-80760-2">https://doi.org/10.1007/978-3-031-80760-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Innovative Intelligent Industrial Production and Logistics 5th International Conference, IN4PL 2024, Porto, Portugal, November 21-22, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:607247
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Dassisti, Michele. editor. (orcid)0000-0001-6984-9203 Madani, Kurosh. editor. Panetto, Hervé. editor. (orcid)0000-0002-5537-2261 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-80775-6">https://doi.org/10.1007/978-3-031-80775-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:607116
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78709-6">https://doi.org/10.1007/978-3-031-78709-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Applied OSS Reliability Assessment Modeling, AI and Tools Mathematics and AI for OSS Reliability Assessment
ent://SD_ILS/0/SD_ILS:605293
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Tamura, Yoshinobu. author. (orcid)0000-0001-7665-5765 Yamada, Shigeru. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-64803-8">https://doi.org/10.1007/978-3-031-64803-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Computing, Smart Communication and Network Technologies First International Conference, ICICSCNT 2023, Chennai, India, May 17-18, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:606101
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Dassan, Paulraj. editor. (orcid)0000-0002-8853-9945 Thirumaaran, Sethukarasi. editor. (orcid)0000-0002-9433-2609 Subramani, Neelakandan. editor. (orcid)0000-0003-2337-8471 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75957-4">https://doi.org/10.1007/978-3-031-75957-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:609925
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72338-4">https://doi.org/10.1007/978-3-031-72338-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering of Computer-Based Systems 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:602047
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Kofroň, Jan. editor. (orcid)0000-0003-0391-4812 Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Seceleanu, Cristina. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-49252-5">https://doi.org/10.1007/978-3-031-49252-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:605193
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72332-2">https://doi.org/10.1007/978-3-031-72332-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:605194
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72335-3">https://doi.org/10.1007/978-3-031-72335-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:605195
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72341-4">https://doi.org/10.1007/978-3-031-72341-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:605196
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72344-5">https://doi.org/10.1007/978-3-031-72344-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part VI
ent://SD_ILS/0/SD_ILS:605197
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72347-6">https://doi.org/10.1007/978-3-031-72347-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part VII
ent://SD_ILS/0/SD_ILS:605198
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72350-6">https://doi.org/10.1007/978-3-031-72350-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part VIII
ent://SD_ILS/0/SD_ILS:605199
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72353-7">https://doi.org/10.1007/978-3-031-72353-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part IX
ent://SD_ILS/0/SD_ILS:605200
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72356-8">https://doi.org/10.1007/978-3-031-72356-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Neural Networks and Machine Learning - ICANN 2024 33rd International Conference on Artificial Neural Networks, Lugano, Switzerland, September 17-20, 2024, Proceedings, Part X
ent://SD_ILS/0/SD_ILS:605201
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Wand, Michael. editor. (orcid)0000-0003-0966-7824 Malinovská, Kristína. editor. (orcid)0000-0001-7638-028X Schmidhuber, Jürgen. editor. (orcid)0000-0002-1468-6758 Tetko, Igor V. editor. (orcid)0000-0002-6855-0012 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-72359-9">https://doi.org/10.1007/978-3-031-72359-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agents and Artificial Intelligence 15th International Conference, ICAART 2023, Lisbon, Portugal, February 22-24, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:602882
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Rocha, Ana Paula. editor. Steels, Luc. editor. van den Herik, Jaap. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-55326-4">https://doi.org/10.1007/978-3-031-55326-4</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-03-21T22:51:34Z
2026-03-21T22:51:34Z
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/>
Machine learning for iOS developers
ent://SD_ILS/0/SD_ILS:595818
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Mishra, Abhishek, author.<br/>Preferred Shelf Number Q325.5 .M57 2020<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119602927">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119602927</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence and Security 5th International Conference, ICAIS 2019, New York, NY, USA, July 26–28, 2019, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:486379
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Sun, Xingming. editor. (orcid)0000-0003-1390-399X Pan, Zhaoqing. editor. (orcid)0000-0003-1390-399X Bertino, Elisa. editor. (orcid)0000-0002-4029-7051 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-24268-8">https://doi.org/10.1007/978-3-030-24268-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Critical Infrastructure Protection XIII 13th IFIP WG 11.10 International Conference, ICCIP 2019, Arlington, VA, USA, March 11–12, 2019, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:486939
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
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-030-34647-8">https://doi.org/10.1007/978-3-030-34647-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advanced Multicore Systems-On-Chip Architecture, On-Chip Network, Design
ent://SD_ILS/0/SD_ILS:610717
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Ben Abdallah, Abderazek. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-6092-2">https://doi.org/10.1007/978-981-10-6092-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trusted Computing and Information Security 11th Chinese Conference, CTCIS 2017, Changsha, China, September 14-17, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611756
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Xu, Ming. editor. Qin, Zheng. editor. Yan, Fei. editor. Fu, Shaojing. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-10-7080-8">https://doi.org/10.1007/978-981-10-7080-8</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-03-21T22:51:34Z
2026-03-21T22:51:34Z
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/>
Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:614260
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Polikarpova, Nadia. editor. Schneider, Steve. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66845-1">https://doi.org/10.1007/978-3-319-66845-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testbeds and Research Infrastructures for the Development of Networks and Communities 11th International Conference, TRIDENTCOM 2016, Hangzhou, China, June 14-15, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:615035
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Guo, Song. editor. Wei, Guiyi. editor. Xiang, Yang. editor. (orcid)0000-0001-5252-0831 Lin, Xiaodong. editor. Lorenz, Pascal. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49580-4">https://doi.org/10.1007/978-3-319-49580-4</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 II
ent://SD_ILS/0/SD_ILS:610911
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
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-63390-9">https://doi.org/10.1007/978-3-319-63390-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Security and Trust Management 13th International Workshop, STM 2017, Oslo, Norway, September 14-15, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616653
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Livraga, Giovanni. editor. Mitchell, Chris. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-68063-7">https://doi.org/10.1007/978-3-319-68063-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
System Level Design from HW/SW to Memory for Embedded Systems 5th IFIP TC 10 International Embedded Systems Symposium, IESS 2015, Foz do Iguaçu, Brazil, November 3-6, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:618261
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Götz, Marcelo. editor. Schirner, Gunar. editor. Wehrmeister, Marco Aurélio. editor. Al Faruque, Mohammad Abdullah. editor. Rettberg, Achim. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-90023-0">https://doi.org/10.1007/978-3-319-90023-0</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-03-21T22:51:34Z
2026-03-21T22:51:34Z
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/>
Languages, Design Methods, and Tools for Electronic System Design Selected Contributions from FDL 2014
ent://SD_ILS/0/SD_ILS:611937
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Oppenheimer, Frank. editor. Medina Pasaje, Julio Luis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-24457-0">https://doi.org/10.1007/978-3-319-24457-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cryptographic Hardware and Embedded Systems - CHES 2016 18th International Conference, Santa Barbara, CA, USA, August 17-19, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616108
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Gierlichs, Benedikt. editor. Poschmann, Axel Y. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-53140-2">https://doi.org/10.1007/978-3-662-53140-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Low-Power VLSI Circuits and Systems
ent://SD_ILS/0/SD_ILS:530392
2026-03-21T22:51:34Z
2026-03-21T22:51:34Z
Author Pal, Ajit. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-81-322-1937-8">https://doi.org/10.1007/978-81-322-1937-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>