Arama Sonu&ccedil;lar&#305; Greece - Daralt&#305;lm&#305;&#351;: Software engineering. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dGreece$0026qf$003dSUBJECT$002509Subject$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300? 2026-07-22T18:39:36Z 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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#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/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#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/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Carro, Luigi. editor.&#160;Regazzoni, Francesco. editor.&#160;Pilato, Christian. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Carro, Luigi. editor.&#160;Regazzoni, Francesco. editor.&#160;Pilato, Christian. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Virvou, Maria. editor.&#160;Tanabe, Yoshinori. editor.&#160;Jain, Lakhmi C. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#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/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#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/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#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/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Gao, Honghao. editor. (orcid)0000-0001-6861-9684&#160;Wang, Xinheng. editor.&#160;Voros, Nikolaos. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Gao, Honghao. editor. (orcid)0000-0001-6861-9684&#160;Wang, Xinheng. editor.&#160;Voros, Nikolaos. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Gao, Honghao. editor. (orcid)0000-0001-6861-9684&#160;Wang, Xinheng. editor.&#160;Voros, Nikolaos. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Tsitouridou, Meni. editor.&#160;A. Diniz, Jos&eacute;. editor.&#160;Mikropoulos, Tassos A. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#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/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#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/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Beyer, Dirk. editor. (orcid)0000-0003-4832-7662&#160;Huisman, Marieke. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Baier, Christel. editor. (orcid)0000-0002-5321-9343&#160;Dal Lago, Ugo. editor. (orcid)0000-0001-9200-070X&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Beyer, Dirk. editor. (orcid)0000-0003-4832-7662&#160;Huisman, Marieke. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Hancke, Gerhard P. editor.&#160;Damiani, Ernesto. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Rusu, Vlad. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#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/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#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/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Stamelos, Ioannis. editor.&#160;O'Connor, Rory V. editor.&#160;Rout, Terry. editor.&#160;Dorling, Alec. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Voros, Nikolaos. editor.&#160;Huebner, Michael. editor.&#160;Keramidas, Georgios. editor.&#160;Goehringer, Diana. editor.&#160;Antonopoulos, Christos. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#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/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#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/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Ba&ntilde;ares, Jos&eacute; &Aacute;ngel. editor.&#160;Tserpes, Konstantinos. editor.&#160;Altmann, J&ouml;rn. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#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/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Lluch Lafuente, Alberto. editor.&#160;Proen&ccedil;a, Jos&eacute;. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Mamatas, Lefteris. editor.&#160;Matta, Ibrahim. editor.&#160;Papadimitriou, Panagiotis. editor.&#160;Koucheryavy, Yevgeni. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Fiems, Dieter. editor.&#160;Paolieri, Marco. editor.&#160;Platis, Agapios N. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Karydis, Ioannis. editor.&#160;Sioutas, Spyros. editor.&#160;Triantafillou, Peter. editor.&#160;Tsoumakos, Dimitrios. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Lamprecht, Anna-Lena. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Albert, Elvira. editor.&#160;Lanese, Ivan. editor. (orcid)0000-0003-2527-9995&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#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/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Rovatsos, Michael. editor.&#160;Vouros, George. editor.&#160;Julian, Vicente. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Jelasity, M&aacute;rk. editor.&#160;Kalyvianaki, Evangelia. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Benatallah, Boualem. editor.&#160;Bestavros, Azer. editor.&#160;Manolopoulos, Yannis. editor.&#160;Vakali, Athena. editor.&#160;Zhang, Yanchun. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Benatallah, Boualem. editor.&#160;Bestavros, Azer. editor.&#160;Manolopoulos, Yannis. editor.&#160;Vakali, Athena. editor.&#160;Zhang, Yanchun. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739&#160;Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Kontchakov, Roman. editor.&#160;Mugnier, Marie-Laure. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#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/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Cerone, Antonio. editor.&#160;Persico, Donatella. editor.&#160;Fernandes, Sara. editor.&#160;Garcia-Perez, Alexeis. editor.&#160;Katsaros, Panagiotis. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Iliadis, Lazaros. editor.&#160;Papazoglou, Michael. editor.&#160;Pohl, Klaus. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Cordeiro, Jos&eacute;. editor.&#160;Virvou, Maria. editor.&#160;Shishkov, Boris. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(333246.1)<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Caragiannis, Ioannis. editor.&#160;Alexander, Michael. editor.&#160;Badia, Rosa Maria. editor.&#160;Cannataro, Mario. editor.&#160;Costan, Alexandru. editor.<br/>Yer Numaras&#305;&#160;ONLINE(334328.1)<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Cavallaro, Lorenzo. editor.&#160;Gollmann, Dieter. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(334616.1)<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Lacroix, Zo&eacute;. editor.&#160;Ruckhaus, Edna. editor.&#160;Vidal, Maria-Esther. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE(335199.1)<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Kaklamanis, Christos. editor.&#160;Papatheodorou, Theodore. editor.&#160;Spirakis, Paul G. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Eleftherakis, George. editor.&#160;Hinchey, Mike. editor.&#160;Holcombe, Mike. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Korakis, Thanasis. editor.&#160;Zink, Michael. editor.&#160;Ott, Maximilian. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Tomkos, Ioannis. editor.&#160;Bouras, Christos J. editor.&#160;Ellinas, Georgios. editor.&#160;Demestichas, Panagiotis. editor.&#160;Sinha, Prasun. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Koucheryavy, Yevgeni. editor.&#160;Mamatas, Lefteris. editor.&#160;Matta, Ibrahim. editor.&#160;Tsaoussidis, Vassilis. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Meersman, Robert. editor.&#160;Dillon, Tharam. editor.&#160;Herrero, Pilar. editor.&#160;Kumar, Akhil. editor.&#160;Reichert, Manfred. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Meersman, Robert. editor.&#160;Dillon, Tharam. editor.&#160;Herrero, Pilar. editor.&#160;Kumar, Akhil. editor.&#160;Reichert, Manfred. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Meersman, Robert. editor.&#160;Dillon, Tharam. editor.&#160;Herrero, Pilar. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Park, James J. editor.&#160;Yang, Laurence T. editor.&#160;Lee, Changhoon. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Park, James J. editor.&#160;Yang, Laurence T. editor.&#160;Lee, Changhoon. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Park, James J. editor.&#160;Lopez, Javier. editor.&#160;Yeo, Sang-Soo. editor.&#160;Shon, Taeshik. editor.&#160;Taniar, David. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Cotronis, Yiannis. editor.&#160;Danalis, Anthony. editor.&#160;Nikolopoulos, Dimitrios S. editor.&#160;Dongarra, Jack. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Xenakis, Christos. editor.&#160;Wolthusen, Stephen. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Maciaszek, Leszek A. editor.&#160;Loucopoulos, Pericles. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Doulamis, Anastasios. editor.&#160;Mambretti, Joe. editor.&#160;Tomkos, Ioannis. editor.&#160;Varvarigou, Theodora. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#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/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Komninos, Nikos. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Piguet, Christian. editor.&#160;Reis, Ricardo. editor.&#160;Soudris, Dimitrios. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Meersman, Robert. editor.&#160;Dillon, Tharam. editor.&#160;Herrero, Pilar. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Meersman, Robert. editor.&#160;Dillon, Tharam. editor.&#160;Herrero, Pilar. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Meersman, Robert. editor.&#160;Dillon, Tharam. editor.&#160;Herrero, Pilar. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Dolev, Shlomi. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Margaria, Tiziana. editor.&#160;Steffen, Bernhard. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Peled, Doron A. editor.&#160;Wooldridge, Michael J. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Aroyo, Lora. editor.&#160;Traverso, Paolo. editor.&#160;Ciravegna, Fabio. editor.&#160;Cimiano, Philipp. editor.&#160;Heath, Tom. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Albers, Susanne. editor.&#160;Marchetti-Spaccamela, Alberto. editor.&#160;Matias, Yossi. editor.&#160;Nikoletseas, Sotiris. editor.&#160;Thomas, Wolfgang. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Albers, Susanne. editor.&#160;Marchetti-Spaccamela, Alberto. editor.&#160;Matias, Yossi. editor.&#160;Nikoletseas, Sotiris. editor.&#160;Thomas, Wolfgang. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Ria&ntilde;o, David. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Bozapalidis, Symeon. editor.&#160;Rahonis, George. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#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/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Darzentas, John. editor.&#160;Vouros, George A. editor.&#160;Vosinakis, Spyros. editor.&#160;Arnellos, Argyris. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#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/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Bozapalidis, Symeon. editor.&#160;Rahonis, George. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Obermaisser, Roman. editor.&#160;Nah, Yunmook. editor.&#160;Puschner, Peter. editor.&#160;Rammig, Franz J. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#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;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Guelfi, Nicolas. editor.&#160;Savidis, Anthony. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11751113">http://dx.doi.org/10.1007/11751113</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Katsikas, Sokratis K. editor.&#160;L&oacute;pez, Javier. editor.&#160;Backes, Michael. editor.&#160;Gritzalis, Stefanos. editor.&#160;Preneel, Bart. editor.<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11836810">http://dx.doi.org/10.1007/11836810</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;G&oacute;mez-P&eacute;rez, Asunci&oacute;n. editor.&#160;Euzenat, J&eacute;r&ocirc;me. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/b136731">http://dx.doi.org/10.1007/b136731</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Steffen, Martin. editor.&#160;Zavattaro, Gianluigi. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/b136996">http://dx.doi.org/10.1007/b136996</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Kutvonen, Lea. editor.&#160;Alonistioti, Nancy. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/b137217">http://dx.doi.org/10.1007/b137217</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Braun, Torsten. editor.&#160;Carle, Georg. editor.&#160;Koucheryavy, Yevgeni. editor.&#160;Tsaoussidis, Vassilis. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/b136247">http://dx.doi.org/10.1007/b136247</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~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-22T18:39:36Z 2026-07-22T18:39:36Z Yazar&#160;Bozanis, Panayiotis. editor.&#160;Houstis, Elias N. editor.&#160;SpringerLink (Online service)<br/>Yer Numaras&#305;&#160;ONLINE<br/>Elektronik Eri&#351;im&#160;<a href="http://dx.doi.org/10.1007/11573036">http://dx.doi.org/10.1007/11573036</a><br/>Format:&#160;Elektrnik Kaynak<br/>Durum&#160;&Ccedil;evrimi&ccedil;i K&uuml;t&uuml;phane~1<br/>