Arama Sonuçları -- TUTUMLARI. - Daraltılmış: Software engineering.

EMBEDDED SOFTWARE DEVELOPMENT FOR SAFETY-CRITICAL SYSTEMS

2026-03-15T15:43:04Z

Yazar Hobbs, Chris (Christopher W.)
Yer Numarası QA76.76 .D47
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003598145 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Strategic software quality management : how to incorporate sustainable continuous improvement practices

2026-03-15T15:43:04Z

Yazar Fidanboy, Mahsa, author. Fidanboy, Cemalettin Öcal, author.
Yer Numarası QA76.76 .Q35
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003491606 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 3

2026-03-15T15:43:04Z

Yazar Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-96380-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Metamodeling for Extended Reality

2026-03-15T15:43:04Z

Yazar Muff, Fabian. author. (orcid)0000-0002-7283-6603 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-76762-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part II

2026-03-15T15:43:04Z

Yazar Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-78750-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Research Challenges in Information Science 19th International Conference, RCIS 2025, Seville, Spain, May 20-23, 2025, Proceedings, Part II

2026-03-15T15:43:04Z

Yazar Grabis, Jānis. editor. (orcid)0000-0003-2196-0214 Vos, Tanja E. J. editor. (orcid)0000-0002-6003-9113 Escalona, Maria José. editor. (orcid)0000-0002-6435-1497 Pastor, Oscar. editor. (orcid)0000-0002-1320-8471 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-92471-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Research Challenges in Information Science 19th International Conference, RCIS 2025, Seville, Spain, May 20-23, 2025, Proceedings, Part I

2026-03-15T15:43:04Z

Yazar Grabis, Jānis. editor. (orcid)0000-0003-2196-0214 Vos, Tanja E. J. editor. (orcid)0000-0002-6003-9113 Escalona, Maria José. editor. (orcid)0000-0002-6435-1497 Pastor, Oscar. editor. (orcid)0000-0002-1320-8471 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-92474-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Broadband Communications, Networks, and Systems 14th EAI International Conference, BROADNETS 2024, Hyderabad, India, February 16-17, 2024, Proceedings, Part I

2026-03-15T15:43:04Z

Yazar Cheng, Xiaochun. editor. (orcid)0000-0003-0371-9646 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-81168-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part V

2026-03-15T15:43:04Z

Yazar Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0777-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analysis and Design of Next-Generation Software Architectures Generative AI, Cybersecurity, and Cloud Computing

2026-03-15T15:43:04Z

Yazar Langer, Arthur M. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-76212-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VII

2026-03-15T15:43:04Z

Yazar Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0780-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31-August 2, 2024, Proceedings, Part X

2026-03-15T15:43:04Z

Yazar Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0786-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Menéndez, Héctor D. editor. (orcid)0000-0002-6314-3725 Bello-Orgaz, Gema. editor. (orcid)0000-0003-2826-3286 Barnard, Pepita. editor. (orcid)0000-0003-4518-1207 Bautista, John Robert. editor. (orcid)0000-0002-4892-9543 Farahi, Arya. editor. (orcid)0000-0003-0777-4618
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-80889-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Software Project Management

2026-03-15T15:43:04Z

Yazar O'Regan, Gerard. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-80578-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 18th European Conference, ECSQARU 2025, Hagen, Germany, September 23-26, 2025, Proceedings

2026-03-15T15:43:04Z

Yazar Sauerwald, Kai. editor. (orcid)0000-0002-1551-7016 Thimm, Matthias. editor. (orcid)0000-0002-8157-1053 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-032-05134-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Security and Management and Wireless Networks 23rd International Conference, SAM 2024 and 23rd International Conference, ICWN 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Daimi, Kevin. editor. Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-86637-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Management: Theory and Applications Volume 17

2026-03-15T15:43:04Z

Yazar Lee, Roger. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-82610-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Image Processing, Computer Vision, and Pattern Recognition and Information and Knowledge Engineering 28th International Conference, IPCV 2024, and 23rd International Conference, IKE 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85933-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Videogame Sciences and Arts 14th International Conference, VJ 2024, Leiria, Portugal, December 5-6, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Marto, Anabela. editor. (orcid)0000-0001-6005-288X Prada, Rui. editor. (orcid)0000-0002-5370-1893 Gouveia, Patrícia. editor. (orcid)0000-0002-4351-8999 Espinosa, Ruth Contreras-. editor. (orcid)0000-0002-9699-9087 Gonçalves, Alexandrino. editor. (orcid)0000-0002-5966-3218
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-81713-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part II

2026-03-15T15:43:04Z

Yazar Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-98679-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part I

2026-03-15T15:43:04Z

Yazar Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-98668-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part III

2026-03-15T15:43:04Z

Yazar Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-98682-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Balancing Software Innovation and Regulatory Compliance 17th International Conference on Software Quality, SWQD 2025, Munich, Germany, May 20-22, 2025, Proceedings

2026-03-15T15:43:04Z

Yazar Fischbach, Jannik. editor. (orcid)0000-0002-4361-6118 Ramler, Rudolf. editor. (orcid)0000-0001-9903-6107 Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124 Bergsmann, Johannes. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-89277-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part I

2026-03-15T15:43:04Z

Yazar Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-82949-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part II

2026-03-15T15:43:04Z

Yazar Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-82957-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Management of Digital EcoSystems 16th International Conference, MEDES 2024, Naples, Italy, November 18-20, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Chbeir, Richard. editor. (orcid)0000-0003-4112-1426 Damiani, Ernesto. editor. (orcid)0000-0002-9557-6496 Dustdar, Schahram. editor. (orcid)0000-0001-6872-8821 Manolopoulos, Yannis. editor. (orcid)0000-0003-4026-4329 Masciari, Elio. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-93598-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data Science 20th International Conference, ICDATA 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Stahlbock, Robert. editor. (orcid)0000-0002-0393-4904 Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85856-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computational Intelligence. MICAI 2024 International Workshops HIS 2024, WILE 2024, and CIAPP 2024, Tonantzintla, Mexico, October 21-25, 2024, Proceedings, Part I

2026-03-15T15:43:04Z

Yazar Martínez-Villaseñor, Lourdes. editor. (orcid)0000-0002-9038-7821 Ochoa-Ruiz, Gilberto. editor. (orcid)0000-0002-9896-8727 Montes Rivera, Martin. editor. (orcid)0000-0003-3897-6212 Barrón-Estrada, María Lucía. editor. (orcid)0000-0002-3856-9361 Acosta-Mesa, Héctor Gabriel. editor. (orcid)0000-0002-0935-7642
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-83879-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T15:43:04Z

Yazar Virvou, Maria. editor. Tanabe, Yoshinori. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-98410-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV

2026-03-15T15:43:04Z

Yazar Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97635-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2025 25th International Conference, Istanbul, Turkey, June 30 - July 3, 2025, Proceedings, Part III

2026-03-15T15:43:04Z

Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Karaca, Yeliz. editor. (orcid)0000-0001-8725-6719 Taniar, David. editor. (orcid)0000-0002-8862-3960
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-96962-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2025 25th International Conference, Istanbul, Turkey, June 30 - July 3, 2025, Proceedings, Part I

2026-03-15T15:43:04Z

Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Karaca, Yeliz. editor. (orcid)0000-0001-8725-6719 Taniar, David. editor. (orcid)0000-0002-8862-3960
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97000-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles and Practices of Building Parallel Software Essays Dedicated to Vivek Sarkar on the Occasion of His 64th Birthday

2026-03-15T15:43:04Z

Yazar Barik, Rajkishore. editor. Gupta, Rajiv. editor. Palsberg, Jens. editor. (orcid)0000-0003-4747-365X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97492-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Systems and Advanced Computing Sciences 4th International Conference, ISACS 2023, Taza, Morocco, October 26-27, 2023, Proceedings

2026-03-15T15:43:04Z

Yazar Hagras, Hani. editor. (orcid)0000-0002-2818-5292 Bennani, Younes. editor. (orcid)0000-0003-3667-3357 Nemiche, Mohamed. editor. (orcid)0000-0002-2249-7308 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-93448-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Frontiers of Algorithmics 19th International Joint Conference, IJTCS-FAW 2025, Paris, France, June 30 - July 2, 2025, Proceedings

2026-03-15T15:43:04Z

Yazar Chau, Vincent. editor. (orcid)0000-0002-3362-2063 Dürr, Christoph. editor. (orcid)0000-0001-8103-5333 Li, Minming. editor. (orcid)0000-0002-7370-6237 Lu, Pinyan. editor. (orcid)0009-0005-0569-4122 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-8312-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Informatics 7th International Conference, ICAI 2024, Viña del Mar, Chile, October 24-26, 2024, Proceedings, Part II

2026-03-15T15:43:04Z

Yazar Florez, Hector. editor. (orcid)0000-0002-5339-4459 Astudillo, Hernán. editor. (orcid)0000-0002-6487-5813 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75147-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bridging the Gap Between AI and Reality Second International Conference, AISoLA 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75434-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Internet of Things. 7th IFIPIoT 2024 International IFIP WG 5.5 Workshops GRAAL4IoT 2024, STAND4IoT 2024, Posters, Nice, France, November 6-8, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Rey, Gaëtan. editor. (orcid)0000-0003-4710-0474 Tigli, Jean-Yves. editor. (orcid)0000-0002-0531-6384 Franquet, Erwin. editor. (orcid)0000-0002-7009-1521 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-82065-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Internet of Things 7th IFIP WG 5.5 International Cross-Domain Conference, IFIPIoT 2024, Nice, France, November 6-8, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Rey, Gaëtan. editor. (orcid)0000-0003-4710-0474 Tigli, Jean-Yves. editor. (orcid)0000-0002-0531-6384 Franquet, Erwin. editor. (orcid)0000-0002-7009-1521 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-81900-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T15:43:04Z

Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-73709-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Trustworthy Software Systems 6th International School, SETSS 2024, Chongqing, China, April 14-21, 2024, Tutorial Lectures

2026-03-15T15:43:04Z

Yazar Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140 Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742 Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-4656-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Reconfigurable Computing. Architectures, Tools, and Applications 21st International Symposium, ARC 2025, Seville, Spain, April 9-11, 2025, Proceedings

2026-03-15T15:43:04Z

Yazar Giorgi, Roberto. editor. (orcid)0000-0003-0384-8229 Stojilović, Mirjana. editor. (orcid)0000-0001-5649-5020 Stroobandt, Dirk. editor. (orcid)0000-0002-4477-5313 Brox Jiménez, Piedad. editor. (orcid)0000-0003-1059-5338 Barriga Barros, Ángel. editor. (orcid)0000-0001-6673-6684
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-87995-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Requirements Engineering: Foundation for Software Quality 31st International Working Conference, REFSQ 2025, Barcelona, Spain, April 7-10, 2025, Proceedings

2026-03-15T15:43:04Z

