Search Results for Greece - Narrowed by: Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dGreece$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300? 2026-07-22T12:31:09Z 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-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Virtual Reality and Mixed Reality 21st EuroXR International Conference, EuroXR 2024, Athens, Greece, November 27-29, 2024, Proceedings ent://SD_ILS/0/SD_ILS:606206 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Reyes-Lecuona, Arcadio. editor.&#160;Zachmann, Gabriel. editor. (orcid)0000-0001-8155-1127&#160;Bordegoni, Monica. editor. (orcid)0000-0001-9378-8295&#160;Chen, Jian. editor.&#160;Karaseitanidis, Giannis. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-78593-1">https://doi.org/10.1007/978-3-031-78593-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part I ent://SD_ILS/0/SD_ILS:607064 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Carro, Luigi. editor.&#160;Regazzoni, Francesco. editor.&#160;Pilato, Christian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-78377-7">https://doi.org/10.1007/978-3-031-78377-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part II ent://SD_ILS/0/SD_ILS:607065 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Carro, Luigi. editor.&#160;Regazzoni, Francesco. editor.&#160;Pilato, Christian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-78380-7">https://doi.org/10.1007/978-3-031-78380-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;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-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Service-Oriented Computing 18th Symposium and Summer School, SummerSOC 2024, Crete, Greece, June 24-29, 2024, Revised Selected Papers ent://SD_ILS/0/SD_ILS:605610 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Aiello, Marco. editor. (orcid)0000-0002-0764-2124&#160;Barzen, Johanna. editor.&#160;Dustdar, Schahram. editor. (orcid)0000-0001-6872-8821&#160;Leymann, Frank. editor. (orcid)0000-0002-9123-259X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-72578-4">https://doi.org/10.1007/978-3-031-72578-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence-Empowered Software Engineering 2024 Proceedings of the 15th International Conference on Artificial Intelligence-Empowered Software Engineering (AIeSE2024, formerly JCKBSE), Piraeus, Greece, August 27-30, 2024 ent://SD_ILS/0/SD_ILS:610268 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Virvou, Maria. editor.&#160;Tanabe, Yoshinori. editor.&#160;Jain, Lakhmi C. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-98410-5">https://doi.org/10.1007/978-3-031-98410-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Management of Digital EcoSystems 15th International Conference, MEDES 2023, Heraklion, Crete, Greece, May 5-7, 2023, Revised Selected Papers ent://SD_ILS/0/SD_ILS:602492 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Chbeir, Richard. editor. (orcid)0000-0003-4112-1426&#160;Benslimane, Djamal. editor.&#160;Zervakis, Michalis. editor.&#160;Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329&#160;Ngyuen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-51643-6">https://doi.org/10.1007/978-3-031-51643-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;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-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<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:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence Applications and Innovations. AIAI 2024 IFIP WG 12.5 International Workshops MHDW 2024, 5G-PINE 2024, and &Alpha;&Iota;4GD 2024, Corfu, Greece, June 27-30, 2024, Proceedings ent://SD_ILS/0/SD_ILS:604016 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X&#160;Iliadis, Lazaros. editor. (orcid)0000-0002-6404-1528&#160;Karydis, Ioannis. editor. (orcid)0000-0002-9470-2729&#160;Papaleonidas, Antonios. editor. (orcid)0000-0002-0545-7638&#160;Chochliouros, Ioannis. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-63227-3">https://doi.org/10.1007/978-3-031-63227-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Applications of Neural Networks 25th International Conference, EANN 2024, Corfu, Greece, June 27-30, 2024, Proceedings ent://SD_ILS/0/SD_ILS:605124 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Iliadis, Lazaros. editor. (orcid)0000-0002-6404-1528&#160;Maglogiannis, Ilias. editor. (orcid)0000-0003-2860-399X&#160;Papaleonidas, Antonios. editor. (orcid)0000-0002-0545-7638&#160;Pimenidis, Elias. editor. (orcid)0000-0003-3593-8640&#160;Jayne, Chrisina. editor. (orcid)0000-0001-7292-2109<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-62495-7">https://doi.org/10.1007/978-3-031-62495-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Collaborative Computing: Networking, Applications and Worksharing 19th EAI International Conference, CollaborateCom 2023, Corfu Island, Greece, October 4-6, 2023, Proceedings, Part I ent://SD_ILS/0/SD_ILS:602654 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Gao, Honghao. editor. (orcid)0000-0001-6861-9684&#160;Wang, Xinheng. editor.&#160;Voros, Nikolaos. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-54521-4">https://doi.org/10.1007/978-3-031-54521-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Collaborative Computing: Networking, Applications and Worksharing 19th EAI International Conference, CollaborateCom 2023, Corfu Island, Greece, October 4-6, 2023, Proceedings, Part II ent://SD_ILS/0/SD_ILS:602655 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Gao, Honghao. editor. (orcid)0000-0001-6861-9684&#160;Wang, Xinheng. editor.&#160;Voros, Nikolaos. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-54528-3">https://doi.org/10.1007/978-3-031-54528-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Collaborative Computing: Networking, Applications and Worksharing 19th EAI International Conference, CollaborateCom 2023, Corfu Island, Greece, October 4-6, 2023, Proceedings, Part III ent://SD_ILS/0/SD_ILS:602656 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Gao, Honghao. editor. (orcid)0000-0001-6861-9684&#160;Wang, Xinheng. editor.&#160;Voros, Nikolaos. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-031-54531-3">https://doi.org/10.1007/978-3-031-54531-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Technology and Innovation in Learning, Teaching and Education First International Conference, TECH-EDU 2018, Thessaloniki, Greece, June 20&ndash;22, 2018, Revised Selected Papers ent://SD_ILS/0/SD_ILS:486632 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Tsitouridou, Meni. editor.&#160;A. Diniz, Jos&eacute;. editor.&#160;Mikropoulos, Tassos A. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-20954-4">https://doi.org/10.1007/978-3-030-20954-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model-Based Safety and Assessment 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16&ndash;18, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486230 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Papadopoulos, Yiannis. editor. (orcid)0000-0001-7007-5153&#160;Aslansefat, Koorosh. editor. (orcid)0000-0001-9318-8177&#160;Katsaros, Panagiotis. editor.&#160;Bozzano, Marco. editor. (orcid)0000-0002-4135-103X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-32872-6">https://doi.org/10.1007/978-3-030-32872-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399812 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Rusu, Vlad. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-99840-4">https://doi.org/10.1007/978-3-319-99840-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I ent://SD_ILS/0/SD_ILS:400605 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Beyer, Dirk. editor. (orcid)0000-0003-4832-7662&#160;Huisman, Marieke. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-89960-2">https://doi.org/10.1007/978-3-319-89960-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Software Science and Computation Structures 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14&ndash;20, 2018. Proceedings ent://SD_ILS/0/SD_ILS:400607 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Baier, Christel. editor. (orcid)0000-0002-5321-9343&#160;Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-89366-2">https://doi.org/10.1007/978-3-319-89366-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Tools and Algorithms for the Construction and Analysis of Systems 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II ent://SD_ILS/0/SD_ILS:400641 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Beyer, Dirk. editor. (orcid)0000-0003-4832-7662&#160;Huisman, Marieke. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-89963-3">https://doi.org/10.1007/978-3-319-89963-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On the Move to Meaningful Internet Systems. OTM 2017 Workshops Confederated International Workshops, EI2N, FBM, ICSP, Meta4eS, OTMA 2017 and ODBASE Posters 2017, Rhodes, Greece, October 23&ndash;28, 2017, Revised Selected Papers ent://SD_ILS/0/SD_ILS:400969 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Debruyne, Christophe. editor.&#160;Panetto, Herv&eacute;. editor. (orcid)0000-0002-5537-2261&#160;Weichhart, Georg. editor.&#160;Bollen, Peter. editor.&#160;Ciuciu, Ioana. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-73805-5">https://doi.org/10.1007/978-3-319-73805-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Open Source Systems: Enterprise Software and Solutions 14th IFIP WG 2.13 International Conference, OSS 2018, Athens, Greece, June 8-10, 2018, Proceedings ent://SD_ILS/0/SD_ILS:399571 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Stamelos, Ioannis. editor.&#160;Gonzalez-Baraho&ntilde;a, Jesus M. editor. (orcid)0000-0001-9682-460X&#160;Varlamis, Iraklis. editor. (orcid)0000-0002-0876-8167&#160;Anagnostopoulos, Dimosthenis. editor. (orcid)0000-0003-0747-4252&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-92375-8">https://doi.org/10.1007/978-3-319-92375-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400129 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Russo, Alessandra. editor. (orcid)0000-0002-3318-8711&#160;Sch&uuml;rr, Andy. editor. (orcid)0000-0001-8100-1109&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-89363-1">https://doi.org/10.1007/978-3-319-89363-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Applied Reconfigurable Computing. Architectures, Tools, and Applications 14th International Symposium, ARC 2018, Santorini, Greece, May 2-4, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400521 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Voros, Nikolaos. editor.&#160;Huebner, Michael. editor.&#160;Keramidas, Georgios. editor.&#160;Goehringer, Diana. editor.&#160;Antonopoulos, Christos. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-78890-6">https://doi.org/10.1007/978-3-319-78890-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security Theory and Practice 11th IFIP WG 11.2 International Conference, WISTP 2017, Heraklion, Crete, Greece, September 28&ndash;29, 2017, Proceedings ent://SD_ILS/0/SD_ILS:402215 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Hancke, Gerhard P. editor.&#160;Damiani, Ernesto. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-93524-9">https://doi.org/10.1007/978-3-319-93524-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Process Improvement and Capability Determination 18th International Conference, SPICE 2018, Thessaloniki, Greece, October 9&ndash;10, 2018, Proceedings ent://SD_ILS/0/SD_ILS:400465 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Stamelos, Ioannis. editor.&#160;O'Connor, Rory V. editor.&#160;Rout, Terry. editor.&#160;Dorling, Alec. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-00623-5">https://doi.org/10.1007/978-3-030-00623-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Economics of Grids, Clouds, Systems, and Services 13th International Conference, GECON 2016, Athens, Greece, September 20-22, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:613493 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Ba&ntilde;ares, Jos&eacute; &Aacute;ngel. editor.&#160;Tserpes, Konstantinos. editor.&#160;Altmann, J&ouml;rn. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-61920-0">https://doi.org/10.1007/978-3-319-61920-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On the Move to Meaningful Internet Systems: OTM 2016 Workshops Confederated International Workshops: EI2N, FBM, ICSP, Meta4eS, and OTMA 2016, Rhodes, Greece, October 24-28, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:612180 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Ciuciu, Ioana. editor.&#160;Debruyne, Christophe. editor.&#160;Panetto, Herv&eacute;. editor. (orcid)0000-0002-5537-2261&#160;Weichhart, Georg. editor.&#160;Bollen, Peter. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-55961-2">https://doi.org/10.1007/978-3-319-55961-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On the Move to Meaningful Internet Systems. OTM 2017 Conferences Confederated International Conferences: CoopIS, C&amp;TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part II ent://SD_ILS/0/SD_ILS:613647 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Panetto, Herv&eacute;. editor. (orcid)0000-0002-5537-2261&#160;Debruyne, Christophe. editor.&#160;Gaaloul, Walid. editor.&#160;Papazoglou, Mike. editor.&#160;Paschke, Adrian. editor. (orcid)0000-0003-3156-9040<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-69459-7">https://doi.org/10.1007/978-3-319-69459-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On the Move to Meaningful Internet Systems. OTM 2017 Conferences Confederated International Conferences: CoopIS, C&amp;TC, and ODBASE 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part I ent://SD_ILS/0/SD_ILS:618259 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Panetto, Herv&eacute;. editor. (orcid)0000-0002-5537-2261&#160;Debruyne, Christophe. editor.&#160;Gaaloul, Walid. editor. (orcid)0000-0003-0451-532X&#160;Papazoglou, Mike. editor.&#160;Paschke, Adrian. editor. (orcid)0000-0003-3156-9040<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-69462-7">https://doi.org/10.1007/978-3-319-69462-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification, and Validation 6th International Symposium, ISoLA 2014, Corfu, Greece, October 8-11, 2014, and 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:616357 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Lamprecht, Anna-Lena. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-51641-7">https://doi.org/10.1007/978-3-319-51641-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Applications and Interoperable Systems 16th IFIP WG 6.1 International Conference, DAIS 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings ent://SD_ILS/0/SD_ILS:617942 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Jelasity, M&aacute;rk. editor.&#160;Kalyvianaki, Evangelia. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-39577-7">https://doi.org/10.1007/978-3-319-39577-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On the Move to Meaningful Internet Systems: OTM 2016 Conferences Confederated International Conferences: CoopIS, C&amp;TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611517 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Debruyne, Christophe. editor.&#160;Panetto, Herv&eacute;. editor. (orcid)0000-0002-5537-2261&#160;Meersman, Robert. editor.&#160;Dillon, Tharam. editor.&#160;K&uuml;hn, eva. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-48472-3">https://doi.org/10.1007/978-3-319-48472-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wired/Wireless Internet Communications 14th IFIP WG 6.2 International Conference, WWIC 2016, Thessaloniki, Greece, May 25-27, 2016, Proceedings ent://SD_ILS/0/SD_ILS:612039 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Mamatas, Lefteris. editor.&#160;Matta, Ibrahim. editor.&#160;Papadimitriou, Panagiotis. editor.&#160;Koucheryavy, Yevgeni. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-33936-8">https://doi.org/10.1007/978-3-319-33936-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings ent://SD_ILS/0/SD_ILS:610942 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Albert, Elvira. editor.&#160;Lanese, Ivan. editor. (orcid)0000-0003-2527-9995&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-39570-8">https://doi.org/10.1007/978-3-319-39570-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings ent://SD_ILS/0/SD_ILS:611718 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Lluch Lafuente, Alberto. editor.&#160;Proen&ccedil;a, Jos&eacute;. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-39519-7">https://doi.org/10.1007/978-3-319-39519-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Multi-Agent Systems and Agreement Technologies 13th European Conference, EUMAS 2015, and Third International Conference, AT 2015, Athens, Greece, December 17-18, 2015, Revised Selected Papers ent://SD_ILS/0/SD_ILS:612972 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Rovatsos, Michael. editor.&#160;Vouros, George. editor.&#160;Julian, Vicente. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-33509-4">https://doi.org/10.1007/978-3-319-33509-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers ent://SD_ILS/0/SD_ILS:616153 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Karydis, Ioannis. editor.&#160;Sioutas, Spyros. editor.&#160;Triantafillou, Peter. editor.&#160;Tsoumakos, Dimitrios. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-29919-8">https://doi.org/10.1007/978-3-319-29919-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Computer Performance Engineering 13th European Workshop, EPEW 2016, Chios, Greece, October 5-7, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616231 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Fiems, Dieter. editor.&#160;Paolieri, Marco. editor.&#160;Platis, Agapios N. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-46433-6">https://doi.org/10.1007/978-3-319-46433-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II ent://SD_ILS/0/SD_ILS:613592 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-47169-3">https://doi.org/10.1007/978-3-319-47169-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part I ent://SD_ILS/0/SD_ILS:616739 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-47166-2">https://doi.org/10.1007/978-3-319-47166-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Technology and Open Source: Applications for Education, Innovation, and Sustainability SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece, October 1&ndash;2, 2012 Revised Selected Papers ent://SD_ILS/0/SD_ILS:486932 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Cerone, Antonio. editor.&#160;Persico, Donatella. editor.&#160;Fernandes, Sara. editor.&#160;Garcia-Perez, Alexeis. editor.&#160;Katsaros, Panagiotis. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-642-54338-8">https://doi.org/10.1007/978-3-642-54338-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I ent://SD_ILS/0/SD_ILS:487246 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45234-9">https://doi.org/10.1007/978-3-662-45234-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Information Systems Engineering -- WISE 2014 15th International Conference, Thessaloniki, Greece, October 12-14, 2014, Proceedings, Part II ent://SD_ILS/0/SD_ILS:487711 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Benatallah, Boualem. editor.&#160;Bestavros, Azer. editor.&#160;Manolopoulos, Yannis. editor.&#160;Vakali, Athena. editor.&#160;Zhang, Yanchun. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11746-1">https://doi.org/10.1007/978-3-319-11746-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II ent://SD_ILS/0/SD_ILS:488980 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-45231-8">https://doi.org/10.1007/978-3-662-45231-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Information Systems Engineering -- WISE 2014 15th International Conference, Thessaloniki, Greece, October 12-14, 2014, Proceedings, Part I ent://SD_ILS/0/SD_ILS:488981 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Benatallah, Boualem. editor.&#160;Bestavros, Azer. editor.&#160;Manolopoulos, Yannis. editor.&#160;Vakali, Athena. editor.&#160;Zhang, Yanchun. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11749-2">https://doi.org/10.1007/978-3-319-11749-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Web Reasoning and Rule Systems 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings ent://SD_ILS/0/SD_ILS:489078 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Kontchakov, Roman. editor.&#160;Mugnier, Marie-Laure. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-11113-1">https://doi.org/10.1007/978-3-319-11113-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Information Systems Engineering 26th International Conference, CAiSE 2014, Thessaloniki, Greece, June 16-20, 2014, Proceedings ent://SD_ILS/0/SD_ILS:489116 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Jarke, Matthias. editor.&#160;Mylopoulos, John. editor. (orcid)0000-0002-8698-3292&#160;Quix, Christoph. editor.&#160;Rolland, Colette. editor.&#160;Manolopoulos, Yannis. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07881-6">https://doi.org/10.1007/978-3-319-07881-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advanced Information Systems Engineering Workshops CAiSE 2014 International Workshops, Thessaloniki, Greece, June 16-20, 2014, Proceedings ent://SD_ILS/0/SD_ILS:488707 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Iliadis, Lazaros. editor.&#160;Papazoglou, Michael. editor.&#160;Pohl, Klaus. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-07869-4">https://doi.org/10.1007/978-3-319-07869-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software and Data Technologies 5th International Conference, ICSOFT 2010, Athens, Greece, July 22-24, 2010. Revised Selected Papers ent://SD_ILS/0/SD_ILS:333246 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Cordeiro, Jos&eacute;. editor.&#160;Virvou, Maria. editor.&#160;Shishkov, Boris. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(333246.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-29578-2">http://dx.doi.org/10.1007/978-3-642-29578-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security Theory and Practice. Security of Mobile and Cyber-Physical Systems 7th IFIP WG 11.2 International Workshop, WISTP 2013, Heraklion, Greece, May 28-30, 2013. Proceedings ent://SD_ILS/0/SD_ILS:334616 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Cavallaro, Lorenzo. editor.&#160;Gollmann, Dieter. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(334616.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-38530-8">http://dx.doi.org/10.1007/978-3-642-38530-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Resource Discovery 5th International Workshop, RED 2012, Co-located with the 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Greece, May 27, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:335199 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Lacroix, Zo&eacute;. editor.&#160;Ruckhaus, Edna. editor.&#160;Vidal, Maria-Esther. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE(335199.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-45263-5">http://dx.doi.org/10.1007/978-3-642-45263-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2012: Parallel Processing Workshops BDMC, CGWS, HeteroPar, HiBB, OMHI, Paraphrase, PROPER, Resilience, UCHPC, VHPC, Rhodes Islands, Greece, August 27-31, 2012. Revised Selected Papers ent://SD_ILS/0/SD_ILS:334328 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Caragiannis, Ioannis. editor.&#160;Alexander, Michael. editor.&#160;Badia, Rosa Maria. editor.&#160;Cannataro, Mario. editor.&#160;Costan, Alexandru. editor.<br/>Preferred Shelf Number&#160;ONLINE(334328.1)<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-36949-0">http://dx.doi.org/10.1007/978-3-642-36949-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Euro-Par 2012 Parallel Processing 18th International Conference, Euro-Par 2012, Rhodes Island, Greece, August 27-31, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197282 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Kaklamanis, Christos. editor.&#160;Papatheodorou, Theodore. editor.&#160;Spirakis, Paul G. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-32820-6">http://dx.doi.org/10.1007/978-3-642-32820-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Engineering and Formal Methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings ent://SD_ILS/0/SD_ILS:197437 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Eleftherakis, George. editor.&#160;Hinchey, Mike. editor.&#160;Holcombe, Mike. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-33826-7">http://dx.doi.org/10.1007/978-3-642-33826-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Testbeds and Research Infrastructure. Development of Networks and Communities 8th International ICST Conference, TridentCom 2012, Thessanoliki, Greece, June 11-13, 2012, Revised Selected Papers ent://SD_ILS/0/SD_ILS:197617 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Korakis, Thanasis. editor.&#160;Zink, Michael. editor.&#160;Ott, Maximilian. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-35576-9">http://dx.doi.org/10.1007/978-3-642-35576-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wired/Wireless Internet Communication 10th International Conference, WWIC 2012, Santorini, Greece, June 6-8, 2012. Proceedings ent://SD_ILS/0/SD_ILS:196931 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Koucheryavy, Yevgeni. editor.&#160;Mamatas, Lefteris. editor.&#160;Matta, Ibrahim. editor.&#160;Tsaoussidis, Vassilis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30630-3">http://dx.doi.org/10.1007/978-3-642-30630-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I ent://SD_ILS/0/SD_ILS:197459 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34026-0">http://dx.doi.org/10.1007/978-3-642-34026-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II ent://SD_ILS/0/SD_ILS:197460 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-34032-1">http://dx.doi.org/10.1007/978-3-642-34032-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Broadband Communications, Networks, and Systems 7th International ICST Conference, BROADNETS 2010, Athens, Greece, October 25&ndash;27, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:196870 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Tomkos, Ioannis. editor.&#160;Bouras, Christos J. editor.&#160;Ellinas, Georgios. editor.&#160;Demestichas, Panagiotis. editor.&#160;Sinha, Prasun. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-30376-0">http://dx.doi.org/10.1007/978-3-642-30376-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On the Move to Meaningful Internet Systems: OTM 2011 Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011, Proceedings, Part II ent://SD_ILS/0/SD_ILS:195845 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Meersman, Robert. editor.&#160;Dillon, Tharam. editor.&#160;Herrero, Pilar. editor.&#160;Kumar, Akhil. editor.&#160;Reichert, Manfred. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25106-1">http://dx.doi.org/10.1007/978-3-642-25106-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On the Move to Meaningful Internet Systems: OTM 2011 Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2011, Hersonissos, Crete, Greece, October 17-21, 2011, Proceedings, Part I ent://SD_ILS/0/SD_ILS:195846 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Meersman, Robert. editor.&#160;Dillon, Tharam. editor.&#160;Herrero, Pilar. editor.&#160;Kumar, Akhil. editor.&#160;Reichert, Manfred. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25109-2">http://dx.doi.org/10.1007/978-3-642-25109-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On the Move to Meaningful Internet Systems: OTM 2011 Workshops Confederated International Workshops and Posters: EI2N+NSF ICE, ICSP+INBAST, ISDE, ORM, OTMA, SWWS+MONET+SeDeS, and VADER 2011, Hersonissos, Crete, Greece, October 17-21, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195852 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Meersman, Robert. editor.&#160;Dillon, Tharam. editor.&#160;Herrero, Pilar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-25126-9">http://dx.doi.org/10.1007/978-3-642-25126-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Critical Information Infrastructures Security 5th International Workshop, CRITIS 2010, Athens, Greece, September 23-24, 2010. Revised Papers ent://SD_ILS/0/SD_ILS:194786 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Xenakis, Christos. editor.&#160;Wolthusen, Stephen. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-21694-7">http://dx.doi.org/10.1007/978-3-642-21694-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Future Information Technology 6th International Conference, FutureTech 2011, Loutraki, Greece, June 28-30, 2011, Proceedings, Part II ent://SD_ILS/0/SD_ILS:194983 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Park, James J. editor.&#160;Yang, Laurence T. editor.&#160;Lee, Changhoon. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22309-9">http://dx.doi.org/10.1007/978-3-642-22309-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Future Information Technology 6th International Conference, FutureTech 2011, Loutraki, Greece, June 28-30, 2011, Proceedings, Part I ent://SD_ILS/0/SD_ILS:194991 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Park, James J. editor.&#160;Yang, Laurence T. editor.&#160;Lee, Changhoon. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22333-4">http://dx.doi.org/10.1007/978-3-642-22333-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Secure and Trust Computing, Data Management and Applications 8th FIRA International Conference, STA 2011, Loutraki, Greece, June 28-30, 2011. Proceedings ent://SD_ILS/0/SD_ILS:194993 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Park, James J. editor.&#160;Lopez, Javier. editor.&#160;Yeo, Sang-Soo. editor.&#160;Shon, Taeshik. editor.&#160;Taniar, David. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-22339-6">http://dx.doi.org/10.1007/978-3-642-22339-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Evaluation of Novel Approaches to Software Engineering 5th International Conference, ENASE 2010, Athens, Greece, July 22-24, 2010, Revised Selected Papers ent://SD_ILS/0/SD_ILS:195331 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Maciaszek, Leszek A. editor.&#160;Loucopoulos, Pericles. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-23391-3">http://dx.doi.org/10.1007/978-3-642-23391-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Recent Advances in the Message Passing Interface 18th European MPI Users&rsquo; Group Meeting, EuroMPI 2011, Santorini, Greece, September 18-21, 2011. Proceedings ent://SD_ILS/0/SD_ILS:195641 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Cotronis, Yiannis. editor.&#160;Danalis, Anthony. editor.&#160;Nikolopoulos, Dimitrios S. editor.&#160;Dongarra, Jack. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-24449-0">http://dx.doi.org/10.1007/978-3-642-24449-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Networks for Grid Applications Third International ICST Conference, GridNets 2009, Athens, Greece, September 8-9, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191784 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Doulamis, Anastasios. editor.&#160;Mambretti, Joe. editor.&#160;Tomkos, Ioannis. editor.&#160;Varvarigou, Theodora. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11733-6">http://dx.doi.org/10.1007/978-3-642-11733-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Mobile Networks and Management First International Conference, MONAMI 2009, Athens, Greece, October 13-14, 2009. Revised Selected Papers ent://SD_ILS/0/SD_ILS:191807 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Pentikousis, Kostas. editor.&#160;Blume, Oliver. editor.&#160;Ag&uuml;ero Calvo, Ram&oacute;n. editor.&#160;Papavassiliou, Symeon. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11817-3">http://dx.doi.org/10.1007/978-3-642-11817-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Sensor Applications, Experimentation, and Logistics First International Conference, SENSAPPEAL 2009, Athens, Greece, September 25, 2009, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191824 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Komninos, Nikos. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-11870-8">http://dx.doi.org/10.1007/978-3-642-11870-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> VLSI-SoC: Design Methodologies for SoC and SiP 16th IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2008, Rhodes Island, Greece, October 13-15, 2008, Revised Selected Papers ent://SD_ILS/0/SD_ILS:191941 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Piguet, Christian. editor.&#160;Reis, Ricardo. editor.&#160;Soudris, Dimitrios. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-12267-5">http://dx.doi.org/10.1007/978-3-642-12267-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I ent://SD_ILS/0/SD_ILS:193335 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16558-0">http://dx.doi.org/10.1007/978-3-642-16558-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II ent://SD_ILS/0/SD_ILS:193336 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16561-0">http://dx.doi.org/10.1007/978-3-642-16561-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On the Move to Meaningful Internet Systems: OTM 2010 Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part I ent://SD_ILS/0/SD_ILS:193466 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Meersman, Robert. editor.&#160;Dillon, Tharam. editor.&#160;Herrero, Pilar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16934-2">http://dx.doi.org/10.1007/978-3-642-16934-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On the Move to Meaningful Internet Systems, OTM 2010 Confederated International Conferences: CoopIS, IS, DOA and ODBASE, Hersonissos, Crete, Greece, October 25-29, 2010, Proceedings, Part II ent://SD_ILS/0/SD_ILS:193472 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Meersman, Robert. editor.&#160;Dillon, Tharam. editor.&#160;Herrero, Pilar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16949-6">http://dx.doi.org/10.1007/978-3-642-16949-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> On the Move to Meaningful Internet Systems: OTM 2010 Workshops Confederated International Workshops and Posters: International Workshops: AVYTAT, ADI, DATAVIEW, EI2N, ISDE, MONET, OnToContent, ORM, P2P-CDVE, SeDeS, SWWS and OTMA. Hersonissos, Crete, Greece, October 25-29, 2010. Proceedings ent://SD_ILS/0/SD_ILS:193476 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Meersman, Robert. editor.&#160;Dillon, Tharam. editor.&#160;Herrero, Pilar. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-16961-8">http://dx.doi.org/10.1007/978-3-642-16961-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic Informatics Third International Conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009, Proceedings ent://SD_ILS/0/SD_ILS:190663 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Bozapalidis, Symeon. editor.&#160;Rahonis, George. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03564-7">http://dx.doi.org/10.1007/978-3-642-03564-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Aspects of Wireless Sensor Networks 5th International Workshop, ALGOSENSORS 2009, Rhodes, Greece, July 10-11, 2009. Revised Selected Papers ent://SD_ILS/0/SD_ILS:191269 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Dolev, Shlomi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-05434-1">http://dx.doi.org/10.1007/978-3-642-05434-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings ent://SD_ILS/0/SD_ILS:189067 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-88479-8">http://dx.doi.org/10.1007/978-3-540-88479-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Model Checking and Artificial Intelligence 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:189683 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Peled, Doron A. editor.&#160;Wooldridge, Michael J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-00431-5">http://dx.doi.org/10.1007/978-3-642-00431-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Semantic Web: Research and Applications 6th European Semantic Web Conference, ESWC 2009 Heraklion, Crete, Greece, May 31&ndash;June 4, 2009 Proceedings ent://SD_ILS/0/SD_ILS:190223 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Aroyo, Lora. editor.&#160;Traverso, Paolo. editor.&#160;Ciravegna, Fabio. editor.&#160;Cimiano, Philipp. editor.&#160;Heath, Tom. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02121-3">http://dx.doi.org/10.1007/978-3-642-02121-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages and Programming 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I ent://SD_ILS/0/SD_ILS:190463 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Albers, Susanne. editor.&#160;Marchetti-Spaccamela, Alberto. editor.&#160;Matias, Yossi. editor.&#160;Nikoletseas, Sotiris. editor.&#160;Thomas, Wolfgang. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02927-1">http://dx.doi.org/10.1007/978-3-642-02927-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Automata, Languages and Programming 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II ent://SD_ILS/0/SD_ILS:190464 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Albers, Susanne. editor.&#160;Marchetti-Spaccamela, Alberto. editor.&#160;Matias, Yossi. editor.&#160;Nikoletseas, Sotiris. editor.&#160;Thomas, Wolfgang. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-02930-1">http://dx.doi.org/10.1007/978-3-642-02930-1</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Knowledge Management for Health Care Procedures ECAI 2008 Workshop, K4HelP 2008, Patras, Greece, July 21, 2008, Revised Selected Papers ent://SD_ILS/0/SD_ILS:190569 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Ria&ntilde;o, David. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-642-03262-2">http://dx.doi.org/10.1007/978-3-642-03262-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Engineering Societies in the Agents World VIII 8th International Workshop, ESAW 2007, Athens, Greece, October 22-24, 2007, Revised Selected Papers ent://SD_ILS/0/SD_ILS:188887 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Artikis, Alexander. editor.&#160;O&rsquo;Hare, Gregory M. P. editor.&#160;Stathis, Kostas. editor.&#160;Vouros, George. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-87654-0">http://dx.doi.org/10.1007/978-3-540-87654-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Artificial Intelligence: Theories, Models and Applications 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008. Proceedings ent://SD_ILS/0/SD_ILS:188932 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Darzentas, John. editor.&#160;Vouros, George A. editor.&#160;Vosinakis, Spyros. editor.&#160;Arnellos, Argyris. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-87881-0">http://dx.doi.org/10.1007/978-3-540-87881-0</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Optical Network Design and Modeling 11th International IFIP TC6 Conference, ONDM 2007, Athens, Greece, May 29-31, 2007. Proceedings ent://SD_ILS/0/SD_ILS:186637 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Tomkos, Ioannis. editor.&#160;Neri, Fabio. editor.&#160;Sol&eacute; Pareta, Josep. editor.&#160;Masip Bruin, Xavier. editor.&#160;S&aacute;nchez Lopez, Sergi. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-72731-6">http://dx.doi.org/10.1007/978-3-540-72731-6</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Software Technologies for Embedded and Ubiquitous Systems 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers ent://SD_ILS/0/SD_ILS:187470 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Obermaisser, Roman. editor.&#160;Nah, Yunmook. editor.&#160;Puschner, Peter. editor.&#160;Rammig, Franz J. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-75664-4">http://dx.doi.org/10.1007/978-3-540-75664-4</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algebraic Informatics Second International Conference, CAI 2007, Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited Papers ent://SD_ILS/0/SD_ILS:187411 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Bozapalidis, Symeon. editor.&#160;Rahonis, George. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/978-3-540-75414-5">http://dx.doi.org/10.1007/978-3-540-75414-5</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Information Security 9th International Conference, ISC 2006, Samos Island, Greece, August 30 - September 2, 2006. Proceedings ent://SD_ILS/0/SD_ILS:184677 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Katsikas, Sokratis K. editor.&#160;L&oacute;pez, Javier. editor.&#160;Backes, Michael. editor.&#160;Gritzalis, Stefanos. editor.&#160;Preneel, Bart. editor.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11836810">http://dx.doi.org/10.1007/11836810</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Rapid Integration of Software Engineering Techniques Second International Workshop, RISE 2005, Heraklion, Crete, Greece, September 8-9, 2005, Revised Selected Papers ent://SD_ILS/0/SD_ILS:183925 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Guelfi, Nicolas. editor.&#160;Savidis, Anthony. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11751113">http://dx.doi.org/10.1007/11751113</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> The Semantic Web: Research and Applications Second European Semantic Web Conference, ESWC 2005, Heraklion, Crete, Greece, May 29&ndash;June 1, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182726 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;G&oacute;mez-P&eacute;rez, Asunci&oacute;n. editor.&#160;Euzenat, J&eacute;r&ocirc;me. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b136731">http://dx.doi.org/10.1007/b136731</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Formal Methods for Open Object-Based Distributed Systems 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182735 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Steffen, Martin. editor.&#160;Zavattaro, Gianluigi. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b136996">http://dx.doi.org/10.1007/b136996</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Distributed Applications and Interoperable Systems 5th IFIP WG 6.1 International Conference, DAIS 2005, Athens, Greece, June 15-17, 2005. Proceedings ent://SD_ILS/0/SD_ILS:182754 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Kutvonen, Lea. editor.&#160;Alonistioti, Nancy. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b137217">http://dx.doi.org/10.1007/b137217</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Wired/Wireless Internet Communications Third International Conference, WWIC 2005, Xanthi, Greece, May 11-13, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183166 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Braun, Torsten. editor.&#160;Carle, Georg. editor.&#160;Koucheryavy, Yevgeni. editor.&#160;Tsaoussidis, Vassilis. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/b136247">http://dx.doi.org/10.1007/b136247</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Advances in Informatics 10th Panhellenic Conference on Informatics, PCI 2005, Volas, Greece, November 11-13, 2005. Proceedings ent://SD_ILS/0/SD_ILS:183154 2026-07-22T12:31:09Z 2026-07-22T12:31:09Z Author&#160;Bozanis, Panayiotis. editor.&#160;Houstis, Elias N. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://dx.doi.org/10.1007/11573036">http://dx.doi.org/10.1007/11573036</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>