Search Results for Programming. - Narrowed by: Computers, Special purpose.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dProgramming.$0026qf$003dSUBJECT$002509Subject$002509Computers$00252C$002bSpecial$002bpurpose.$002509Computers$00252C$002bSpecial$002bpurpose.$0026ps$003d300?dt=list
2026-03-25T11:05:45Z
Transactions on Pattern Languages of Programming V
ent://SD_ILS/0/SD_ILS:607718
2026-03-25T11:05:45Z
2026-03-25T11:05:45Z
Author Wallingford, Eugene. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 Kohls, Christian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-70810-1">https://doi.org/10.1007/978-3-662-70810-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Scaling OpenMP for Exascale Performance and Portability 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:610998
2026-03-25T11:05:45Z
2026-03-25T11:05:45Z
Author de Supinski, Bronis R. editor. Olivier, Stephen L. editor. Terboven, Christian. editor. Chapman, Barbara M. editor. Müller, Matthias S. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-65578-9">https://doi.org/10.1007/978-3-319-65578-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing Software and Systems 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613532
2026-03-25T11:05:45Z
2026-03-25T11:05:45Z
Author Yevtushenko, Nina. editor. Cavalli, Ana Rosa. editor. Yenigün, Hüsnü. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67549-7">https://doi.org/10.1007/978-3-319-67549-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
End-User Development 6th International Symposium, IS-EUD 2017, Eindhoven, The Netherlands, June 13-15, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613960
2026-03-25T11:05:45Z
2026-03-25T11:05:45Z
Author Barbosa, Simone. editor. Markopoulos, Panos. editor. Paternò, Fabio. editor. Stumpf, Simone. editor. Valtolina, Stefano. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58735-6">https://doi.org/10.1007/978-3-319-58735-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611600
2026-03-25T11:05:45Z
2026-03-25T11:05:45Z
Author Petrucci, Laure. editor. (orcid)0000-0003-3154-5268 Seceleanu, Cristina. editor. Cavalcanti, Ana. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67113-0">https://doi.org/10.1007/978-3-319-67113-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliable Software Technologies - Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:615997
2026-03-25T11:05:45Z
2026-03-25T11:05:45Z
Author Blieberger, Johann. editor. Bader, Markus. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-60588-3">https://doi.org/10.1007/978-3-319-60588-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Based Safety and Assessment 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616010
2026-03-25T11:05:45Z
2026-03-25T11:05:45Z
Author Bozzano, Marco. editor. (orcid)0000-0002-4135-103X Papadopoulos, Yiannis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64119-5">https://doi.org/10.1007/978-3-319-64119-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Challenges and Opportunity with Big Data 19th Monterey Workshop 2016, Beijing, China, October 8 - 11, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:616761
2026-03-25T11:05:45Z
2026-03-25T11:05:45Z
Author Zhang, Lin. editor. Ren, Lei. editor. Kordon, Fabrice. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61994-1">https://doi.org/10.1007/978-3-319-61994-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:611725
2026-03-25T11:05:45Z
2026-03-25T11:05:45Z
Author Remke, Anne. editor. Haverkort, Boudewijn R. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-31559-1">https://doi.org/10.1007/978-3-319-31559-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
ent://SD_ILS/0/SD_ILS:616134
2026-03-25T11:05:45Z
2026-03-25T11:05:45Z
Author 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-29628-9">https://doi.org/10.1007/978-3-319-29628-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliable Software Technologies - Ada-Europe 2016 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:618305
2026-03-25T11:05:45Z
2026-03-25T11:05:45Z
Author Bertogna, Marko. editor. Pinho, Luís Miguel. editor. Quiñones, Eduardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-39083-3">https://doi.org/10.1007/978-3-319-39083-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616527
2026-03-25T11:05:45Z
2026-03-25T11:05:45Z
Author ter Beek, Maurice H. editor. (orcid)0000-0002-2930-6367 Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421 Knapp, Alexander. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45943-1">https://doi.org/10.1007/978-3-319-45943-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616986
2026-03-25T11:05:45Z
2026-03-25T11:05:45Z
Author Wotawa, Franz. editor. Nica, Mihai. editor. Kushik, Natalia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47443-4">https://doi.org/10.1007/978-3-319-47443-4</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-03-25T11:05:45Z
2026-03-25T11:05:45Z
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/>
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-03-25T11:05:45Z
2026-03-25T11:05:45Z
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/>
Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers
ent://SD_ILS/0/SD_ILS:605799
2026-03-25T11:05:45Z
2026-03-25T11:05:45Z
Author Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-73741-1">https://doi.org/10.1007/978-3-031-73741-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:606244
2026-03-25T11:05:45Z
2026-03-25T11:05:45Z
Author C. Nogueira, Sidney. editor. (orcid)0000-0002-8817-5029 Teodorov, Ciprian. editor. (orcid)0000-0002-0722-5857 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-78116-2">https://doi.org/10.1007/978-3-031-78116-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bridging the Gap Between AI and Reality Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:606755
2026-03-25T11:05:45Z
2026-03-25T11:05:45Z
Author Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-75434-0">https://doi.org/10.1007/978-3-031-75434-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Economics of Grids, Clouds, Systems, and Services 20th International Conference, GECON 2024, Rome, Italy, September 26-27, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:607157
2026-03-25T11:05:45Z
2026-03-25T11:05:45Z
Author Naldi, Maurizio. editor. (orcid)0000-0002-0903-398X Djemame, Karim. editor. (orcid)0000-0001-5811-5263 Altmann, Jörn. editor. (orcid)0000-0002-8880-9546 Bañares, José Ángel. editor. (orcid)0000-0002-4198-8241 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-81226-2">https://doi.org/10.1007/978-3-031-81226-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Parallel and Distributed Computing, Applications and Technologies 25th International Conference, PDCAT 2024, Hong Kong, China, December 13-15, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:607908
2026-03-25T11:05:45Z
2026-03-25T11:05:45Z
Author Li, Yupeng. editor. Zhang, Yong. editor. (orcid)0000-0002-8730-3711 Xu, Jianliang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-4207-6">https://doi.org/10.1007/978-981-96-4207-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:608337
2026-03-25T11:05:45Z
2026-03-25T11:05:45Z
Author Protzenko, Jonathan. editor. (orcid)0000-0001-7347-3050 Raad, Azalea. editor. (orcid)0000-0002-2319-3242 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-86695-1">https://doi.org/10.1007/978-3-031-86695-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
End-User Development 10th International Symposium, IS-EUD 2025, Munich, Germany, June 16-18, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:608910
2026-03-25T11:05:45Z
2026-03-25T11:05:45Z
Author Santoro, Carmen. editor. (orcid)0000-0002-0556-7538 Schmidt, Albrecht. editor. (orcid)0000-0003-3890-1990 Matera, Maristella. editor. (orcid)0000-0003-0552-8624 Bellucci, Andrea. editor. (orcid)0000-0003-4035-5271 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-95452-8">https://doi.org/10.1007/978-3-031-95452-8</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-03-25T11:05:45Z
2026-03-25T11:05:45Z
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/>
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-03-25T11:05:45Z
2026-03-25T11:05:45Z
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-03-25T11:05:45Z
2026-03-25T11:05:45Z
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/>
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-03-25T11:05:45Z
2026-03-25T11:05:45Z
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-03-25T11:05:45Z
2026-03-25T11:05:45Z
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/>
Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:606984
2026-03-25T11:05:45Z
2026-03-25T11:05:45Z
Author Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-82703-7">https://doi.org/10.1007/978-3-031-82703-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:606998
2026-03-25T11:05:45Z
2026-03-25T11:05:45Z
Author Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-82700-6">https://doi.org/10.1007/978-3-031-82700-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Transport Systems 7th EAI International Conference, INTSYS 2023, Molde, Norway, September 6-7, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:602129
2026-03-25T11:05:45Z
2026-03-25T11:05:45Z
Author Martins, Ana Lucia. editor. (orcid)0000-0002-8533-6595 Ferreira, Joao C. editor. Kocian, Alexander. editor. Tokkozhina, Ulpan. editor. Helgheim, Berit Irene. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-49379-9">https://doi.org/10.1007/978-3-031-49379-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:602136
2026-03-25T11:05:45Z
2026-03-25T11:05:45Z
Author Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-46002-9">https://doi.org/10.1007/978-3-031-46002-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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-03-25T11:05:45Z
2026-03-25T11:05:45Z
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-03-25T11:05:45Z
2026-03-25T11:05:45Z
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/>
Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:604456
2026-03-25T11:05:45Z
2026-03-25T11:05:45Z
Author Reynolds, Andrew. editor. Tasiran, Serdar. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-66064-1">https://doi.org/10.1007/978-3-031-66064-1</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 I
ent://SD_ILS/0/SD_ILS:604846
2026-03-25T11:05:45Z
2026-03-25T11:05:45Z
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-69577-3">https://doi.org/10.1007/978-3-031-69577-3</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 III
ent://SD_ILS/0/SD_ILS:604847
2026-03-25T11:05:45Z
2026-03-25T11:05:45Z
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-69583-4">https://doi.org/10.1007/978-3-031-69583-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods: Foundations and Applications 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:602080
2026-03-25T11:05:45Z
2026-03-25T11:05:45Z
Author Barbosa, Haniel. editor. Zohar, Yoni. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-49342-3">https://doi.org/10.1007/978-3-031-49342-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Mobile, Secure, and Programmable Networking 9th International Conference, MSPN 2023, Paris, France, October 26-27, 2023, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:602411
2026-03-25T11:05:45Z
2026-03-25T11:05:45Z
Author Bouzefrane, Samia. editor. (orcid)0000-0002-0979-1289 Banerjee, Soumya. editor. Mourlin, Fabrice. editor. Boumerdassi, Selma. editor. Renault, Éric. editor. (orcid)0000-0003-1011-8347<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-52426-4">https://doi.org/10.1007/978-3-031-52426-4</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-03-25T11:05:45Z
2026-03-25T11:05:45Z
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/>
Euro-Par 2017: Parallel Processing 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613501
2026-03-25T11:05:45Z
2026-03-25T11:05:45Z
Author Rivera, Francisco F. editor. Pena, Tomás F. editor. Cabaleiro, José C. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-64203-1">https://doi.org/10.1007/978-3-319-64203-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Algebra in Scientific Computing 19th International Workshop, CASC 2017, Beijing, China, September 18-22, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:611236
2026-03-25T11:05:45Z
2026-03-25T11:05:45Z
Author Gerdt, Vladimir P. editor. Koepf, Wolfram. editor. Seiler, Werner M. editor. (orcid)0000-0002-0565-1334 Vorozhtsov, Evgenii V. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66320-3">https://doi.org/10.1007/978-3-319-66320-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Eye Tracking Methodology Theory and Practice
ent://SD_ILS/0/SD_ILS:615415
2026-03-25T11:05:45Z
2026-03-25T11:05:45Z
Author Duchowski, Andrew T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-57883-5">https://doi.org/10.1007/978-3-319-57883-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
PRIMA 2017: Principles and Practice of Multi-Agent Systems 20th International Conference, Nice, France, October 30 - November 3, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613145
2026-03-25T11:05:45Z
2026-03-25T11:05:45Z
Author An, Bo. editor. Bazzan, Ana. editor. Leite, João. editor. Villata, Serena. editor. van der Torre, Leendert. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69131-2">https://doi.org/10.1007/978-3-319-69131-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Supercomputing Third Russian Supercomputing Days, RuSCDays 2017, Moscow, Russia, September 25-26, 2017, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613250
2026-03-25T11:05:45Z
2026-03-25T11:05:45Z
Author Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Sobolev, Sergey. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-71255-0">https://doi.org/10.1007/978-3-319-71255-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Euro-Par 2016: Parallel Processing 22nd International Conference on Parallel and Distributed Computing, Grenoble, France, August 24-26, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:617139
2026-03-25T11:05:45Z
2026-03-25T11:05:45Z
Author Dutot, Pierre-François. editor. Trystram, Denis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-43659-3">https://doi.org/10.1007/978-3-319-43659-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
PRIMA 2016: Principles and Practice of Multi-Agent Systems 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613607
2026-03-25T11:05:45Z
2026-03-25T11:05:45Z
Author Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408 Chopra, Amit K. editor. Son, Tran Cao. editor. Hirayama, Katsutoshi. editor. Torroni, Paolo. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-44832-9">https://doi.org/10.1007/978-3-319-44832-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>