Yazar Hess, Anne. editor. (orcid)0000-0001-7614-5802 Susi, Angelo. editor. (orcid)0000-0002-5026-7462 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-88531-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Advances in the Message Passing Interface 31st European MPI Users' Group Meeting, EuroMPI 2024, Perth, WA, Australia, September 25-27, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Blaas-Schenner, Claudia. editor. Niethammer, Christoph. editor. (orcid)0000-0002-3840-1016 Haas, Tobias. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-73370-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Job Scheduling Strategies for Parallel Processing 27th International Workshop, JSSPP 2024, San Francisco, CA, USA, May 31, 2024, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Klusáček, Dalibor. editor. (orcid)0000-0001-6434-4433 Corbalán, Julita. editor. (orcid)0000-0002-3926-5634 Rodrigo, Gonzalo P. editor. (orcid)0000-0003-3315-8253 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-74430-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Security and Trust Management 20th International Workshop, STM 2024, Bydgoszcz, Poland, September 19-20, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Martinelli, Fabio. editor. (orcid)0000-0002-6721-9395 Rios, Ruben. editor. (orcid)0000-0002-6251-4897 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-76371-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systems Benchmarking For Scientists and Engineers

2026-03-15T15:43:04Z

Yazar Kounev, Samuel. author. Lange, Klaus-Dieter. author. von Kistowski, Jóakim. author. (orcid)0000-0002-3046-5373 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85634-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamentals of Software Engineering 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7-8, 2025, Proceedings

2026-03-15T15:43:04Z

Yazar Hojjat, Hossein. editor. (orcid)0000-0002-4743-8750 Caltais, Georgiana. editor. (orcid)0000-0002-8653-2299 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-87054-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

High Performance Computing. ISC High Performance 2024 International Workshops Hamburg, Germany, May 12-16, 2024, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Weiland, Michèle. editor. (orcid)0000-0003-4713-3073 Neuwirth, Sarah. editor. (orcid)0000-0001-7409-153X Kruse, Carola. editor. (orcid)0000-0002-4142-7356 Weinzierl, Tobias. editor. (orcid)0000-0002-6208-1841 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-73716-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Business 15th International Conference, ICSOB 2024, Utrecht, The Netherlands, November 18-20, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Papatheocharous, Efi. editor. (orcid)0000-0002-5157-8131 Farshidi, Siamak. editor. (orcid)0000-0003-3270-4398 Jansen, Slinger. editor. (orcid)0000-0003-3752-2868 Hyrynsalmi, Sonja. editor. (orcid)0000-0002-1715-6250 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85849-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Smart Cities 7th Ibero-American Congress, ICSC-CITIES 2024, San Carlos, Costa Rica, November 12-14, 2024, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Nesmachnow, Sergio. editor. (orcid)0000-0002-8146-4012 Hernández Callejo, Luis. editor. (orcid)0000-0002-8822-2948 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85324-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel and Distributed Processing Techniques 30th International Conference, PDPTA 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Takata, Masami. editor. (orcid)0000-0003-3475-7565 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Rivas, Pablo. editor. (orcid)0000-0002-8690-0987 Ohue, Masahito. editor. (orcid)0000-0002-0120-1643
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85638-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II

2026-03-15T15:43:04Z

Yazar Platzer, Andre. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71177-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Network Technologies and Intelligent Computing 4th International Conference, ANTIC 2024, Varanasi, India, December 19-21, 2024, Proceedings, Part II

2026-03-15T15:43:04Z

Yazar Verma, Anshul. editor. Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500 Pattanaik, Kiran Kumar. editor. Buyya, Rajkumar. editor. Dasgupta, Dipankar. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-83790-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Applications and Interoperable Systems 25th IFIP WG 6.1 International Conference, DAIS 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings

2026-03-15T15:43:04Z

Yazar Balouek, Daniel. editor. (orcid)0000-0001-6038-1077 Medeiros, Ibéria. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-95728-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part II

2026-03-15T15:43:04Z

Yazar Krogstie, John. editor. (orcid)0000-0003-4830-1876 Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108 Kappel, Gerti. editor. (orcid)0000-0002-4758-9436 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-94571-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Techniques for Distributed Objects, Components, and Systems 45th IFIP WG 6.1 International Conference, FORTE 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16-20, 2025, Proceedings

2026-03-15T15:43:04Z

Yazar Ferreira, Carla. editor. (orcid)0000-0003-3680-7634 Mezzina, Claudio Antares. editor. (orcid)0000-0003-1556-2623 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-95497-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Product-Focused Software Process Improvement 25th International Conference, PROFES 2024, Tartu, Estonia, December 2-4, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Pfahl, Dietmar. editor. (orcid)0000-0003-2400-501X Gonzalez Huerta, Javier. editor. (orcid)0000-0003-1350-7030 Klünder, Jil. editor. (orcid)0000-0001-7674-2930 Anwar, Hina. editor. (orcid)0000-0002-4725-4636 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-78386-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cross-Cultural Design 17th International Conference, CCD 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I

2026-03-15T15:43:04Z

Yazar Rau, Pei-Luen Patrick. editor. (orcid)0000-0002-5713-8612 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-93730-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods: Foundations and Applications 27th Brazilian Symposium, SBMF 2024, Vitória, Brazil, December 4-6, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar C. Nogueira, Sidney. editor. (orcid)0000-0002-8817-5029 Teodorov, Ciprian. editor. (orcid)0000-0002-0722-5857 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-78116-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Network Technologies and Intelligent Computing 4th International Conference, ANTIC 2024, Varanasi, India, December 19-21, 2024, Proceedings, Part IV

2026-03-15T15:43:04Z

Yazar Verma, Anshul. editor. Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500 Pattanaik, Kiran Kumar. editor. Buyya, Rajkumar. editor. Dasgupta, Dipankar. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-83796-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-77382-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NASA Formal Methods 17th International Symposium, NFM 2025, Williamsburg, VA, USA, June 11-13, 2025, Proceedings

2026-03-15T15:43:04Z

Yazar Dutle, Aaron. editor. (orcid)0000-0002-8503-5514 Humphrey, Laura. editor. (orcid)0000-0002-3148-9035 Titolo, Laura. editor. (orcid)0000-0001-7820-7640 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-93706-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dependable Software Engineering. Theories, Tools, and Applications 10th International Symposium, SETTA 2024, Hong Kong, China, November 26-28, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Bourke, Timothy. editor. (orcid)0000-0003-0601-4182 Chen, Liqian. editor. (orcid)0000-0001-8084-8009 Goharshady, Amir. editor. (orcid)0000-0003-1702-6584 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0602-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Research in Technologies, Information, Innovation and Sustainability ARTIIS 2024 International Workshops, Santiago de Chile, Chile, October 21-23, 2024, Revised Selected Papers, Part I

2026-03-15T15:43:04Z

Yazar Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Augusto, Maria Fernanda. editor. (orcid)0000-0003-4891-5747 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-83435-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Innovations for Community Services 25th International Conference, I4CS 2025, Munich, Germany, June 11-13, 2025, Proceedings

2026-03-15T15:43:04Z

Yazar Zielinski, Sebastian. editor. (orcid)0009-0000-0894-8996 Eichler, Gerald. editor. (orcid)0000-0002-7420-698X Erfurth, Christian. editor. (orcid)0000-0003-2761-3985 Fahrnberger, Günter. editor. (orcid)0000-0002-2606-3988 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-94263-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed, Ambient and Pervasive Interactions 13th International Conference, DAPI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I

2026-03-15T15:43:04Z

Yazar Streitz, Norbert A. editor. (orcid)0000-0002-0244-0945 Konomi, Shin'ichi. editor. (orcid)0000-0001-5831-2152 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-92977-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Internet of Things - ICIOT 2024 9th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Zhang, Shunli. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-77003-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Blockchain - ICBC 2024 7th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Feng, Jun. editor. (orcid)0000-0001-9917-1819 He, Songlin. editor. (orcid)0000-0002-7269-5644 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-77095-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machines, Computations, and Universality 10th International Conference, MCU 2024, Nice, France, June 5-7, 2024, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Formenti, Enrico. editor. (orcid)0000-0002-1007-7912 Durand-Lose, Jérôme. editor. (orcid)0000-0001-6506-074X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-81202-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Services Computing - SCC 2024 21st International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar He, Sheng. editor. (orcid)0000-0002-7142-8990 Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-77000-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Practical Applications of Agents, Multi-Agent Systems, and Digital Twins: The PAAMS Collection 22nd International Conference, PAAMS 2024, Salamanca, Spain, June 26-28, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Mathieu, Philippe. editor. (orcid)0000-0003-2786-1209 De la Prieta, Fernando. editor. (orcid)0000-0002-8239-5020 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70415-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agile Processes in Software Engineering and Extreme Programming 26th International Conference on Agile Software Development, XP 2025, Brugg-Windisch, Switzerland, June 2-5, 2025, Proceedings

2026-03-15T15:43:04Z

Yazar Peter, Sibylle. editor. (orcid)0009-0007-4308-053X Kropp, Martin. editor. (orcid)0000-0002-7439-6517 Aguiar, Ademar. editor. (orcid)0000-0002-4046-4729 Anslow, Craig. editor. (orcid)0000-0001-8064-6300 Lunesu, Maria Ilaria. editor. (orcid)0000-0002-2552-4228
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-94544-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

2026-03-15T15:43:04Z

Yazar Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75783-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

2026-03-15T15:43:04Z

Yazar Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75775-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Blockchain and Web3.0 Technology Innovation and Application First Conference, BWTAC 2024, Guangzhou, China, November 6-8, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Zhao, Gansen. editor. Weng, Jian. editor. Tian, Zhihong. editor. (orcid)0000-0002-9409-5359 Zhu, Liehuang. editor. Zheng, Zibin. editor. (orcid)0000-0002-7878-4330
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-9412-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Blockchain Transaction Data Analytics Complex Network Approaches

2026-03-15T15:43:04Z

Yazar Wu, Jiajing. editor. (orcid)0000-0001-5155-8547 Lin, Dan. editor. (orcid)0000-0001-7067-2396 Zheng, Zibin. editor. (orcid)0000-0002-7878-4330 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-4430-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Selected Papers

2026-03-15T15:43:04Z

Yazar Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-73741-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Conceptual Modeling 43rd International Conference, ER 2024, Pittsburgh, PA, USA, October 28-31, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Maass, Wolfgang. editor. (orcid)0000-0003-4057-0924 Han, Hyoil. editor. (orcid)0000-0001-8424-9804 Yasar, Hasan. editor. (orcid)0000-0001-9884-2086 Multari, Nick. editor. (orcid)0000-0002-7275-8182 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75872-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Technologies and Innovation 10th International Conference, CITI 2024, Guayaquil, Ecuador, November 11-14, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Valencia-García, Rafael. editor. (orcid)0000-0003-2457-1791 Borodulina, Tamara. editor. (orcid)0000-0001-8649-7318 Del Cioppo-Morstadt, Javier. editor. (orcid)0000-0001-5689-5884 Moran-Castro, Cesar Ernesto. editor. (orcid)0000-0002-6596-9766 Vera-Lucio, Néstor. editor. (orcid)0000-0002-1006-1566
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75702-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T15:43:04Z

Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75107-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T15:43:04Z

Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75387-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information and Communication Technologies 12th Ecuadorian Conference, TICEC 2024, Loja, Ecuador, October 16-18, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Berrezueta-Guzman, Santiago. editor. (orcid)0000-0001-5559-2056 Torres, Rommel. editor. (orcid)0000-0003-2313-0118 Zambrano-Martinez, Jorge Luis. editor. (orcid)0000-0002-5339-7860 Herrera-Tapia, Jorge. editor. (orcid)0000-0002-8673-0236 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75431-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer and Communication Engineering 4th International Conference, CCCE 2024, Oslo, Norway, May 24-26, 2024, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Neri, Filippo. editor. (orcid)0000-0002-2529-2287 Du, Ke-Lin. editor. (orcid)0000-0002-9136-3952 San-Blas, Angel-Antonio. editor. (orcid)0000-0002-4341-8277 Jiang, Zhiyu. editor. (orcid)0000-0002-6360-8262 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71079-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Current Trends in Web Engineering ICWE 2024 International Workshops, BECS and WALS, Tampere, Finland, June 17, 2024, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Pautasso, Cesare. editor. Marcel, Patrick. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75110-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Go Where the Bugs Are Essays Dedicated to Wolfgang Reif on the Occasion of His 65th Birthday

