Search Results for Theory of Computation. - Narrowed by: Computer engineering.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dTheory$002bof$002bComputation.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bengineering.$002509Computer$002bengineering.$0026ps$003d300$0026isd$003dtrue?dt=list
2026-04-10T21:21:50Z
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-04-10T21:21:50Z
2026-04-10T21:21:50Z
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/>
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-04-10T21:21:50Z
2026-04-10T21:21:50Z
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/>
Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20-21, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:607681
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Erdem, Esra. editor. (orcid)0000-0001-8384-7810 Vidal, Germán. editor. (orcid)0000-0002-1857-6951 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-84924-4">https://doi.org/10.1007/978-3-031-84924-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
From Data to Models and Back 12th International Symposium, DataMod 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:608097
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Czekster, Ricardo M. editor. (orcid)0000-0002-6636-4398 Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-87908-1">https://doi.org/10.1007/978-3-031-87908-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agents and Artificial Intelligence 16th International Conference, ICAART 2024, Rome, Italy, February 24-26, 2024, Revised Selected Papers, Part II
ent://SD_ILS/0/SD_ILS:608262
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Rocha, Ana Paula. editor. Steels, Luc. editor. (orcid)0000-0001-9134-3663 van den Herik, Jaap. editor. (orcid)0000-0001-9751-761X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-87330-0">https://doi.org/10.1007/978-3-031-87330-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:609244
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97554-7">https://doi.org/10.1007/978-3-031-97554-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:609245
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97557-8">https://doi.org/10.1007/978-3-031-97557-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:609246
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97564-6">https://doi.org/10.1007/978-3-031-97564-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Knowledge Structures Second International Joint Conference, CONCEPTS 2025, Cluj-Napoca, Romania, September 8-12, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:609959
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Cellier, Peggy. editor. (orcid)0000-0002-1495-2534 Ganter, Bernhard. editor. (orcid)0000-0003-0767-1379 Missaoui, Rokia. editor. (orcid)0000-0001-7410-4177 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-032-03364-2">https://doi.org/10.1007/978-3-032-03364-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
From Data to Models and Back 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:608045
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Broccia, Giovanna. editor. (orcid)0000-0002-4737-5761 Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-87217-4">https://doi.org/10.1007/978-3-031-87217-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:609231
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97632-2">https://doi.org/10.1007/978-3-031-97632-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dependable Software Engineering. Theories, Tools, and Applications 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:606177
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Bourke, Timothy. editor. (orcid)0000-0003-0601-4182 Chen, Liqian. editor. (orcid)0000-0001-8084-8009 Goharshady, Amir. editor. (orcid)0000-0003-1702-6584 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-0602-3">https://doi.org/10.1007/978-981-96-0602-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:608842
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Dutle, Aaron. editor. (orcid)0000-0002-8503-5514 Humphrey, Laura. editor. (orcid)0000-0002-3148-9035 Titolo, Laura. editor. (orcid)0000-0001-7820-7640 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-93706-4">https://doi.org/10.1007/978-3-031-93706-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:609125
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97626-1">https://doi.org/10.1007/978-3-031-97626-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Life and Evolutionary Computation 18th Italian Workshop, WIVACE 2024, Namur, Belgium, September 11-13, 2024, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:609408
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Carletti, Timoteo. editor. (orcid)0000-0003-2596-4503 Njougouo, Thierry-Sainclair. editor. (orcid)0000-0001-7706-7674 Tuci, Elio. editor. (orcid)0000-0001-7345-671X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-93631-9">https://doi.org/10.1007/978-3-031-93631-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI
ent://SD_ILS/0/SD_ILS:609219
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97573-8">https://doi.org/10.1007/978-3-031-97573-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:609226
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97567-7">https://doi.org/10.1007/978-3-031-97567-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:609229
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97570-7">https://doi.org/10.1007/978-3-031-97570-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:609230
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97629-2">https://doi.org/10.1007/978-3-031-97629-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:609240
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-97635-3">https://doi.org/10.1007/978-3-031-97635-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agents and Artificial Intelligence 16th International Conference, ICAART 2024, Rome, Italy, February 24-26, 2024, Revised Selected Papers, Part I
ent://SD_ILS/0/SD_ILS:608227
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Rocha, Ana Paula. editor. Steels, Luc. editor. (orcid)0000-0001-9134-3663 van den Herik, Jaap. editor. (orcid)0000-0001-9751-761X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-87327-0">https://doi.org/10.1007/978-3-031-87327-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Dependable Software Engineering. Theories, Tools, and Applications 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:602149
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Hermanns, Holger. editor. (orcid)0000-0002-2766-9615 Sun, Jun. editor. Bu, Lei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-99-8664-4">https://doi.org/10.1007/978-981-99-8664-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:604871
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Hillston, Jane. editor. (orcid)0000-0003-4914-9255 Soudjani, Sadegh. editor. Waga, Masaki. editor. (orcid)0000-0001-9360-7490 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-68416-6">https://doi.org/10.1007/978-3-031-68416-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence. ECAI 2023 International Workshops XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:610523
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Nowaczyk, Sławomir. editor. Biecek, Przemysław. editor. Chung, Neo Christopher. editor. Vallati, Mauro. editor. (orcid)0000-0002-8429-3570 Skruch, Paweł. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-50485-3">https://doi.org/10.1007/978-3-031-50485-3</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-10T21:21:50Z
2026-04-10T21:21:50Z
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/>
Artificial Life and Evolutionary Computation 17th Italian Workshop, WIVACE 2023, Venice, Italy, September 6-8, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:603091
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Villani, Marco. editor. (orcid)0000-0002-5991-5470 Cagnoni, Stefano. editor. Serra, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-57430-6">https://doi.org/10.1007/978-3-031-57430-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Large-Scale Scientific Computations 14th International Conference, LSSC 2023, Sozopol, Bulgaria, June 5-9, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:603638
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Lirkov, Ivan. editor. (orcid)0000-0002-5870-2588 Margenov, Svetozar. editor. (orcid)0000-0001-8858-831X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-56208-2">https://doi.org/10.1007/978-3-031-56208-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:604078
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63751-3">https://doi.org/10.1007/978-3-031-63751-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part IV
ent://SD_ILS/0/SD_ILS:604079
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63772-8">https://doi.org/10.1007/978-3-031-63772-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part V
ent://SD_ILS/0/SD_ILS:604080
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63775-9">https://doi.org/10.1007/978-3-031-63775-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:604091
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63749-0">https://doi.org/10.1007/978-3-031-63749-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III
ent://SD_ILS/0/SD_ILS:604092
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63759-9">https://doi.org/10.1007/978-3-031-63759-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VII
ent://SD_ILS/0/SD_ILS:604093
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63783-4">https://doi.org/10.1007/978-3-031-63783-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part VI
ent://SD_ILS/0/SD_ILS:604114
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63778-0">https://doi.org/10.1007/978-3-031-63778-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Conceptual Knowledge Structures First International Joint Conference, CONCEPTS 2024, Cádiz, Spain, September 9-13, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:604624
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Cabrera, Inma P. editor. (orcid)0000-0001-5129-0085 Ferré, Sébastien. editor. (orcid)0000-0002-6302-2333 Obiedkov, Sergei. editor. (orcid)0000-0003-1497-4001 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-67868-4">https://doi.org/10.1007/978-3-031-67868-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:604788
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872 Serwe, Wendelin. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-68150-9">https://doi.org/10.1007/978-3-031-68150-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Swarm Intelligence 15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23-26, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:604794
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-7181-3">https://doi.org/10.1007/978-981-97-7181-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Advances in Swarm Intelligence 15th International Conference on Swarm Intelligence, ICSI 2024, Xining, China, August 23-26, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:604795
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Tan, Ying. editor. (orcid)0000-0001-8243-4731 Shi, Yuhui. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-97-7184-4">https://doi.org/10.1007/978-981-97-7184-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Cellular Automata 16th International Conference on Cellular Automata for Research and Industry, ACRI 2024, Florence, Italy, September 9-11, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:604990
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Bagnoli, Franco. editor. (orcid)0000-0002-6293-0305 Baetens, Jan. editor. (orcid)0000-0003-4084-9992 Bandini, Stefania. editor. (orcid)0000-0002-7056-0543 Matteuzzi, Tommaso. editor. (orcid)0000-0002-1915-9148 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71552-5">https://doi.org/10.1007/978-3-031-71552-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Collective Intelligence 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:605050
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Franczyk, Bogdan. editor. (orcid)0000-0002-5740-2946 Ludwig, André. editor. (orcid)0000-0002-0358-3470 Núñez, Manuel. editor. (orcid)0000-0001-9808-6401 Treur, Jan. editor. (orcid)0000-0003-2466-9158<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-70816-9">https://doi.org/10.1007/978-3-031-70816-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computational Collective Intelligence 16th International Conference, ICCCI 2024, Leipzig, Germany, September 9-11, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:605051
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Nguyen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948 Franczyk, Bogdan. editor. (orcid)0000-0002-5740-2946 Ludwig, André. editor. (orcid)0000-0002-0358-3470 Núñez, Manuel. editor. (orcid)0000-0001-9808-6401 Treur, Jan. editor. (orcid)0000-0003-2466-9158<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-70819-0">https://doi.org/10.1007/978-3-031-70819-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Multi-Agent Systems 12th International Workshop, EMAS 2024, Auckland, New Zealand, May 6-7, 2024, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:605685
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Briola, Daniela. editor. (orcid)0000-0003-1994-8929 Cardoso, Rafael C. editor. (orcid)0000-0001-6666-6954 Logan, Brian. editor. (orcid)0000-0003-0648-7107 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-71152-7">https://doi.org/10.1007/978-3-031-71152-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
NASA Formal Methods 16th International Symposium, NFM 2024, Moffett Field, CA, USA, June 4-6, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:603672
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Benz, Nathaniel. editor. (orcid)0009-0003-9672-5929 Gopinath, Divya. editor. (orcid)0000-0002-1242-7701 Shi, Nija. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-60698-4">https://doi.org/10.1007/978-3-031-60698-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Artificial Intelligence. ECAI 2023 International Workshops XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 - October 4, 2023, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:610623
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Nowaczyk, Sławomir. editor. Biecek, Przemysław. editor. Chung, Neo Christopher. editor. Vallati, Mauro. editor. (orcid)0000-0002-8429-3570 Skruch, Paweł. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-50396-2">https://doi.org/10.1007/978-3-031-50396-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Designing the Digital Transformation 12th International Conference, DESRIST 2017, Karlsruhe, Germany, May 30 - June 1, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:610725
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Maedche, Alexander. editor. vom Brocke, Jan. editor. Hevner, Alan. editor. (orcid)0000-0003-4953-3900 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-59144-5">https://doi.org/10.1007/978-3-319-59144-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Risks and Security of Internet and Systems 11th International Conference, CRiSIS 2016, Roscoff, France, September 5-7, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611536
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Cuppens, Frédéric. editor. Cuppens, Nora. editor. Lanet, Jean-Louis. editor. Legay, Axel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54876-0">https://doi.org/10.1007/978-3-319-54876-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing - SAT 2017 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611748
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Gaspers, Serge. editor. Walsh, Toby. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66263-3">https://doi.org/10.1007/978-3-319-66263-3</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-04-10T21:21:50Z
2026-04-10T21:21:50Z
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/>
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-10T21:21:50Z
2026-04-10T21:21:50Z
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/>
Advances in Artificial Life, Evolutionary Computation, and Systems Chemistry 11th Italian Workshop, WIVACE 2016, Fisciano, Italy, October 4-6, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:612174
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Rossi, Federico. editor. Piotto, Stefano. editor. Concilio, Simona. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57711-1">https://doi.org/10.1007/978-3-319-57711-1</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-10T21:21:50Z
2026-04-10T21:21:50Z
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/>
Theory of Reversible Computing
ent://SD_ILS/0/SD_ILS:613309
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Morita, Kenichi. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-4-431-56606-9">https://doi.org/10.1007/978-4-431-56606-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Autonomous Agents and Multiagent Systems AAMAS 2017 Workshops, Best Papers, São Paulo, Brazil, May 8-12, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613338
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Sukthankar, Gita. editor. Rodriguez-Aguilar, Juan A. editor. (orcid)0000-0002-2940-6886 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71682-4">https://doi.org/10.1007/978-3-319-71682-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Structured Object-Oriented Formal Language and Method 6th International Workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616359
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Liu, Shaoying. editor. Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433 Tian, Cong. editor. Nagoya, Fumiko. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57708-1">https://doi.org/10.1007/978-3-319-57708-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday
ent://SD_ILS/0/SD_ILS:617812
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Aceto, Luca. editor. Bacci, Giorgio. editor. Bacci, Giovanni. editor. Ingólfsdóttir, Anna. editor. Legay, Axel. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63121-9">https://doi.org/10.1007/978-3-319-63121-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Massively Parallel Evolutionary Computation on GPGPUs
ent://SD_ILS/0/SD_ILS:334507
2026-04-10T21:21:50Z
2026-04-10T21:21:50Z
Author Tsutsui, Shigeyoshi. editor. Collet, Pierre. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334507.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-37959-8">http://dx.doi.org/10.1007/978-3-642-37959-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>