Arama Sonuçları Greece - Daraltılmış: Computer systems.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dGreece$0026qf$003dSUBJECT$002509Subject$002509Computer$002bsystems.$002509Computer$002bsystems.$0026ic$003dtrue$0026ps$003d300?
2026-07-22T18:45:29Z
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:45:29Z
2026-07-22T18:45:29Z
Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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:45:29Z
2026-07-22T18:45:29Z
Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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:45:29Z
2026-07-22T18:45:29Z
Yazar Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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:45:29Z
2026-07-22T18:45:29Z
Yazar Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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:45:29Z
2026-07-22T18:45:29Z
Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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:45:29Z
2026-07-22T18:45:29Z
Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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:45:29Z
2026-07-22T18:45:29Z
Yazar Carro, Luigi. editor. Regazzoni, Francesco. editor. Pilato, Christian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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:45:29Z
2026-07-22T18:45:29Z
Yazar Carro, Luigi. editor. Regazzoni, Francesco. editor. Pilato, Christian. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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:45:29Z
2026-07-22T18:45:29Z
Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Performance Evaluation Methodologies and Tools 16th EAI International Conference, VALUETOOLS 2023, Crete, Greece, September 6-7, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:602248
2026-07-22T18:45:29Z
2026-07-22T18:45:29Z
Yazar Kalyvianaki, Evangelia. editor. Paolieri, Marco. editor. (orcid)0000-0001-5110-203X SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-48885-6">https://doi.org/10.1007/978-3-031-48885-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>
Wireless Internet 16th EAI International Conference, WiCON 2023, Athens, Greece, December 15-16, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:603597
2026-07-22T18:45:29Z
2026-07-22T18:45:29Z
Yazar Maglaras, Leandros A. editor. (orcid)0000-0001-5360-9782 Douligeris, Christos. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <a href="https://doi.org/10.1007/978-3-031-58053-6">https://doi.org/10.1007/978-3-031-58053-6</a><br/>Format: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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:45:29Z
2026-07-22T18:45:29Z
Yazar Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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:45:29Z
2026-07-22T18:45:29Z
Yazar Chbeir, Richard. editor. (orcid)0000-0003-4112-1426 Benslimane, Djamal. editor. Zervakis, Michalis. editor. Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Ngyuen, Ngoc Thanh. editor. (orcid)0000-0002-3247-2948<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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:45:29Z
2026-07-22T18:45:29Z
Yazar Gao, Honghao. editor. (orcid)0000-0001-6861-9684 Wang, Xinheng. editor. Voros, Nikolaos. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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:45:29Z
2026-07-22T18:45:29Z
Yazar Gao, Honghao. editor. (orcid)0000-0001-6861-9684 Wang, Xinheng. editor. Voros, Nikolaos. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütü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:45:29Z
2026-07-22T18:45:29Z
Yazar Gao, Honghao. editor. (orcid)0000-0001-6861-9684 Wang, Xinheng. editor. Voros, Nikolaos. editor. SpringerLink (Online service)<br/>Yer Numarası ONLINE<br/>Elektronik Erişim <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: Elektrnik Kaynak<br/>Durum Çevrimiçi Kütüphane~1<br/>