2026-03-15T15:43:04Z

Yazar Ernst, Gidon. editor. (orcid)0000-0002-3289-5764 Güdemann, Matthias. editor. (orcid)0000-0002-1002-6023 Knapp, Alexander. editor. (orcid)0000-0002-4050-3249 Nafz, Florian. editor. (orcid)0000-0001-5725-4827 Ortmeier, Frank. editor. (orcid)0000-0001-6186-4142
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-92196-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Database Systems for Advanced Applications. DASFAA 2024 International Workshops BDMS, GDMA, BDQM and ERDSE, Gifu, Japan, July 2-5, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Morishima, Atsuyuki. editor. (orcid)0000-0003-4606-9065 Li, Guoliang. editor. (orcid)0000-0002-1398-0621 Ishikawa, Yoshiharu. editor. (orcid)0000-0003-3875-3262 Amer-Yahia, Sihem. editor. (orcid)0000-0002-6194-4502 Jagadish, H. V. editor. (orcid)0000-0003-0724-5214
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0914-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

IT Crisisology Patterns and Practices Smart Agility for Digital Future

2026-03-15T15:43:04Z

Yazar Zykov, Sergey V. author. (orcid)0000-0002-2115-5461 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-95-1260-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human-Computer Interaction 10th Iberoamerican Conference, HCI-COLLAB 2024, Pereira, Colombia, June 4-7, 2024, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Agredo-Delgado, Vanessa. editor. (orcid)0000-0003-0870-6895 Ruiz, Pablo H. editor. (orcid)0000-0003-2098-2614 Meneses Escobar, Carlos Augusto. editor. (orcid)0000-0002-8192-6889 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-91328-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service-Oriented and Cloud Computing 11th IFIP WG 6.12 European Conference, ESOCC 2025, Bolzano, Italy, February 20-21, 2025, Proceedings

2026-03-15T15:43:04Z

Yazar Pahl, Claus. editor. (orcid)0000-0002-9049-212X Janes, Andrea. editor. (orcid)0000-0002-1423-6773 Cerny, Tomas. editor. (orcid)0000-0002-5882-5502 Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Esposito, Matteo. editor. (orcid)0000-0002-8451-3668
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-84617-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Edge Computing - EDGE 2024 8th International Conference, Held as Part of the Services Conference Federation, SCF 2024, Bangkok, Thailand, November 16-19, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Zeng, Jing. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-77069-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integrated Formal Methods 19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Kosmatov, Nikolai. editor. Kovács, Laura. editor. (orcid)0000-0002-8299-2714 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-76554-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I

2026-03-15T15:43:04Z

Yazar Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-93221-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IV

2026-03-15T15:43:04Z

Yazar Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-93230-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Its Applications 11th Indian Conference, ICLA 2025, Kolkata, India, February 3-5, 2025, Proceedings

2026-03-15T15:43:04Z

Yazar Aiswarya, C. editor. (orcid)0000-0002-4878-7581 Sen, Prabal Kumar. editor. Srivastava, Shashi Mohan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-89610-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Number-Theoretic Methods in Cryptology 4th International Conference, NuTMiC 2024, Szczecin, Poland, June 24-26, 2024, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Dąbrowski, Andrzej. editor. (orcid)0000-0002-1524-4871 Pieprzyk, Josef. editor. (orcid)0000-0002-1917-6466 Pomykała, Jacek. editor. (orcid)0000-0002-6480-5751 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-82380-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cooperative Information Systems 30th International Conference, CoopIS 2024, Porto, Portugal, November 19-21, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Comuzzi, Marco. editor. (orcid)0000-0002-6944-4705 Grigori, Daniela. editor. (orcid)0000-0003-1741-8676 Sellami, Mohamed. editor. (orcid)0000-0002-7547-1857 Zhou, Zhangbing. editor. (orcid)0000-0002-3195-2253 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-81375-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence and System Engineering Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 2

2026-03-15T15:43:04Z

Yazar Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-96759-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence for System Oriented Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 1

2026-03-15T15:43:04Z

Yazar Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-96798-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

New Challenges in Software Engineering Volume 1

2026-03-15T15:43:04Z

Yazar Mejía, Jezreel. editor. (orcid)0000-0003-0292-9318 Muñoz, Mirna. editor. Rocha, Alvaro. editor. Espinosa-Faller, Francisco Javier. editor. Trejo-Sanchez, Joel Antonio. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90310-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Broadband Communications, Networks, and Systems 14th EAI International Conference, BROADNETS 2024, Hyderabad, India, February 16-17, 2024, Proceedings, Part II

2026-03-15T15:43:04Z

Yazar Cheng, Xiaochun. editor. (orcid)0000-0003-0371-9646 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-81171-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Technology for Verification and Analysis 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I

2026-03-15T15:43:04Z

Yazar Akshay, S. editor. (orcid)0000-0002-2471-5997 Niemetz, Aina. editor. Sankaranarayanan, Sriram. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-78709-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

International Conference on Applied Technologies 6th International Conference, ICAT 2024, Samborondón, Ecuador, November 20-22, 2024, Revised Selected Papers, Part I

2026-03-15T15:43:04Z

Yazar Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224 Lema Moreta, Lohana. editor. (orcid)0000-0003-4199-2942 Zambrano Vizuete, Marcelo. editor. (orcid)0000-0001-5152-7572 Montes León, Sergio. editor. (orcid)0000-0002-2564-4465 Torres-Carrion, Pablo. editor. (orcid)0000-0002-7606-0582
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-89757-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

International Conference on Applied Technologies 6th International Conference, ICAT 2024, Samborondón, Ecuador, November 20-22, 2024, Revised Selected Papers, Part II

2026-03-15T15:43:04Z

Yazar Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224 Lema Moreta, Lohana. editor. (orcid)0000-0003-4199-2942 Zambrano Vizuete, Marcelo. editor. (orcid)0000-0001-5152-7572 Montes León, Sergio. editor. (orcid)0000-0002-2564-4465 Torres-Carrion, Pablo. editor. (orcid)0000-0002-7606-0582
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-89760-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Concise Introduction to Software Engineering With Open Source and GenAI

2026-03-15T15:43:04Z

Yazar Jalote, Pankaj. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-74318-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise Design, Operations, and Computing. EDOC 2024 Workshops iRESEARCH, MIDas4CS, Doctoral Consortium, Joint CBI-EDOC Forum and Other Joint CBI-EDOC Events, Vienna, Austria, September 10-13, 2024, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Kaczmarek-Heß, Monika. editor. (orcid)0000-0002-1621-2775 Rosenthal, Kristina. editor. (orcid)0000-0002-7698-2130 Suchánek, Marek. editor. (orcid)0000-0001-7525-9218 Da Silva, Miguel Mira. editor. (orcid)0000-0002-0489-4465 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-79059-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Research Perspectives on Software Engineering and Systems Design Proceedings of 8th Computational Methods in Systems and Software 2024, Volume 5

2026-03-15T15:43:04Z

Yazar Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-96775-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science On-line Conference 2025, Volume 4

2026-03-15T15:43:04Z

Yazar Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-032-03406-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VI

2026-03-15T15:43:04Z

Yazar Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0792-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part IV

2026-03-15T15:43:04Z

Yazar Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0798-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part IX

2026-03-15T15:43:04Z

Yazar Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0789-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part III

2026-03-15T15:43:04Z

Yazar Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0795-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence and Applications 26th International Conference, ICAI 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-86623-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verified Software. Theories, Tools and Experiments 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Protzenko, Jonathan. editor. (orcid)0000-0001-7347-3050 Raad, Azalea. editor. (orcid)0000-0002-2319-3242 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-86695-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge Discovery, Knowledge Engineering and Knowledge Management 15th International Joint Conference, IC3K 2023, Rome, Italy, November 13-15, 2023, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Coenen, Frans. editor. Fred, Ana. editor. Aveiro, David. editor. Dietz, Jan. editor. Poggi, Antonella. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-87569-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part II

2026-03-15T15:43:04Z

Yazar Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90653-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science Online Conference 2025, Volume 2

2026-03-15T15:43:04Z

Yazar Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-032-00712-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part II

2026-03-15T15:43:04Z

Yazar Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Antonov, Alexander. editor. (orcid)0000-0003-2820-7196 Nikitenko, Dmitry. editor. (orcid)0000-0002-2864-7995 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-78462-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23-24, 2024, Revised Selected Papers, Part I

2026-03-15T15:43:04Z

Yazar Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Antonov, Alexander. editor. (orcid)0000-0003-2820-7196 Nikitenko, Dmitry. editor. (orcid)0000-0002-2864-7995 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-78459-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part II

2026-03-15T15:43:04Z

Yazar Carro, Luigi. editor. Regazzoni, Francesco. editor. Pilato, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-78380-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 - July 4, 2024, Proceedings, Part I

2026-03-15T15:43:04Z

Yazar Carro, Luigi. editor. Regazzoni, Francesco. editor. Pilato, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-78377-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The AI Act and The Agile Safety Plan

2026-03-15T15:43:04Z

Yazar Myklebust, Thor. author. (orcid)0000-0002-9283-092X Stålhane, Tor. author. Vatn, Dorthea Mathilde Kristin. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-80504-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simulation Tools and Techniques 16th EAI International Conference, SIMUtools 2024, Bratislava, Slovakia, December 9-10, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Juan, Angel A. editor. (orcid)0000-0003-1392-1776 Guisado-Lizar, José-Luis. editor. (orcid)0000-0001-5480-7617 Morón-Fernández, María-José. editor. (orcid)0000-0003-3291-7297 Perez-Bernabeu, Elena. editor. (orcid)0000-0002-9221-7623 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-87345-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings

2026-03-15T15:43:04Z

Yazar Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90900-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part I

2026-03-15T15:43:04Z

Yazar Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90643-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 31st International Conference, TACAS 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings, Part III

2026-03-15T15:43:04Z

Yazar Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792 Heule, Marijn. editor. (orcid)0000-0002-5587-8801 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90660-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Compiler Construction Fundamentals and Applications

2026-03-15T15:43:04Z

Yazar Mössenböck, Hanspeter. author. (orcid)0000-0001-7706-7308 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-84813-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Scientific Computing and Bioinformatics and Computational Biology 22nd International Conference, CSC 2024, and 25th International Conference, BIOCOMP 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Hodson, Douglas D. editor. Grimaila, Michael R. editor. (orcid)0000-0002-8355-7992 Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Wagner, Torrey J. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85902-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Health Informatics and Medical Systems and Biomedical Engineering 10th International Conference, HIMS 2024, and 10th International Conference, BIOENG 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Alsadoon, Abeer. editor. (orcid)0000-0002-2309-3540 Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85908-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering: Emerging Trends and Practices in System Development Proceedings of the 14th Computer Science On-line Conference 2025, Volume 6

2026-03-15T15:43:04Z

Yazar Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-032-00715-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part IV

2026-03-15T15:43:04Z

Yazar Piskac, Ruzica. editor. (orcid)0000-0002-3267-0776 Rakamarić, Zvonimir. editor. (orcid)0000-0001-7946-0162 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-98685-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Systems Theory - EUROCAST 2024 19th International Conference, Las Palmas de Gran Canaria, Spain, February 25 - March 1, 2024, Revised Selected Papers, Part III

2026-03-15T15:43:04Z

Yazar Quesada-Arencibia, Alexis. editor. (orcid)0000-0002-8313-5124 Affenzeller, Michael. editor. (orcid)0000-0001-5692-5940 Moreno-Díaz, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-83885-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Internet Computing and IoT and Embedded Systems, Cyber-physical Systems, and Applications 25th International Conference, ICOMP 2024, and 22nd International Conference, ESCS 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85923-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Object-based Programming with Go

2026-03-15T15:43:04Z

Yazar Maurer, Christian. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-658-44704-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering: Emerging Trends and Practices in System Development Proceedings of 14th Computer Science On-line Conference 2025, Volume 3

2026-03-15T15:43:04Z

Yazar Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-032-00239-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Subject-Oriented Business Process Management. Models for Designing Digital Transformations 15th International Conference, S-BPM ONE 2024, Weiden, Germany, May 21-22, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Elstermann, Matthes. editor. (orcid)0009-0007-9845-9926 Lederer, Matthias. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-72041-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Ledger Technology 8th International Symposium, SDLT 2024, Brisbane, QLD, Australia, November 28-29, 2024, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Kanhere, Salil. editor. (orcid)0000-0002-1835-3475 Jurdak, Raja. editor. (orcid)0000-0001-7517-0782 Parkinson, Joy. editor. Sridharan, Bhavani. editor. Pal, Shantanu. editor. (orcid)0000-0002-8784-0154
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-4442-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

From Data to Models and Back 12th International Symposium, DataMod 2024, Aveiro, Portugal, November 4-5, 2024, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Czekster, Ricardo M. editor. (orcid)0000-0002-6636-4398 Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-87908-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

From Data to Models and Back 11th International Symposium, DataMod 2023, Eindhoven, The Netherlands, November 6-7, 2023, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Broccia, Giovanna. editor. (orcid)0000-0002-4737-5761 Cerone, Antonio. editor. (orcid)0000-0003-2691-5279 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-87217-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering Research and Practice and e-Learning, e-Business, Enterprise Information Systems, and e-Government 22nd International Conference, SERP 2024, and 23rd International Conference, EEE 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-86644-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV

2026-03-15T15:43:04Z

Yazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97567-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part V

2026-03-15T15:43:04Z

Yazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97570-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part VI

2026-03-15T15:43:04Z

Yazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97573-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II

2026-03-15T15:43:04Z

Yazar Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97629-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III

2026-03-15T15:43:04Z

Yazar Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97632-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II

2026-03-15T15:43:04Z

Yazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97557-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part III

2026-03-15T15:43:04Z

Yazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97564-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science and Its Applications - ICCSA 2025 25th International Conference, Istanbul, Turkey, June 30-July 3, 2025, Proceedings, Part II

2026-03-15T15:43:04Z

Yazar Gervasi, Osvaldo. editor. (orcid)0000-0003-4327-520X Murgante, Beniamino. editor. (orcid)0000-0003-2409-5959 Garau, Chiara. editor. (orcid)0000-0002-6239-5402 Karaca, Yeliz. editor. (orcid)0000-0001-8725-6719 Taniar, David. editor. (orcid)0000-0002-8862-3960
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-96997-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I

2026-03-15T15:43:04Z

Yazar Paszynski, Maciej. editor. (orcid)0000-0001-7766-6052 Barnard, Amanda S. editor. (orcid)0000-0002-4784-2382 Zhang, Yongjie Jessica. editor. (orcid)0000-0001-7436-9757 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97554-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2025 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I

2026-03-15T15:43:04Z

Yazar Lees, Michael H. editor. (orcid)0000-0002-5457-9180 Cai, Wentong. editor. (orcid)0000-0002-0183-3835 Cheong, Siew Ann. editor. (orcid)0000-0002-8589-6699 Su, Yi. editor. Abramson, David. editor. (orcid)0000-0003-0441-4596
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97626-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Future Access Enablers for Ubiquitous and Intelligent Infrastructures 8th EAI International Conference, FABULOUS 2024, Zagreb, Croatia, May 9-10, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Perakovic, Dragan. editor. (orcid)0000-0002-0476-9373 Knapcikova, Lucia. editor. (orcid)0000-0003-1925-4038 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-72393-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Runtime Verification 24th International Conference, RV 2024, Istanbul, Turkey, October 15-17, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Ábrahám, Erika. editor. (orcid)0000-0002-5647-6134 Abbas, Houssam. editor. (orcid)0000-0002-8096-2618 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-74234-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model Checking Software 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Neele, Thomas. editor. (orcid)0000-0001-6117-9129 Wijs, Anton. editor. (orcid)0000-0002-2071-9624 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-66149-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

AIxIA 2024 - Advances in Artificial Intelligence XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25-28, 2024 Proceedings

2026-03-15T15:43:04Z

Yazar Artale, Alessandro. editor. (orcid)0000-0002-3852-9351 Cortellessa, Gabriella. editor. (orcid)0000-0002-9835-1575 Montali, Marco. editor. (orcid)0000-0002-8021-3430 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-80607-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Computer Sciences in Engineering 11th Workshop on Engineering Applications, WEA 2024, Barranquilla, Colombia, October 23-25, 2024, Proceedings, Part II

2026-03-15T15:43:04Z

Yazar Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Hernández, German. editor. (orcid)0000-0001-9549-2316 Suero Pérez, Diego Fernando. editor. (orcid)0000-0002-0760-0186 Gaona García, Elvis Eduardo. editor. (orcid)0000-0001-5431-8776 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-74598-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Computer Sciences in Engineering 11th Workshop on Engineering Applications, WEA 2024, Barranquilla, Colombia, October 23-25, 2024, Proceedings, Part I

2026-03-15T15:43:04Z

Yazar Figueroa-García, Juan Carlos. editor. (orcid)0000-0001-5544-5937 Hernández, German. editor. (orcid)0000-0001-9549-2316 Suero Pérez, Diego Fernando. editor. (orcid)0000-0002-0760-0186 Gaona García, Elvis Eduardo. editor. (orcid)0000-0001-5431-8776 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-74595-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Informatics 7th International Conference, ICAI 2024, Viña del Mar, Chile, October 24-26, 2024, Proceedings, Part I

2026-03-15T15:43:04Z

Yazar Florez, Hector. editor. (orcid)0000-0002-5339-4459 Astudillo, Hernán. editor. (orcid)0000-0002-6487-5813 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75144-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Frontiers of Algorithmics 18th International Joint Conference, IJTCS-FAW 2024, Hong Kong SAR, China, July 29-31, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Li, Bo. editor. (orcid)0000-0001-7500-8355 Li, Minming. editor. (orcid)0000-0002-7370-6237 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-7752-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Understanding Modelling and Programming

2026-03-15T15:43:04Z

Yazar Prinz, Andreas. author. (orcid)0000-0002-0646-2877 Møller-Pedersen, Birger. author. (orcid)0000-0003-2123-3260 Fischer, Joachim. author. (orcid)0000-0003-2476-3996 Thalheim, Bernhard. author. (orcid)0000-0002-7909-7786 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71280-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Society 5.0 4th International Conference, Society 5.0 2024, Moka, Mauritius, June 26-28, 2024, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Hinkelmann, Knut. editor. (orcid)0000-0002-1746-6945 Smuts, Hanlie. editor. (orcid)0000-0001-7120-7787 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71412-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Electronic Governance with Emerging Technologies Third International Conference, EGETC 2024, Jakarta, Indonesia, September 25-26, 2024, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Ortiz-Rodriguez, Fernando. editor. (orcid)0000-0003-2084-3462 Tiwari, Sanju. editor. (orcid)0000-0001-7197-0766 Krisnadhi, Adila Alfa. editor. (orcid)0000-0003-0745-6804 Medina-Quintero, Jose Melchor. editor. (orcid)0000-0003-3466-7113 Valle-Cruz, David. editor. (orcid)0000-0002-5204-8095
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-77029-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model and Data Engineering 13th International Conference, MEDI 2024, Naples, Italy, November 18-20, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Ordonez, Carlos. editor. (orcid)0009-0005-1135-9726 Sperlì, Giancarlo. editor. (orcid)0000-0003-4033-3777 Masciari, Elio. editor. (orcid)0000-0002-1778-5321 Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-87719-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering of Complex Computer Systems 28th International Conference, ICECCS 2024, Limassol, Cyprus, June 19-21, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Bai, Guangdong. editor. (orcid)0000-0002-6390-9890 Ishikawa, Fuyuki. editor. (orcid)0000-0001-7725-2618 Ait-Ameur, Yamine. editor. (orcid)0000-0003-4582-9712 Papadopoulos, George A. editor. (orcid)0000-0001-9250-4916 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-66456-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of the 2nd International Conference on the Frontiers of Robotics and Software Engineering (FRSE 2024) Volume 2

2026-03-15T15:43:04Z

Yazar Hu, Jiangping. editor. (orcid)0000-0002-7559-8604 Zhang, Jin. editor. (orcid)0000-0002-7464-2247 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-3161-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Grid, Cloud, and Cluster Computing; Quantum Technologies; and Modeling, Simulation and Visualization Methods 20th International Conference, GCC 2024, Third International Conference, ICEQT 2024, and 21st International Conference, MSV 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Takata, Masami. editor. (orcid)0000-0003-3475-7565 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Rivas, Pablo. editor. (orcid)0000-0002-8690-0987 Ohue, Masahito. editor. (orcid)0000-0002-0120-1643
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85884-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computers and Games 12th International Conference, CG 2024, Virtual Event, November 25-29, 2024, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Hartisch, Michael. editor. (orcid)0000-0001-6304-4973 Hsueh, Chu-Hsuan. editor. (orcid)0000-0001-8888-3116 Schaeffer, Jonathan. editor. (orcid)0009-0007-3735-5947 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-86585-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Cognitive Computing and Artificial Intelligence 8th International Conference, ACC 2024, and 26th International Conference, ICAI 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Ferens, Ken. editor. (orcid)0000-0002-1031-0518 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85628-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Pattern Languages of Programming V

2026-03-15T15:43:04Z

Yazar Wallingford, Eugene. editor. Zdun, Uwe. editor. (orcid)0000-0002-6233-2591 Kohls, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-70810-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rebeca for Actor Analysis in Action Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday

2026-03-15T15:43:04Z

Yazar Lee, Edward A. editor. (orcid)0000-0002-5663-0584 Mousavi, Mohammad Reza. editor. (orcid)0000-0002-4869-6794 Talcott, Carolyn. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85134-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service-Oriented Computing 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3-6, 2024, Proceedings, Part II

2026-03-15T15:43:04Z

Yazar Gaaloul, Walid. editor. (orcid)0000-0003-0451-532X Sheng, Michael. editor. (orcid)0000-0002-3326-4147 Yu, Qi. editor. (orcid)0000-0001-8105-8682 Yangui, Sami. editor. (orcid)0000-0001-9756-642X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0808-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service-Oriented Computing 22nd International Conference, ICSOC 2024, Tunis, Tunisia, December 3-6, 2024, Proceedings, Part I

2026-03-15T15:43:04Z

Yazar Gaaloul, Walid. editor. (orcid)0000-0003-0451-532X Sheng, Michael. editor. (orcid)0000-0002-3326-4147 Yu, Qi. editor. (orcid)0000-0001-8105-8682 Yangui, Sami. editor. (orcid)0000-0001-9756-642X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0805-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I

2026-03-15T15:43:04Z

Yazar Platzer, André. editor. (orcid)0000-0001-7238-5710 Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828 Pradella, Matteo. editor. (orcid)0000-0003-3039-1084 Rossi, Matteo. editor. (orcid)0000-0002-9193-9560 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71162-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise, Business-Process and Information Systems Modeling 26th International Conference, BPMDS 2025, and 30th International Conference, EMMSAD 2025, Vienna, Austria, June 16-17, 2025, Proceedings

2026-03-15T15:43:04Z

Yazar Guizzardi, Renata. editor. (orcid)0000-0002-5804-5741 Pufahl, Luise. editor. (orcid)0000-0002-5182-2587 Sturm, Arnon. editor. (orcid)0000-0002-4021-7752 van der Aa, Han. editor. (orcid)0000-0002-4200-4937 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-95397-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Information Systems Engineering 37th International Conference, CAiSE 2025, Vienna, Austria, June 16-20, 2025, Proceedings, Part I

2026-03-15T15:43:04Z

Yazar Krogstie, John. editor. (orcid)0000-0003-4830-1876 Rinderle-Ma, Stefanie. editor. (orcid)0000-0001-5656-6108 Kappel, Gertri. editor. (orcid)0000-0002-4758-9436 Proper, Henderik A. editor. (orcid)0000-0002-7318-2496 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-94569-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cross-Cultural Design 17th International Conference, CCD 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part III

2026-03-15T15:43:04Z

Yazar Rau, Pei-Luen Patrick. editor. (orcid)0000-0002-5713-8612 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-93739-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Information Systems Engineering Workshops CAiSE 2025 Workshops, Vienna, Austria, June 16-20, 2025, Proceedings

2026-03-15T15:43:04Z

Yazar Grabis, Jānis. editor. (orcid)0000-0003-2196-0214 Wautelet, Yves. editor. (orcid)0000-0002-6560-9787 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-94931-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graph Transformation 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11-12, 2025, Proceedings

2026-03-15T15:43:04Z

Yazar Endrullis, Jörg. editor. (orcid)0000-0002-2554-8270 Tichy, Matthias. editor. (orcid)0000-0002-9067-3748 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-94706-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

End-User Development 10th International Symposium, IS-EUD 2025, Munich, Germany, June 16-18, 2025, Proceedings

2026-03-15T15:43:04Z

Yazar Santoro, Carmen. editor. (orcid)0000-0002-0556-7538 Schmidt, Albrecht. editor. (orcid)0000-0003-3890-1990 Matera, Maristella. editor. (orcid)0000-0003-0552-8624 Bellucci, Andrea. editor. (orcid)0000-0003-4035-5271 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-95452-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Coordination Models and Languages 27th IFIP WG 6.1 International Conference, COORDINATION 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 17-19, 2025, Proceedings

2026-03-15T15:43:04Z

Yazar Di Giusto, Cinzia. editor. (orcid)0000-0003-1563-6581 Ravara, António. editor. (orcid)0000-0001-8074-0380 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-95589-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Research in Technologies, Information, Innovation and Sustainability 4th International Conference, ARTIIS 2024, Santiago de Chile, Chile, October 21-23, 2024, Revised Selected Papers, Part II

2026-03-15T15:43:04Z

Yazar Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Gatica, Gustavo. editor. (orcid)0000-0002-1816-6856 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-83210-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Research in Technologies, Information, Innovation and Sustainability 4th International Conference, ARTIIS 2024, Santiago de Chile, Chile, October 21-23, 2024, Revised Selected Papers, Part I

2026-03-15T15:43:04Z

Yazar Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Gatica, Gustavo. editor. (orcid)0000-0002-1816-6856 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-83207-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science and Education in Computer Science 20th EAI International Conference, CSECS 2024, Sofia, Bulgaria, June 28-30, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Zlateva, Tanya. editor. Tuparov, Georgi. editor. (orcid)0000-0003-4162-5106 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-84312-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Research in Technologies, Information, Innovation and Sustainability 4th International Conference, ARTIIS 2024, Santiago de Chile, Chile, October 21-23, 2024, Revised Selected Papers, Part III

2026-03-15T15:43:04Z

Yazar Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Gatica, Gustavo. editor. (orcid)0000-0002-1816-6856 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-84078-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Practice of Enterprise Modeling 17th IFIP Working Conference, PoEM 2024, Stockholm, Sweden, December 3-5, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Paja, Elda. editor. (orcid)0000-0002-8346-2467 Zdravkovic, Jelena. editor. (orcid)0000-0002-0870-0330 Kavakli, Evangelia. editor. (orcid)0000-0003-2743-5146 Stirna, Janis. editor. (orcid)0000-0002-3669-832X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-77908-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of the 2nd International Conference on the Frontiers of Robotics and Software Engineering (FRSE 2024) Volume 1

2026-03-15T15:43:04Z

Yazar Hu, Jiangping. editor. (orcid)0000-0002-7559-8604 Zhang, Jin. editor. (orcid)0000-0002-7464-2247 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-3013-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part III

2026-03-15T15:43:04Z

Yazar Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-93227-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Product-Focused Software Process Improvement. Industry-, Workshop-, and Doctoral Symposium Papers 25th International Conference, PROFES 2024, Tartu, Estonia, December 2-4, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Pfahl, Dietmar. editor. (orcid)0000-0003-2400-501X Gonzalez Huerta, Javier. editor. (orcid)0000-0003-1350-7030 Klünder, Jil. editor. (orcid)0000-0001-7674-2930 Anwar, Hina. editor. (orcid)0000-0002-4725-4636 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-78392-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook on Natural Language Processing for Requirements Engineering

2026-03-15T15:43:04Z

Yazar Ferrari, Alessio. editor. (orcid)0000-0002-0636-5663 Ginde, Gouri. editor. (orcid)0000-0001-7519-3503 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-73143-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Network Technologies and Intelligent Computing 4th International Conference, ANTIC 2024, Varanasi, India, December 19-21, 2024, Proceedings, Part I

2026-03-15T15:43:04Z

Yazar Verma, Anshul. editor. Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500 Pattanaik, Kiran Kumar. editor. Buyya, Rajkumar. editor. Dasgupta, Dipankar. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-83783-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

HCI for Cybersecurity, Privacy and Trust 7th International Conference, HCI-CPT 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II

2026-03-15T15:43:04Z

Yazar Moallem, Abbas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-92840-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

HCI for Cybersecurity, Privacy and Trust 7th International Conference, HCI-CPT 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I

2026-03-15T15:43:04Z

Yazar Moallem, Abbas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-92833-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Virtual Reality and Mixed Reality 21st EuroXR International Conference, EuroXR 2024, Athens, Greece, November 27-29, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Reyes-Lecuona, Arcadio. editor. Zachmann, Gabriel. editor. (orcid)0000-0001-8155-1127 Bordegoni, Monica. editor. (orcid)0000-0001-9378-8295 Chen, Jian. editor. Karaseitanidis, Giannis. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-78593-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computational Intelligence. MICAI 2024 International Workshops HIS 2024, WILE 2024, and CIAPP 2024, Tonantzintla, Mexico, October 21-25, 2024, Proceedings, Part II

2026-03-15T15:43:04Z

Yazar Martínez-Villaseñor, Lourdes. editor. (orcid)0000-0002-9038-7821 Ochoa-Ruiz, Gilberto. editor. (orcid)0000-0002-9896-8727 Montes Rivera, Martin. editor. (orcid)0000-0003-3897-6212 Barrón-Estrada, María Lucía. editor. (orcid)0000-0002-3856-9361 Acosta-Mesa, Héctor Gabriel. editor. (orcid)0000-0002-0935-7642
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-83882-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Network Technologies and Intelligent Computing 4th International Conference, ANTIC 2024, Varanasi, India, December 19-21, 2024, Proceedings, Part III

2026-03-15T15:43:04Z

Yazar Verma, Anshul. editor. Verma, Pradeepika. editor. (orcid)0000-0001-7404-2500 Pattanaik, Kiran Kumar. editor. Buyya, Rajkumar. editor. Dasgupta, Dipankar. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-83793-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Research in Technologies, Information, Innovation and Sustainability ARTIIS 2024 International Workshops, Santiago de Chile, Chile, October 21-23, 2024, Revised Selected Papers, Part II

2026-03-15T15:43:04Z

Yazar Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Augusto, Maria Fernanda. editor. (orcid)0000-0003-4891-5747 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-83432-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Critical Information Infrastructures Security 19th International Conference, CRITIS 2024, Rome, Italy, September 18-20, 2024, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Oliva, Gabriele. editor. (orcid)0000-0001-7257-4079 Panzieri, Stefano. editor. (orcid)0000-0002-6042-5479 Hämmerli, Bernhard. editor. (orcid)0000-0001-6251-1154 Pascucci, Federica. editor. (orcid)0000-0002-8226-0716 Faramondi, Luca. editor. (orcid)0000-0002-3750-2405
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-84260-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Application and Theory of Petri Nets and Concurrency 46th International Conference, PETRI NETS 2025, Paris, France, June 22-27, 2025, Proceedings

2026-03-15T15:43:04Z

Yazar Amparore, Elvio. editor. (orcid)0000-0003-1147-8985 Mikulski, Łukasz. editor. (orcid)0000-0002-6711-557X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-94634-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Data Engineering and Automated Learning - IDEAL 2024 25th International Conference, Valencia, Spain, November 20-22, 2024, Proceedings, Part II

2026-03-15T15:43:04Z

Yazar Julian, Vicente. editor. (orcid)0000-0002-2743-6037 Camacho, David. editor. (orcid)0000-0002-0535-7450 Yin, Hujun. editor. (orcid)0000-0002-9198-5401 Alberola, Juan M. editor. (orcid)0000-0002-5486-5638 Nogueira, Vitor Beires. editor. (orcid)0000-0002-0793-0003
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-77738-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed, Ambient and Pervasive Interactions 13th International Conference, DAPI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II

2026-03-15T15:43:04Z

Yazar Streitz, Norbert A. editor. (orcid)0000-0002-0244-0945 Konomi, Shin'ichi. editor. (orcid)0000-0001-5831-2152 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-92980-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

HCI in Mobility, Transport, and Automotive Systems 7th International Conference, MobiTAS 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II

2026-03-15T15:43:04Z

Yazar Krömker, Heidi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-92692-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II

2026-03-15T15:43:04Z

Yazar Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-93224-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cross-Cultural Design 17th International Conference, CCD 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part II

2026-03-15T15:43:04Z

Yazar Rau, Pei-Luen Patrick. editor. (orcid)0000-0002-5713-8612 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-93733-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cross-Cultural Design 17th International Conference, CCD 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part IV

2026-03-15T15:43:04Z

Yazar Rau, Pei-Luen Patrick. editor. (orcid)0000-0002-5713-8612 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-93736-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data Protection for Software Development and IT A Practical Introduction

2026-03-15T15:43:04Z

Yazar Kneuper, Ralf. author. (orcid)0000-0003-3225-5895 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-70639-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Managing Software Supply Chains Theory and Practice

2026-03-15T15:43:04Z

Yazar Wang, Ying. author. Cheung, Shing-Chi. author. (orcid)0000-0002-3508-7172 Yu, Hai. author. (orcid)0000-0002-8024-1781 Zhu, Zhiliang. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-1797-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part V

2026-03-15T15:43:04Z

Yazar Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-93233-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Design, User Experience, and Usability 14th International Conference, DUXU 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part VI

2026-03-15T15:43:04Z

Yazar Schrepp, Martin. editor. (orcid)0000-0001-7855-2524 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-93236-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

HCI in Mobility, Transport, and Automotive Systems 7th International Conference, MobiTAS 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Gothenburg, Sweden, June 22-27, 2025, Proceedings, Part I

2026-03-15T15:43:04Z

Yazar Krömker, Heidi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-92689-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

TOOLympics Challenge 2023 Updates, Results, Successes of the Formal-Methods Competitions

2026-03-15T15:43:04Z

Yazar Beyer, Dirk. editor. (orcid)0000-0003-4832-7662 Hartmanns, Arnd. editor. (orcid)0000-0003-3268-8674 Kordon, Fabrice. editor. (orcid)0000-0002-5626-828X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-67695-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-15T15:43:04Z

Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75380-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Security and Privacy in Smart Environments

2026-03-15T15:43:04Z

Yazar Pitropakis, Nikolaos. editor. (orcid)0000-0002-3392-9970 Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-66708-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Conceptual Modeling ER 2024 Workshops, AISA, CMLS, EmpER, QUAMES, JUSMOD, LLM4Modeling, Pittsburgh, PA, USA, October 28-31, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Saeki, Motoshi. editor. Wong, Leah. editor. Araujo, João. editor. (orcid)0000-0001-5914-1631 Ayora, Clara. editor. (orcid)0009-0002-8265-6531 Bernasconi, Anna. editor. (orcid)0000-0001-8016-5750
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75599-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Leveraging Applications of Formal Methods, Verification and Validation. Application Areas 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V

2026-03-15T15:43:04Z

Yazar Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75390-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Stabilization, Safety, and Security of Distributed Systems 26th International Symposium, SSS 2024, Nagoya, Japan, October 20-22, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Masuzawa, Toshimitsu. editor. (orcid)0000-0003-4628-6393 Katayama, Yoshiaki. editor. (orcid)0000-0003-1683-2154 Kakugawa, Hirotsugu. editor. (orcid)0000-0003-1087-410X Nakamura, Junya. editor. (orcid)0000-0002-1363-4358 Kim, Yonghwan. editor. (orcid)0000-0002-5437-7626
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-74498-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part II

2026-03-15T15:43:04Z

Yazar Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0774-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II

2026-03-15T15:43:04Z

Yazar Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-82703-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Combined Power of Research, Education, and Dissemination Essays Dedicated to Tiziana Margaria on the Occasion of Her 60th Birthday

2026-03-15T15:43:04Z

Yazar Hinchey, Mike. editor. Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-73887-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Real Time and Such Essays Dedicated to Wang Yi to Celebrate His Scientific Career

2026-03-15T15:43:04Z

Yazar Graf, Susanne. editor. (orcid)0000-0003-4354-6807 Pettersson, Paul. editor. (orcid)0000-0003-4040-3480 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-73751-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part I

2026-03-15T15:43:04Z

Yazar Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0771-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I

2026-03-15T15:43:04Z

Yazar Shankaranarayanan, Krishna. editor. (orcid)0000-0003-0925-398X Sankaranarayanan, Sriram. editor. (orcid)0000-0001-7315-4340 Trivedi, Ashutosh. editor. (orcid)0000-0001-9346-0126 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-82700-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Robotics and Applications 17th International Conference, ICIRA 2024, Xi'an, China, July 31 - August 2, 2024, Proceedings, Part VIII

2026-03-15T15:43:04Z

Yazar Lan, Xuguang. editor. Mei, Xuesong. editor. Jiang, Caigui. editor. Zhao, Fei. editor. Tian, Zhiqiang. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-0783-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service-Oriented Computing 18th Symposium and Summer School, SummerSOC 2024, Crete, Greece, June 24-29, 2024, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Aiello, Marco. editor. (orcid)0000-0002-0764-2124 Barzen, Johanna. editor. Dustdar, Schahram. editor. (orcid)0000-0001-6872-8821 Leymann, Frank. editor. (orcid)0000-0002-9123-259X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-72578-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence for Design and Process Science

2026-03-15T15:43:04Z

Yazar Suh, Sang C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-67886-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2024 Workshops, Bozen-Bolzano, Italy, June 4-7, 2024, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Marchesi, Lodovica. editor. (orcid)0000-0002-0627-5043 Goldman, Alfredo. editor. (orcid)0000-0001-5746-4154 Lunesu, Maria Ilaria. editor. (orcid)0000-0002-2552-4228 Przybyłek, Adam. editor. (orcid)0000-0002-8231-709X Aguiar, Ademar. editor. (orcid)0000-0002-4046-4729
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-72781-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computers and Their Applications 40th International Conference, CATA 2025, San Francisco, CA, USA, March 17-18, 2025, Proceedings

2026-03-15T15:43:04Z

Yazar Bandi, Ajay. editor. (orcid)0000-0003-2434-736X Hossain, Mohammad. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-92178-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles of Verification: Cycling the Probabilistic Landscape Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

2026-03-15T15:43:04Z

Yazar Jansen, Nils. editor. (orcid)0000-0003-1318-8973 Junges, Sebastian. editor. (orcid)0000-0003-0978-8466 Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324 Matheja, Christoph. editor. (orcid)0000-0001-9151-0441 Noll, Thomas. editor. (orcid)0000-0002-1865-1798
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75778-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

PRIMA 2024: Principles and Practice of Multi-Agent Systems 25th International Conference, Kyoto, Japan, November 18-24, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Arisaka, Ryuta. editor. (orcid)0000-0003-3203-1517 Sanchez-Anguix, Victor. editor. (orcid)0000-0003-4851-0037 Stein, Sebastian. editor. (orcid)0000-0003-2858-8857 Aydoğan, Reyhan. editor. (orcid)0000-0002-5260-9999 van der Torre, Leon. editor. (orcid)0000-0003-4330-3717
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-77367-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Innovations and Interdisciplinary Solutions for Underserved Areas 7th International Conference, InterSol 2024, Dakar, Senegal, July 3-4, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Cheikh M. F. Kebe, Kebe. editor. Gueye, Assane. editor. (orcid)0000-0001-6469-4716 Ndiaye, Ababacar. editor. (orcid)0000-0002-4281-8973 Sene, Ndèye Awa. editor. Maiga, Amadou-Seidou. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-86493-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Computer Science and Frontiers in Education: Computer Science and Computer Engineering 20th International Conference, FCS 2024, and 20th International Conference, FECS 2024, Held as Part of the World Congress in Computer Science, Computer Engineering and Applied Computing, CSCE 2024, Las Vegas, NV, USA, July 22-25, 2024, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Arabnia, Hamid R. editor. (orcid)0000-0003-3943-0094 Deligiannidis, Leonidas. editor. (orcid)0009-0002-3674-0142 Amirian, Soheyla. editor. (orcid)0000-0002-7517-0739 Ghareh Mohammadi, Farid. editor. (orcid)0000-0002-8759-693X Shenavarmasouleh, Farzan. editor. (orcid)0000-0001-5485-232X
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85930-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software, System, and Service Engineering S3E 2024 Topical Area, Held as Part of FedCSIS 2024, Belgrade, Serbia, 8-11 September, 2024 and KKIO 2024, Held as Part of SEAA 2024, Paris, France, August 28-30, 2024, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Kardas, Geylani. editor. (orcid)0000-0001-6975-305X Luković, Ivan. editor. (orcid)0000-0003-1319-488X Milašinović, Boris. editor. (orcid)0000-0002-7889-3131 Popović, Aleksandar. editor. (orcid)0000-0002-6361-7089 Radliński, Łukasz. editor. (orcid)0000-0003-1007-6597
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-84913-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Intelligence, Cyber Security and Computational Models. Emerging Trends in Computational Models, Intelligence and Security Systems 6th International Conference, ICC3 2023, Coimbatore, India, December 14-16, 2023, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Sheen, Shina. editor. (orcid)0000-0002-8624-4174 R., Latha. editor. (orcid)0000-0001-7011-1329 U. K., Sridevi. editor. (orcid)0000-0003-2445-9193 P., Thanalakshmi. editor. (orcid)0000-0003-2607-5222 M., Thilaga. editor. (orcid)0000-0002-7177-958X
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-88297-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Data Engineering and Automated Learning - IDEAL 2024 25th International Conference, Valencia, Spain, November 20-22, 2024, Proceedings, Part I

2026-03-15T15:43:04Z

Yazar Julian, Vicente. editor. (orcid)0000-0002-2743-6037 Camacho, David. editor. (orcid)0000-0002-0535-7450 Yin, Hujun. editor. (orcid)0000-0002-9198-5401 Alberola, Juan M. editor. (orcid)0000-0002-5486-5638 Nogueira, Vitor Beires. editor. (orcid)0000-0002-0793-0003
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-77731-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

DATA SCIENCE AND MACHINE LEARNING APPLICATIONS IN SUBSURFACE ENGINEERING

2026-03-15T15:43:04Z

Yazar Otchere, Daniel Asante.
Yer Numarası QA76.758
Elektronik Erişim Taylor & Francis https://www.taylorfrancis.com/books/9781003366980 OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

VLSI-SoC 2023: Innovations for Trustworthy Artificial Intelligence 31st IFIP WG 10.5/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2023, Sharjah, United Arab Emirates, October 16-18, 2023, Revised Extended Selected Papers

2026-03-15T15:43:04Z

Yazar Elfadel, Ibrahim (Abe) M. editor. (orcid)0000-0003-3220-9987 Albasha, Lutfi. editor. (orcid)0000-0001-5933-0280 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70947-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise Interoperability X Enterprise Interoperability Through Connected Digital Twins

2026-03-15T15:43:04Z

Yazar Rodríguez-Rodríguez, Raúl. editor. Ducq, Yves. editor. (orcid)0000-0001-5144-5876 Leon, Ramona-Diana. editor. Romero, David. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-24771-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Linking Theory and Practice of Digital Libraries 28th International Conference on Theory and Practice of Digital Libraries, TPDL 2024, Ljubljana, Slovenia, September 24-27, 2024, Proceedings, Part I

2026-03-15T15:43:04Z

Yazar Antonacopoulos, Apostolos. editor. (orcid)0000-0001-9552-0233 Hinze, Annika. editor. (orcid)0000-0002-7383-1134 Piwowarski, Benjamin. editor. (orcid)0000-0001-6792-3262 Coustaty, Mickaël. editor. (orcid)0000-0002-0123-439X Di Nunzio, Giorgio Maria. editor. (orcid)0000-0001-9709-6392
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-72437-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cybernetics and Control Theory in Systems Proceedings of 13th Computer Science On-line Conference 2024, Volume 2

2026-03-15T15:43:04Z

Yazar Silhavy, Radek. editor. Silhavy, Petr. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70300-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel Computational Technologies 18th International Conference, PCT 2024, Chelyabinsk, Russia, April 2-4, 2024, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918 Zymbler, Mikhail. editor. (orcid)0000-0001-7491-8656 Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106 Dongarra, Jack. editor. (orcid)0000-0003-3247-1782 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-73372-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Search-Based Software Engineering 16th International Symposium, SSBSE 2024, Porto de Galinhas, Brazil, July 15, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Jahangirova, Gunel. editor. Khomh, Foutse. editor. (orcid)0000-0002-5704-4173 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64573-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Business Modeling and Software Design 14th International Symposium, BMSD 2024, Luxembourg City, Luxembourg, July 1-3, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Shishkov, Boris. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64073-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graph Transformation 17th International Conference, ICGT 2024, Held as Part of STAF 2024, Enschede, The Netherlands, July 10-11, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Harmer, Russ. editor. (orcid)0000-0002-0817-1029 Kosiol, Jens. editor. (orcid)0000-0003-4733-2777 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64285-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Science - ICCS 2024 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part V

2026-03-15T15:43:04Z

Yazar Franco, Leonardo. editor. (orcid)0000-0003-0012-5914 de Mulatier, Clélia. editor. (orcid)0000-0003-3578-5453 Paszynski, Maciej. editor. Krzhizhanovskaya, Valeria V. editor. (orcid)0000-0002-8247-129X Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-63775-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Research in Computer Science 6th Conference, CRI 2023, Yaounde, Cameroon, December 12-13, 2023, Proceedings

2026-03-15T15:43:04Z

Yazar Melatagia Yonta, Paulin. editor. (orcid)0000-0003-3479-2627 Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Ndoundam, René. editor. (orcid)0000-0003-1105-762X Yenke, Omer-Blaise. editor. (orcid)0000-0001-9670-1001 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-63110-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mechatronics - Industry-Inspired Advances

2026-03-15T15:43:04Z

Yazar Martowicz, Adam. editor. (orcid)0000-0001-9630-0355 Mańka, Michał. editor. (orcid)0000-0002-2959-9681 Mendrok, Krzysztof. editor. (orcid)0000-0002-3720-6454 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-63444-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computing 18th Colombian Conference on Computing, CCC 2024, Manizales, Colombia, September 4-6, 2024, Revised Selected Papers, Part II

2026-03-15T15:43:04Z

Yazar Duque-Méndez, Néstor Darío. editor. (orcid)0000-0002-4608-281X Aristizábal-Quintero, Luz Ángela. editor. (orcid)0000-0003-4510-9029 Orozco-Alzate, Mauricio. editor. (orcid)0000-0002-5937-6382 Aguilar, Jose. editor. (orcid)0000-0003-4194-6882 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75236-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data Analytics and Management in Data Intensive Domains 25th International Conference, DAMDID/RCDL 2023, Moscow, Russia, October 24-27, 2023, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Baixeries, Jaume. editor. (orcid)0000-0003-2896-2247 Ignatov, Dmitry I. editor. (orcid)0000-0002-6584-8534 Kuznetsov, Sergei O. editor. (orcid)0000-0003-3284-9001 Stupnikov, Sergey. editor. (orcid)0000-0003-4720-8215 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-67826-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Linking Theory and Practice of Digital Libraries 28th International Conference on Theory and Practice of Digital Libraries, TPDL 2024, Ljubljana, Slovenia, September 24-27, 2024, Proceedings, Part II

2026-03-15T15:43:04Z

Yazar Antonacopoulos, Apostolos. editor. (orcid)0000-0001-9552-0233 Hinze, Annika. editor. (orcid)0000-0002-7383-1134 Piwowarski, Benjamin. editor. (orcid)0000-0001-6792-3262 Coustaty, Mickaël. editor. (orcid)0000-0002-0123-439X Di Nunzio, Giorgio Maria. editor. (orcid)0000-0001-9709-6392
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-72440-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Performance Evaluation and Benchmarking 15th TPC Technology Conference, TPCTC 2023, Vancouver, BC, Canada, August 28 - September 1, 2023, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Nambiar, Raghunath. editor. Poess, Meikel. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-68031-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Safety, Reliability, and Security 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18-20, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Ceccarelli, Andrea. editor. (orcid)0000-0002-2291-2428 Trapp, Mario. editor. Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530 Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-68606-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops DECSoS, SASSUR, TOASTS, and WAISE, Florence, Italy, September 17, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Ceccarelli, Andrea. editor. (orcid)0000-0002-2291-2428 Trapp, Mario. editor. Bondavalli, Andrea. editor. (orcid)0000-0001-7366-6530 Schoitsch, Erwin. editor. (orcid)0000-0002-0335-5443 Gallina, Barbara. editor. (orcid)0000-0002-6952-1053
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-68738-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Sekerinski, Emil. editor. (orcid)0000-0001-9788-5842 Ribeiro, Leila. editor. (orcid)0000-0001-7039-092X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71379-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Driven Engineering and Software Development 11th International Conference, MODELSWARD 2023, Lisbon, Portugal, February 19-21, 2023, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Domínguez Mayo, Francisco José. editor. Pires, Luís Ferreira. editor. Seidewitz, Edwin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-66339-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Management of Digital EcoSystems 15th International Conference, MEDES 2023, Heraklion, Crete, Greece, May 5-7, 2023, Revised Selected Papers

2026-03-15T15:43:04Z

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
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-51643-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Innovations and Interdisciplinary Solutions for Underserved Areas 6th EAI International Conference, InterSol 2023, Flic en Flac, Mauritius, September 16-17, 2023, Proceedings

2026-03-15T15:43:04Z

Yazar Seeam, Amar. editor. Ramsurrun, Visham. editor. Juddoo, Suraj. editor. Phokeer, Amreesh. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-51849-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Exception Handling Fundamentals and Programming

2026-03-15T15:43:04Z

Yazar Mejia Alvarez, Pedro. author. Gonzalez Torres, Raul E. author. Ortega Cisneros, Susana. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-50681-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Smart Cities 6th Ibero-American Congress, ICSC-Cities 2023, Mexico City and Cuernavaca, Mexico, November 13-17, 2023, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Nesmachnow, Sergio. editor. (orcid)0000-0002-8146-4012 Hernández Callejo, Luis. editor. (orcid)0000-0002-8822-2948 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-52517-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Computing for Emerging Smart Networks 4th International Workshop, DiCES-N 2023, Bizerte, Tunisia, May 27, 2023, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Jemili, Imen. editor. (orcid)0000-0002-3701-1251 Mosbah, Mohamed. editor. Mabrouk, Sabra. editor. Mendiboure, Leo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-52823-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Big Data Technologies and Applications 13th EAI International Conference, BDTA 2023, Edinburgh, UK, August 23-24, 2023, Proceedings

2026-03-15T15:43:04Z

Yazar Tan, Zhiyuan. editor. (orcid)0000-0001-5420-2554 Wu, Yulei. editor. (orcid)0000-0003-0801-8443 Xu, Min. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-52265-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

HCI in Mobility, Transport, and Automotive Systems 6th International Conference, MobiTAS 2024, Held as Part of the 26th HCI International Conference, HCII 2024, Washington, DC, USA, June 29-July 4, 2024, Proceedings, Part II

2026-03-15T15:43:04Z

Yazar Krömker, Heidi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-60480-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Agile Processes in Software Engineering and Extreme Programming 25th International Conference on Agile Software Development, XP 2024, Bozen-Bolzano, Italy, June 4-7, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Šmite, Darja. editor. (orcid)0000-0003-1744-3118 Guerra, Eduardo. editor. (orcid)0000-0001-5555-3487 Wang, Xiaofeng. editor. (orcid)0000-0001-8424-419X Marchesi, Michele. editor. Gregory, Peggy. editor. (orcid)0000-0001-7891-6666
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-61154-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computational Intelligence. MICAI 2023 International Workshops WILE 2023, HIS 2023, and CIAPP 2023, Yucatán, Mexico, November 13-18, 2023, Proceedings

2026-03-15T15:43:04Z

Yazar Calvo, Hiram. editor. (orcid)0000-0003-2836-2102 Martínez-Villaseñor, Lourdes. editor. (orcid)0000-0002-9038-7821 Ponce, Hiram. editor. (orcid)0000-0002-6559-7501 Zatarain Cabada, Ramón. editor. (orcid)0000-0002-4524-3511 Montes Rivera, Martín. editor. (orcid)0000-0003-3897-6212
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-51940-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Edge Computing - EDGE 2023 7th International Conference, Held as Part of the Services Conference Federation, SCF 2023 Shenzhen, China, December 17-18, 2023, Proceedings

2026-03-15T15:43:04Z

Yazar Feng, Jun. editor. (orcid)0000-0001-9917-1819 Jiang, Frank. editor. Luo, Min. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-51826-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Internet of Things - ICIOT 2023 8th International Conference, Held as Part of the Services Conference Federation, SCF 2023, Shenzhen, China, December 17-18, 2023, Proceedings

2026-03-15T15:43:04Z

Yazar Ye, Kejiang. editor. Zhang, Liang-Jie. editor. (orcid)0000-0002-6219-0853 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-51734-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Gierasimczuk, Nina. editor. Velázquez-Quesada, Fernando R. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-51777-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Aspects of Component Software 19th International Conference, FACS 2023, Virtual Event, October 19-20, 2023, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Cámara, Javier. editor. Jongmans, Sung-Shik. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-52183-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

International Conference on Applied Technologies 5th International Conference on Applied Technologies, ICAT 2023, Samborondon, Ecuador, November 22-24, 2023, Revised Selected Papers, Part I

2026-03-15T15:43:04Z

Yazar Botto-Tobar, Miguel. editor. (orcid)0000-0001-7494-5224 Zambrano Vizuete, Marcelo. editor. (orcid)0000-0001-5152-7572 Montes León, Sergio. editor. (orcid)0000-0002-2564-4465 Torres-Carrión, Pablo. editor. (orcid)0000-0002-7606-0582 Durakovic, Benjamin. editor. (orcid)0000-0002-3099-0354
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-58956-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Architecture. ECSA 2024 Tracks and Workshops Luxembourg City, Luxembourg, September 3-6, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Ampatzoglou, Apostolos. editor. (orcid)0000-0002-5764-7302 Pérez, Jennifer. editor. (orcid)0000-0003-3192-7995 Buhnova, Barbora. editor. (orcid)0000-0003-4205-101X Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133 Venters, Colin C. editor. (orcid)0000-0001-8664-9107
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-71246-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10-12, 2023, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Fill, Hans-Georg. editor. (orcid)0000-0001-5076-5341 Domínguez Mayo, Francisco José. editor. van Sinderen, Marten. editor. (orcid)0000-0001-7118-1353 Maciaszek, Leszek A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-61753-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Application of Formal Methods Essays Dedicated to Jim Woodcock on the Occasion of His Retirement

2026-03-15T15:43:04Z

Yazar Foster, Simon. editor. (orcid)0000-0002-9889-9514 Sampaio, Augusto. editor. (orcid)0000-0001-6593-577X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-67114-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Learning and Knowledge Discovery in Databases. Research Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part VI

2026-03-15T15:43:04Z

Yazar Bifet, Albert. editor. (orcid)0000-0002-8339-7773 Davis, Jesse. editor. (orcid)0000-0002-3748-9263 Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X Kull, Meelis. editor. (orcid)0000-0001-9257-595X Ntoutsi, Eirini. editor. (orcid)0000-0001-5729-1003
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70365-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Learning and Knowledge Discovery in Databases. Research Track and Demo Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part VIII

2026-03-15T15:43:04Z

Yazar Bifet, Albert. editor. (orcid)0000-0002-8339-7773 Daniušis, Povilas. editor. (orcid)0000-0001-5977-827X Davis, Jesse. editor. (orcid)0000-0002-3748-9263 Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X Kull, Meelis. editor. (orcid)0000-0001-9257-595X
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70371-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part IX

2026-03-15T15:43:04Z

Yazar Bifet, Albert. editor. (orcid)0000-0002-8339-7773 Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X Miliou, Ioanna. editor. (orcid)0000-0002-1357-1967 Nowaczyk, Slawomir. editor. (orcid)0000-0002-7796-5201 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70378-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Learning and Knowledge Discovery in Databases. Applied Data Science Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part X

2026-03-15T15:43:04Z

Yazar Bifet, Albert. editor. (orcid)0000-0002-8339-7773 Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X Miliou, Ioanna. editor. (orcid)0000-0002-1357-1967 Nowaczyk, Slawomir. editor. (orcid)0000-0002-7796-5201 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70381-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Understanding the Digital World Modeling with HERAKLIT

2026-03-15T15:43:04Z

Yazar Fettke, Peter. author. Reisig, Wolfgang. author. (orcid)0000-0002-7026-2810 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-61898-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Learning and Knowledge Discovery in Databases. Research Track European Conference, ECML PKDD 2024, Vilnius, Lithuania, September 9-13, 2024, Proceedings, Part III

2026-03-15T15:43:04Z

Yazar Bifet, Albert. editor. (orcid)0000-0002-8339-7773 Davis, Jesse. editor. (orcid)0000-0002-3748-9263 Krilavičius, Tomas. editor. (orcid)0000-0001-8509-420X Kull, Meelis. editor. (orcid)0000-0001-9257-595X Ntoutsi, Eirini. editor. (orcid)0000-0001-5729-1003
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70352-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applications and Usability of Interactive TV 12th Iberoamerican Conference, jAUTI 2023, Havana, Cuba, October 16-17, 2023, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Abásolo, María José. editor. (orcid)0000-0003-4441-3264 Febles Estrada, Ailyn. editor. (orcid)0000-0002-5742-9719 De Castro Lozano, Carlos. editor. (orcid)0000-0002-8240-0344 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70439-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Videogame Sciences and Arts 13th International Conference, VJ 2023, Aveiro, Portugal, November 28-30, 2023, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Vale Costa, Liliana. editor. Zagalo, Nelson. editor. (orcid)0000-0002-5478-0650 Veloso, Ana Isabel. editor. Clua, Esteban. editor. (orcid)0000-0001-5650-1718 Arnab, Sylvester. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-51452-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Current Trends in Web Engineering ICWE 2023 International Workshops: BECS, SWEET, WALS, Alicante, Spain, June 6-9, 2023, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Casteleyn, Sven. editor. (orcid)0000-0003-0572-5716 Mikkonen, Tommi. editor. (orcid)0000-0002-8540-9918 García Simón, Alberto. editor. Ko, In-Young. editor. Loseto, Giuseppe. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-50385-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Research in Technologies, Information, Innovation and Sustainability Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings, Part II

2026-03-15T15:43:04Z

Yazar Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Diaz-Nafria, Jose Maria. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-48855-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Methods of Program Analysis 6th International Conference, TMPA 2021, Tomsk, Russia, November 25-27, 2021, Revised Selected Papers

2026-03-15T15:43:04Z

Yazar Yavorskiy, Rostislav. editor. Cavalli, Ana Rosa. editor. Kalenkova, Anna. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-50423-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Symbolic Computation in Software Science 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Watt, Stephen M. editor. (orcid)0000-0001-8303-4983 Ida, Tetsuo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-69042-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems First International Joint Conference, QEST+FORMATS 2024, Calgary, AB, Canada, September 9-13, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Hillston, Jane. editor. (orcid)0000-0003-4914-9255 Soudjani, Sadegh. editor. Waga, Masaki. editor. (orcid)0000-0001-9360-7490 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-68416-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Verification, Model Checking, and Abstract Interpretation 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part II

2026-03-15T15:43:04Z

Yazar Dimitrova, Rayna. editor. Lahav, Ori. editor. (orcid)0000-0003-4305-6998 Wolff, Sebastian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-50521-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools for Design, Implementation and Verification of Emerging Information Technologies 18th EAI International Conference, TRIDENTCOM 2023, Nanjing, China, November 11-13, 2023, Proceedings

2026-03-15T15:43:04Z

Yazar Liu, Jianghua. editor. Xu, Lei. editor. (orcid)0000-0001-9178-6640 Huang, Xinyi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-51399-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Engineering of Digital Twins

2026-03-15T15:43:04Z

Yazar Fitzgerald, John. editor. (orcid)0000-0001-7041-1807 Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742 Larsen, Peter Gorm. editor. (orcid)0000-0002-4589-1500 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-66719-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Quantum Software Aspects of Theory and System Design

2026-03-15T15:43:04Z

Yazar Exman, Iaakov. editor. (orcid)0000-0002-9917-3950 Pérez-Castillo, Ricardo. editor. (orcid)0000-0002-9271-3184 Piattini, Mario. editor. (orcid)0000-0002-7212-8279 Felderer, Michael. editor. (orcid)0000-0003-3818-4442 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-64136-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove

2026-03-15T15:43:04Z

Yazar Morazán, Marco T. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-43973-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Dependable Software Engineering. Theories, Tools, and Applications 9th International Symposium, SETTA 2023, Nanjing, China, November 27-29, 2023, Proceedings

2026-03-15T15:43:04Z

Yazar Hermanns, Holger. editor. (orcid)0000-0002-2766-9615 Sun, Jun. editor. Bu, Lei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-8664-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Transport Systems 7th EAI International Conference, INTSYS 2023, Molde, Norway, September 6-7, 2023, Proceedings

2026-03-15T15:43:04Z

Yazar Martins, Ana Lucia. editor. (orcid)0000-0002-8533-6595 Ferreira, Joao C. editor. Kocian, Alexander. editor. Tokkozhina, Ulpan. editor. Helgheim, Berit Irene. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-49379-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings

2026-03-15T15:43:04Z

Yazar Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-46002-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Research Challenges in Information Science 18th International Conference, RCIS 2024, Guimarães, Portugal, May 14-17, 2024, Proceedings, Part II

2026-03-15T15:43:04Z

Yazar Araújo, João. editor. (orcid)0000-0001-5914-1631 de la Vara, Jose Luis. editor. (orcid)0000-0003-1813-398X Santos, Maribel Yasmina. editor. (orcid)0000-0002-3249-6229 Assar, Saïd. editor. (orcid)0000-0001-8040-5865 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-59468-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Management: Theory and Application Volume 16

2026-03-15T15:43:04Z

Yazar Lee, Roger. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-55174-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Research Challenges in Information Science 18th International Conference, RCIS 2024, Guimarães, Portugal, May 14-17, 2024, Proceedings, Part I

2026-03-15T15:43:04Z

Yazar Araújo, João. editor. (orcid)0000-0001-5914-1631 de la Vara, Jose Luis. editor. (orcid)0000-0003-1813-398X Santos, Maribel Yasmina. editor. (orcid)0000-0002-3249-6229 Assar, Saïd. editor. (orcid)0000-0001-8040-5865 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-59465-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods for Industrial Critical Systems 29th International Conference, FMICS 2024, Milan, Italy, September 9-11, 2024, Proceedings

2026-03-15T15:43:04Z

Yazar Haxthausen, Anne E. editor. (orcid)0000-0001-7349-8872 Serwe, Wendelin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-68150-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model and Data Engineering 12th International Conference, MEDI 2023, Sousse, Tunisia, November 2-4, 2023, Proceedings

2026-03-15T15:43:04Z

Yazar Mosbah, Mohamed. editor. (orcid)0000-0001-6031-4237 Kechadi, Tahar. editor. (orcid)0000-0002-0176-6281 Bellatreche, Ladjel. editor. (orcid)0000-0001-9968-0066 Gargouri, Faiez. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-49333-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Research in Technologies, Information, Innovation and Sustainability Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings, Part I

2026-03-15T15:43:04Z

Yazar Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Diaz-Nafria, Jose Maria. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-48858-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Research in Technologies, Information, Innovation and Sustainability Third International Conference, ARTIIS 2023, Madrid, Spain, October 18-20, 2023, Proceedings, Part III

2026-03-15T15:43:04Z

Yazar Guarda, Teresa. editor. (orcid)0000-0002-9602-0692 Portela, Filipe. editor. (orcid)0000-0003-2181-6837 Diaz-Nafria, Jose Maria. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-48930-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Emerging Technologies in Computing 6th EAI International Conference, iCETiC 2023, Southend-on-Sea, UK, August 17-18, 2023, Proceedings

2026-03-15T15:43:04Z

Yazar Miraz, Mahdi H. editor. (orcid)0000-0002-6795-7048 Southall, Garfield. editor. (orcid)0000-0003-4027-1852 Ali, Maaruf. editor. (orcid)0000-0001-9906-5004 Ware, Andrew. editor. (orcid)0000-0002-9354-5039 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-50215-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Architectures Topics Usually Missed in Textbooks

2026-03-15T15:43:04Z

Yazar Nagl, Manfred. author. Westfechtel, Bernhard. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-51335-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Networking and Parallel/Distributed Computing Systems Volume 18

2026-03-15T15:43:04Z

Yazar Lee, Roger. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-53274-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1