Arama Sonuçları Computer Science. - Daraltılmış: 1:SPRINGER

Applied Computer Science

2026-03-18T05:18:36Z

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

Logic in Computer Science

2026-03-18T05:18:36Z

Yazar Zhang, Hantao. author. Zhang, Jian. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-9816-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer and Information Science

2026-03-18T05:18:36Z

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

Computer and Information Science 2015

2026-03-18T05:18:36Z

Yazar Lee, Roger. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-23467-0
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-18T05:18:36Z

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

Informatics in Schools. Innovative Approaches to Computer Science Teaching and Learning 17th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2024, Budapest, Hungary, October 28-30, 2024, Proceedings

2026-03-18T05:18:36Z

Yazar Pluhár, Zsuzsa. editor. (orcid)0000-0003-2688-4652 Gaál, Bence. editor. (orcid)0000-0001-8771-7140 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-73474-8
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-18T05:18:36Z

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

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-18T05:18:36Z

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

Graph-Theoretic Concepts in Computer Science 50th International Workshop, WG 2024, Gozd Martuljek, Slovenia, June 19-21, 2024, Revised Selected Papers

2026-03-18T05:18:36Z

Yazar Kráľ, Daniel. editor. (orcid)0000-0001-8680-0890 Milanič, Martin. editor. (orcid)0000-0002-8222-8097 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-75409-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part I

2026-03-18T05:18:36Z

Yazar Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-82670-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theoretical Computer Science 42nd National Conference, NCTCS 2024, Qingdao, China, July 19-21, 2024, Revised Selected Papers

2026-03-18T05:18:36Z

Yazar Yin, Yitong. editor. (orcid)0000-0001-9204-7794 Zhang, Jialin. editor. (orcid)0000-0002-6245-1013 Cai, Zhiping. editor. (orcid)0000-0001-5726-833X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-1490-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SOFSEM 2025: Theory and Practice of Computer Science 50th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2025, Bratislava, Slovak Republic, January 20-23, 2025, Proceedings, Part II

2026-03-18T05:18:36Z

Yazar Královič, Rastislav. editor. (orcid)0000-0003-1121-1009 Kůrková, Věra. editor. (orcid)0000-0002-8181-2128 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-82697-9
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-18T05:18:36Z

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

Computer Science and Educational Informatization 6th International Conference, CSEI 2024, Haikou, China, November 1-3, 2024, Revised Selected Papers, Part II

2026-03-18T05:18:36Z

Yazar Zhang, Kun. editor. (orcid)0000-0001-9195-8000 Song, Xianhua. editor. Obaidat, Mohammad S. editor. (orcid)0000-0002-1569-9657 Bilal, Anas. editor. (orcid)0000-0002-7760-3374 Hu, Jun. editor. (orcid)0000-0002-7852-5064
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-3738-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Research in Computer Science 17th African Conference on Research in Computer Science and Applied Mathematics, CARI 2024, Bejaïa, Algeria, November 24-26, 2024, Proceedings

2026-03-18T05:18:36Z

Yazar Aissani, Djamil. editor. Barkaoui, Kamel. editor. (orcid)0000-0001-7175-0448 Roche, Mathieu. editor. (orcid)0000-0003-3272-8568 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-88226-5
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-18T05:18:36Z

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

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-18T05:18:36Z

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

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-18T05:18:36Z

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

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-18T05:18:36Z

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

Computer Science and Educational Informatization 6th International Conference, CSEI 2024, Haikou, China, November 1-3, 2024, Revised Selected Papers, Part I

2026-03-18T05:18:36Z

Yazar Zhang, Kun. editor. (orcid)0000-0001-9195-8000 Song, Xianhua. editor. Obaidat, Mohammad S. editor. (orcid)0000-0002-1569-9657 Bilal, Anas. editor. (orcid)0000-0002-7760-3374 Hu, Jun. editor. (orcid)0000-0002-7852-5064
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-3735-5
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-18T05:18:36Z

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

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-18T05:18:36Z

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

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-18T05:18:36Z

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

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-18T05:18:36Z

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

Computer Science and Educational Informatization 5th International Conference, CSEI 2023, Kunming, China, August 11-13, 2023, Revised Selected Papers, Part II

2026-03-18T05:18:36Z

Yazar Gan, Jianhou. editor. Pan, Yi. editor. (orcid)0000-0002-2766-3096 Zhou, Juxiang. editor. Liu, Dong. editor. Song, Xianhua. editor. (orcid)0000-0002-0111-8559
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-9492-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science and Educational Informatization 5th International Conference, CSEI 2023, Kunming, China, August 11-13, 2023, Revised Selected Papers, Part I

2026-03-18T05:18:36Z

Yazar Gan, Jianhou. editor. Pan, Yi. editor. (orcid)0000-0002-2766-3096 Zhou, Juxiang. editor. Liu, Dong. editor. Song, Xianhua. editor. (orcid)0000-0002-0111-8559
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-9499-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SOFSEM 2024: Theory and Practice of Computer Science 49th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2024, Cochem, Germany, February 19-23, 2024, Proceedings

2026-03-18T05:18:36Z

Yazar Fernau, Henning. editor. (orcid)0000-0002-4444-3220 Gaspers, Serge. editor. (orcid)0000-0002-6947-9238 Klasing, Ralf. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-52113-3
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-18T05:18:36Z

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

Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings

2026-03-18T05:18:36Z

Yazar König, Barbara. editor. (orcid)0000-0002-4193-2889 Urbat, Henning. editor. (orcid)0000-0002-3265-7168 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-66438-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theoretical Computer Science 41st National Conference, NCTCS 2023, Guangzhou, China, July 21-23, 2023, Revised Selected Papers

2026-03-18T05:18:36Z

Yazar Cai, Zhiping. editor. (orcid)0000-0001-5726-833X Xiao, Mingyu. editor. Zhang, Jialin. editor. (orcid)0000-0002-6245-1013 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-7743-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science and Education. Computer Science and Technology 18th International Conference, ICCSE 2023, Sepang, Malaysia, December 1-7, 2023, Proceedings, Part I

2026-03-18T05:18:36Z

Yazar Hong, Wenxing. editor. Kanaparan, Geetha. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-0730-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science and Education. Educational Digitalization 18th International Conference, ICCSE 2023, Sepang, Malaysia, December 1-7, 2023, Proceedings, Part III

2026-03-18T05:18:36Z

Yazar Hong, Wenxing. editor. Kanaparan, Geetha. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-0737-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science and Education. Teaching and Curriculum 18th International Conference, ICCSE 2023, Sepang, Malaysia, December 1-7, 2023, Proceedings, Part II

2026-03-18T05:18:36Z

Yazar Hong, Wenxing. editor. Kanaparan, Geetha. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-0791-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science - CACIC 2023 29th Argentine Congress of Computer Science, Lujan, Argentina, October 9-12, 2023, Revised Selected Papers

2026-03-18T05:18:36Z

Yazar Pesado, Patricia. editor. Panessi, Walter. editor. (orcid)0009-0006-6299-1462 Fernández, Juan Manuel. editor. (orcid)0000-0001-9291-3066 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-62245-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

South African Computer Science and Information Systems Research Trends 45th Annual Conference, SAICSIT 2024, Gqeberha, South Africa, July 15-17, 2024, Proceedings

2026-03-18T05:18:36Z

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

Relational and Algebraic Methods in Computer Science 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024, Proceedings

2026-03-18T05:18:36Z

Yazar Fahrenberg, Uli. editor. Fussner, Wesley. editor. Glück, Roland. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-68279-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Topics in Theoretical Computer Science Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings

2026-03-18T05:18:36Z

Yazar Mousavi, Mohammad Reza. editor. Sgall, Jiří. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68953-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graph-Theoretic Concepts in Computer Science 43rd International Workshop, WG 2017, Eindhoven, The Netherlands, June 21-23, 2017, Revised Selected Papers

2026-03-18T05:18:36Z

Yazar Bodlaender, Hans L. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-68705-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theoretical Computer Science 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017, Proceedings

2026-03-18T05:18:36Z

Yazar Du, Dingzhu. editor. Li, Lian. editor. Zhu, En. editor. He, Kun. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-6893-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science - Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings

2026-03-18T05:18:36Z

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

Data Science Third International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2017, Changsha, China, September 22-24, 2017, Proceedings, Part II

2026-03-18T05:18:36Z

Yazar Zou, Beiji. editor. Han, Qilong. editor. Sun, Guanglu. editor. (orcid)0000-0003-2589-1164 Jing, Weipeng. editor. Peng, Xiaoning. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-6388-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Data Science Third International Conference of Pioneering Computer Scientists, Engineers and Educators, ICPCSEE 2017, Changsha, China, September 22-24, 2017, Proceedings, Part I

2026-03-18T05:18:36Z

Yazar Zou, Beiji. editor. Li, Min. editor. Wang, Hongzhi. editor. Song, Xianhua. editor. (orcid)0000-0002-0111-8559 Xie, Wei. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-6385-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

SOFSEM 2017: Theory and Practice of Computer Science 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

2026-03-18T05:18:36Z

Yazar Steffen, Bernhard. editor. Baier, Christel. editor. van den Brand, Mark. editor. Eder, Johann. editor. Hinchey, Mike. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-51963-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theoretical Computer Science and Discrete Mathematics First International Conference, ICTCSDM 2016, Krishnankoil, India, December 19-21, 2016, Revised Selected Papers

2026-03-18T05:18:36Z

Yazar Arumugam, S. editor. Bagga, Jay. editor. Beineke, Lowell W. editor. Panda, B.S. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-64419-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings

2026-03-18T05:18:36Z

Yazar Höfner, Peter. editor. Pous, Damien. editor. Struth, Georg. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-57418-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graph-Theoretic Concepts in Computer Science 42nd International Workshop, WG 2016, Istanbul, Turkey, June 22-24, 2016, Revised Selected Papers

2026-03-18T05:18:36Z

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

SOFSEM 2016: Theory and Practice of Computer Science 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings

2026-03-18T05:18:36Z

Yazar Freivalds, Rūsiņš Mārtiņš. editor. Engels, Gregor. editor. Catania, Barbara. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-49192-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Topics in Theoretical Computer Science The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers

2026-03-18T05:18:36Z

Yazar Hajiaghayi, Mohammed Taghi. editor. Mousavi, Mohammad Reza. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-28678-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science - Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings

2026-03-18T05:18:36Z

Yazar Kulikov, Alexander S. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-34171-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers

2026-03-18T05:18:36Z

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

Graph-Theoretic Concepts in Computer Science 41st International Workshop, WG 2015, Garching, Germany, June 17-19, 2015, Revised Papers

2026-03-18T05:18:36Z

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

Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings

2026-03-18T05:18:36Z

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

Advances in Computer Science for Engineering and Education VII

2026-03-18T05:18:36Z

Yazar Hu, Zhengbing. editor. Yanovsky, Felix. editor. (orcid)0000-0002-9529-5969 Dychka, Ivan. editor. He, Matthew. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-84228-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computer Science and Ubiquitous Computing Proceedings of CSA 2024

2026-03-18T05:18:36Z

Yazar Park, Ji Su. editor. (orcid)0000-0001-9003-1131 Camacho, David. editor. (orcid)0000-0002-5051-3475 Gritzalis, Stefanos. editor. (orcid)0000-0002-8037-2191 Park, James J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-5693-6
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-18T05:18:36Z

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

Proceedings of the 3rd International Conference on Computer Science's Complex Systems and Their Applications ICCSA'2024

2026-03-18T05:18:36Z

Yazar Marir, Toufik. editor. (orcid)0000-0002-8709-0680 Bouzid, Maroua. editor. Benaboud, Rohallah. editor. (orcid)0000-0002-6301-2506 Bourouis, Abdelhabib. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90758-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Achieving Sustainable Business through AI, Technology Education and Computer Science Volume 1: Computer Science, Business Sustainability, and Competitive Advantage

2026-03-18T05:18:36Z

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

Frontiers of Computer Science and Information Technology Proceedings of the 2024 3rd Eurasian Conference on Frontiers of Computer Science and Information Technology (FCSIT 2024)

2026-03-18T05:18:36Z

Yazar Lorenz, Pascal. editor. (orcid)0000-0003-3346-7216 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-88649-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Data Science and Optimization of Complex Systems Proceedings of the International Conference on Applied Mathematics and Computer Science - ICAMCS 2024, Volume 1

2026-03-18T05:18:36Z

Yazar Le Thi, Hoai An. editor. (orcid)0000-0002-2239-2100 Le, Hoai Minh. editor. Nguyen, Quang Thuan. editor. (orcid)0009-0006-2259-8404 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90606-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematics and Logics in Computer Science Proceedings of ICMLCS 2024

2026-03-18T05:18:36Z

Yazar Chaturvedi, Atul. editor. Roy, Bimal Kumar. editor. Tsaban, Boaz. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-3256-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 4

2026-03-18T05:18:36Z

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

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

2026-03-18T05:18:36Z

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

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

2026-03-18T05:18:36Z

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

Discrete Mathematics, Probability Theory and Stochastic Processes For Applications in Engineering and Computer Science

2026-03-18T05:18:36Z

Yazar Brahim Belhaouari, Samir. author. (orcid)0000-0003-2336-0490 Bensmail, Halima. author. Mehrdoust, Farshid. author. (orcid)0000-0002-0774-151X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-80589-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer and Information Science and Engineering Volume 18

2026-03-18T05:18:36Z

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

Advances in Data Science and Optimization of Complex Systems Proceedings of the International Conference on Applied Mathematics and Computer Science - ICAMCS 2024, Volume 2

2026-03-18T05:18:36Z

Yazar Le Thi, Hoai An. editor. (orcid)0000-0002-2239-2100 Le, Hoai Minh. editor. Nguyen, Quang Thuan. editor. (orcid)0009-0006-2259-8404 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-032-00267-9
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-18T05:18:36Z

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 Science and Engineering in Health Services 6th EAI International Conference Proceedings, COMPSE 2022, Mexico City, July 28, 2022

2026-03-18T05:18:36Z

Yazar Marmolejo-Saucedo, José Antonio. editor. Rodríguez-Aguilar, Roman. editor. Vasant, Pandian. editor. Litvinchev, Igor. editor. Retana-Blanco, Brenda M. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-34750-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evolution of STEM-Driven Computer Science Education The Perspective of Big Concepts

2026-03-18T05:18:36Z

Yazar Štuikys, Vytautas. author. Burbaitė, Renata. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-48235-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Science in Sport Modeling, Simulation, Data Analysis and Visualization of Sports-Related Data

2026-03-18T05:18:36Z

Yazar Memmert, Daniel. editor. (orcid)0000-0002-3406-9175 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-662-68313-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundation Mathematics for Computer Science A Visual Approach

2026-03-18T05:18:36Z

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

Software Engineering Methods Design and Application Proceedings of 13th Computer Science Online Conference 2024, Volume 1

2026-03-18T05:18:36Z

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

Machine Learning Methods in Systems Proceedings of 13th Computer Science On-line Conference 2024, Vol. 4

2026-03-18T05:18:36Z

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

Achieving Sustainable Business Through AI, Technology Education and Computer Science Volume 2: Teaching Technology and Business Sustainability

2026-03-18T05:18:36Z

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

Artificial Intelligence Algorithm Design for Systems Proceedings of 13th Computer Science Online Conference 2024, Volume 3

2026-03-18T05:18:36Z

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

Achieving Sustainable Business Through AI, Technology Education and Computer Science Volume 3: Business Sustainability and Artificial Intelligence Applications

2026-03-18T05:18:36Z

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

Proceedings of the International Conference on Computer Science, Electronics and Industrial Engineering (CSEI 2023) Volume 1: Advances in Computer Sciences - Exploring Innovations at the Intersection of Computing Technologies

2026-03-18T05:18:36Z

Yazar Garcia, Marcelo V. editor. (orcid)0000-0002-7138-3913 Gordón-Gallegos, Carlos. editor. (orcid)0000-0002-8031-2658 Salazar-Ramírez, Asier. editor. (orcid)0000-0002-3958-8214 Nuñez, Carlos. editor. (orcid)0000-0003-4338-2099 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-69228-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computer Science and Ubiquitous Computing Proceedings of CUTE/CSA 2023

2026-03-18T05:18:36Z

Yazar Park, Ji Su. editor. (orcid)0000-0001-9003-1131 Yang, Laurence T. editor. Pan, Yi. editor. (orcid)0000-0002-2766-3096 Park, James J. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-2447-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of the International Conference on Computer Science, Electronics and Industrial Engineering (CSEI 2023) Volume 2: Innovations in Industrial Engineering and Robotics in Industry - Bridging the Gap Between Theory and Practical Application

2026-03-18T05:18:36Z

Yazar Garcia, Marcelo V. editor. (orcid)0000-0002-7138-3913 Gordón-Gallegos, Carlos. editor. (orcid)0000-0002-8031-2658 Salazar-Ramírez, Asier. editor. (orcid)0000-0002-3958-8214 Nuñez, Carlos. editor. (orcid)0000-0003-4338-2099 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70981-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of the 14th International Symposium on Computer Science in Sport (IACSS 2023)

2026-03-18T05:18:36Z

Yazar Zhang, Hui. editor. (orcid)0000-0003-0601-3905 Lames, Martin. editor. (orcid)0000-0002-0249-2884 Baca, Arnold. editor. (orcid)0000-0002-1704-0290 Wu, Yingcai. editor. (orcid)0000-0002-1119-3237 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-2898-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Innovative Methods in Computer Science and Computational Applications in the Era of Industry 5.0 Proceedings of the 5th International Conference on Artificial Intelligence and Applied Mathematics in Engineering ICAIAME 2023, Volume 1

2026-03-18T05:18:36Z

Yazar Hemanth, D. Jude. editor. Kose, Utku. editor. (orcid)0000-0002-9652-6415 Patrut, Bogdan. editor. Ersoy, Mevlut. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-56310-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Innovative Methods in Computer Science and Computational Applications in the Era of Industry 5.0 Proceedings of the 5th International Conference on Artificial Intelligence and Applied Mathematics in Engineering ICAIAME 2023, Volume 2

2026-03-18T05:18:36Z

Yazar Hemanth, D. Jude. editor. Kose, Utku. editor. (orcid)0000-0002-9652-6415 Patrut, Bogdan. editor. Ersoy, Mevlut. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-56322-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer and Information Science and Engineering Volume 16

2026-03-18T05:18:36Z

Yazar Lee, Roger. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-57037-7
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-18T05:18:36Z

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

7th EAI International Conference on Computer Science and Engineering in Health Services COMPSE 2023

2026-03-18T05:18:36Z

Yazar Marmolejo-Saucedo, José Antonio. editor. De La Mota, Idalia Flores. editor. Rodriguez-Aguilar, Roman. editor. Marmolejo-Saucedo, Liliana. editor. Rodriguez-Aguilar, Miriam. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-67440-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computer Science and Ubiquitous Computing CSA-CUTE2016

2026-03-18T05:18:36Z

Yazar Park, James J. (Jong Hyuk). editor. Pan, Yi. editor. Yi, Gangman. editor. Loia, Vincenzo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-3023-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Intelligent Systems and Computing Selected Papers from the International Conference on Computer Science and Information Technologies, CSIT 2016, September 6-10 Lviv, Ukraine

2026-03-18T05:18:36Z

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

Software Engineering Trends and Techniques in Intelligent Systems Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 3

2026-03-18T05:18:36Z

Yazar Silhavy, Radek. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor. Senkerik, Roman. editor. Kominkova Oplatkova, Zuzana. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-57141-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Environmental Software Systems. Computer Science for Environmental Protection 12th IFIP WG 5.11 International Symposium, ISESS 2017, Zadar, Croatia, May 10-12, 2017, Proceedings

2026-03-18T05:18:36Z

Yazar Hřebíček, Jiří. editor. Denzer, Ralf. editor. Schimak, Gerald. editor. Pitner, Tomáš. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-89935-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cybernetics and Mathematics Applications in Intelligent Systems Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 2

2026-03-18T05:18:36Z

Yazar Silhavy, Radek. editor. Senkerik, Roman. editor. Kominkova Oplatkova, Zuzana. editor. Prokopova, Zdenka. editor. Silhavy, Petr. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-57264-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Adventures in Computer Science From Classical Bits to Quantum Bits

2026-03-18T05:18:36Z

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

Applied Computer Science for GGOS Observatories Communication, Coordination and Automation of Future Geodetic Infrastructures

2026-03-18T05:18:36Z

Yazar Neidhardt, Alexander N.J. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-40139-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Informatics in the Future Proceedings of the 11th European Computer Science Summit (ECSS 2015), Vienna, October 2015

2026-03-18T05:18:36Z

Yazar Werthner, Hannes. editor. van Harmelen, Frank. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-55735-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Transactions on Engineering Technologies World Congress on Engineering and Computer Science 2015

2026-03-18T05:18:36Z

Yazar Ao, Sio-Iong. editor. Kim, Haeng Kon. editor. Amouzegar, Mahyar A. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-2717-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Innovations in Computer Science and Engineering Proceedings of the Fourth ICICSE 2016

2026-03-18T05:18:36Z

Yazar Saini, H. S. editor. Sayal, Rishi. editor. Rawat, Sandeep Singh. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-3818-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Smart Energy Research. At the Crossroads of Engineering, Economics, and Computer Science 3rd and 4th IFIP TC 12 International Conferences, SmartER Europe 2016 and 2017, Essen, Germany, February 16-18, 2016, and February 9, 2017, Revised Selected Papers

2026-03-18T05:18:36Z

Yazar Derksen, Christian. editor. Weber, Christoph. editor. (orcid)0000-0003-0197-7991 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-66553-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence Trends in Intelligent Systems Proceedings of the 6th Computer Science On-line Conference 2017 (CSOC2017), Vol 1

2026-03-18T05:18:36Z

Yazar Silhavy, Radek. editor. Senkerik, Roman. editor. Kominkova Oplatkova, Zuzana. editor. Prokopova, Zdenka. editor. Silhavy, Petr. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-57261-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence Perspectives in Intelligent Systems Proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016), Vol 1

2026-03-18T05:18:36Z

Yazar Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-33625-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering Perspectives and Application in Intelligent Systems Proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016), Vol 2

2026-03-18T05:18:36Z

Yazar Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-33622-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Proceedings of the 10th International Symposium on Computer Science in Sports (ISCSS)

2026-03-18T05:18:36Z

Yazar Chung, Paul. editor. Soltoggio, Andrea. editor. Dawson, Christian W. editor. Meng, Qinggang. editor. Pain, Matthew. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-24560-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Technology for Management Federated Conference on Computer Science and Information Systems, ISM 2015 and AITM 2015, Lodz, Poland, September 2015, Revised Selected Papers

2026-03-18T05:18:36Z

Yazar Ziemba, Ewa. editor. (orcid)0000-0002-1084-7497 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-30528-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mathematical and Engineering Methods in Computer Science 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers

2026-03-18T05:18:36Z

Yazar Kofroň, Jan. editor. Vojnar, Tomáš. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-29817-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automation Control Theory Perspectives in Intelligent Systems Proceedings of the 5th Computer Science On-line Conference 2016 (CSOC2016), Vol 3

2026-03-18T05:18:36Z

Yazar Silhavy, Radek. editor. Senkerik, Roman. editor. Oplatkova, Zuzana Kominkova. editor. Silhavy, Petr. editor. Prokopova, Zdenka. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-33389-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Human Language Technology. Challenges for Computer Science and Linguistics 6th Language and Technology Conference, LTC 2013, Poznań, Poland, December 7-9, 2013. Revised Selected Papers

2026-03-18T05:18:36Z

Yazar Vetulani, Zygmunt. editor. Uszkoreit, Hans. editor. Kubis, Marek. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-43808-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Computational Methods for Knowledge Engineering Proceedings of the 4th International Conference on Computer Science, Applied Mathematics and Applications, ICCSAMA 2016, 2-3 May, 2016, Vienna, Austria

2026-03-18T05:18:36Z

Yazar Nguyen, Thanh Binh. editor. van Do, Tien. editor. An Le Thi, Hoai. editor. Nguyen, Ngoc Thanh. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-38884-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Innovations in Computer Science and Engineering Proceedings of the Third ICICSE, 2015

2026-03-18T05:18:36Z

Yazar Saini, H. S. editor. Sayal, Rishi. editor. Rawat, Sandeep. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-0419-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applied Antifragility in Natural Systems From Principles to Applications

2026-03-18T05:18:36Z

Yazar Axenie, Cristian. author. (orcid)0000-0001-6184-0546 Bauer, Roman. author. (orcid)0000-0002-7268-9359 López Corona, Oliver. author. West, Jeffrey. author. (orcid)0000-0001-9579-4664 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90391-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Humanizing AI with Personality

2026-03-18T05:18:36Z

Yazar Karimova, Gulnara Z. author. (orcid)0000-0003-1808-8373 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-82327-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Generalized Jeffrey Conditionalization A Frequentist Semantics of Partial Conditionalization

2026-03-18T05:18:36Z

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

Privately and Publicly Verifiable Computing Techniques A Survey

2026-03-18T05:18:36Z

Yazar Demirel, Denise. author. Schabhüser, Lucas. author. Buchmann, Johannes. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-53798-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Discrete Mathematics An Accessible Introduction to the History, Theory, Logic and Applications

2026-03-18T05:18:36Z

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

Introduction to Biometrics

2026-03-18T05:18:36Z

Yazar Jain, Anil K. author. Ross, Arun A. author. (orcid)0000-0001-8850-3013 Nandakumar, Karthik. author. (orcid)0000-0002-6274-9725 Swearingen, Thomas. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-61675-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Numbers and Computers

2026-03-18T05:18:36Z

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

Non-Line-of-Sight Ultraviolet Communications Principles and Technologies

2026-03-18T05:18:36Z

Yazar Yuan, Renzhi. author. (orcid)0000-0002-9554-9279 Wang, Zhifeng. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-8543-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The AI Act and The Agile Safety Plan

2026-03-18T05:18:36Z

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

The Essential Guide to Prompt Engineering Key Principles, Techniques, Challenges, and Security Risks

2026-03-18T05:18:36Z

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

The Mathematical Theory of Semantic Communication

2026-03-18T05:18:36Z

Yazar Niu, Kai. author. Zhang, Ping. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-5132-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Self-restructuring in Fault Tolerant Architecture Processor Arrays with Spares

2026-03-18T05:18:36Z

Yazar Takanami, Itsuo. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-1539-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Federated Cyber Intelligence Federated Learning for Cybersecurity

2026-03-18T05:18:36Z

Yazar Tabrizchi, Hamed. author. (orcid)0000-0001-9250-2232 Aghasi, Ali. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-86592-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reciprocal Recommender Systems

2026-03-18T05:18:36Z

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

The Python Workbook A Brief Introduction with Exercises and Solutions

2026-03-18T05:18:36Z

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

Integrated Circuit Design Tape-out Process with Open-Source Tools

2026-03-18T05:18:36Z

Yazar Ortega Cisneros, Susana. author. Baungarten Leon, Emilio Isaac. author. (orcid)0000-0001-6243-219X Mejia Alvarez, Pedro. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-92108-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Edge Intelligent Computing Systems in Different Domains

2026-03-18T05:18:36Z

Yazar Picano, Benedetta. author. Fantacci, Romano. author. (orcid)0000-0001-5934-3321 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-49472-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reinforcement Learning for Reconfigurable Intelligent Surfaces Assisted Wireless Communication Systems

2026-03-18T05:18:36Z

Yazar Faisal, Alice. author. Al-Nahhal, Ibrahim. author. Dobre, Octavia A. author. Ngatched, Telex M. N. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-52554-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamentals of Digital Forensics A Guide to Theory, Research and Applications

2026-03-18T05:18:36Z

Yazar Kävrestad, Joakim. author. Birath, Marcus. author. (orcid)0000-0001-5692-4008 Clarke, Nathan. author. (orcid)0000-0002-3595-3800 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-53649-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Feature Models AI-Driven Design, Analysis and Applications

2026-03-18T05:18:36Z

Yazar Felfernig, Alexander. author. Falkner, Andreas. author. Benavides, David. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-61874-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Encrypted Network Traffic Analysis

2026-03-18T05:18:36Z

Yazar Cherukuri, Aswani Kumar. author. (orcid)0000-0001-8455-9108 Ikram, Sumaiya Thaseen. author. (orcid)0000-0001-8906-2010 Li, Gang. author. Liu, Xiao. author. (orcid)0000-0001-8400-5754 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-62909-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Modelling of Robot Personhood and Relationality

2026-03-18T05:18:36Z

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

Secure Voice Processing Systems against Malicious Voice Attacks

2026-03-18T05:18:36Z

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

Securing Unmanned Aerial Vehicle Networks Models and Algorithms

2026-03-18T05:18:36Z

Yazar Duo, Bin. author. Yuan, Xiaojun. author. Liu, Yifan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-45605-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Deep Learning in Smart eHealth Systems Evaluation Leveraging for Parkinson's Disease

2026-03-18T05:18:36Z

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

Real-Time Database Systems Fundamentals, Architectures and Applications

2026-03-18T05:18:36Z

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

Indexing on Non-Volatile Memory Techniques, Lessons Learned and Outlook

2026-03-18T05:18:36Z

Yazar Huang, Kaisong. author. (orcid)0000-0001-7919-5426 Wang, Tianzheng. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-47627-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2026-03-18T05:18:36Z

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

Incentive Mechanism for Mobile Crowdsensing A Game-theoretic Approach

2026-03-18T05:18:36Z

Yazar Li, Youqi. author. (orcid)0000-0003-3867-5997 Li, Fan. author. (orcid)0000-0002-2348-4488 Yang, Song. author. Zhang, Chuan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-99-6921-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Continuous Biometric Authentication Systems An Overview

2026-03-18T05:18:36Z

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

Guide to Computer Network Security

2026-03-18T05:18:36Z

Yazar Kizza, Joseph Migga. author. (orcid)0009-0001-1564-4277 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-47549-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Exception Handling Fundamentals and Programming

2026-03-18T05:18:36Z

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

Manifold Learning Model Reduction in Engineering

2026-03-18T05:18:36Z

Yazar Ryckelynck, David. author. Casenave, Fabien. author. Akkari, Nissrine. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-52764-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

From Unimodal to Multimodal Machine Learning An Overview

2026-03-18T05:18:36Z

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

Human Digital Twin Exploring Connectivity and Security Issues

2026-03-18T05:18:36Z

Yazar Okegbile, Samuel D. author. Cai, Jun. author. Yi, Changyan. author. (orcid)0000-0002-3467-0710 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-57534-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Efficient Online Incentive Mechanism Designs for Wireless Communications

2026-03-18T05:18:36Z

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

Practical Backscatter Communication for the Internet of Things

2026-03-18T05:18:36Z

Yazar Gong, Wei. author. Liu, Jiangchuan. author. Wu, Weiqi. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-59254-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

LoRa Localization System Design and Performance Analysis

2026-03-18T05:18:36Z

Yazar Shi, Zhiguo. author. Gu, Chaojie. author. He, Shibo. author. (orcid)0000-0002-1505-6766 Hu, Kang. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-48008-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applications of Game Theory in Deep Learning

2026-03-18T05:18:36Z

Yazar Hazra, Tanmoy. author. Anjaria, Kushal. author. (orcid)0000-0001-9034-6977 Bajpai, Aditi. author. Kumari, Akshara. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-54653-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Open-Set Text Recognition Concepts, Framework, and Algorithms

2026-03-18T05:18:36Z

Yazar Yin, Xu-Cheng. author. (orcid)0000-0003-0023-0220 Yang, Chun. author. (orcid)0000-0002-6297-4500 Liu, Chang. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-0361-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge-augmented Methods for Natural Language Processing

2026-03-18T05:18:36Z

Yazar Jiang, Meng. author. (orcid)0000-0002-3009-519X Lin, Bill Yuchen. author. Wang, Shuohang. author. Xu, Yichong. author. Yu, Wenhao. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-0747-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Heterogeneous Hardware via Managed Runtime Systems

2026-03-18T05:18:36Z

Yazar Fumero, Juan. author. Stratikopoulos, Athanasios. author. (orcid)0000-0002-0154-4523 Kotselidis, Christos. author. (orcid)0000-0002-8146-3503 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-49559-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Introduction to Computational Social Science Principles and Applications

2026-03-18T05:18:36Z

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

Ethical and Social Issues in the Information Age

2026-03-18T05:18:36Z

Yazar Kizza, Joseph Migga. author. (orcid)0009-0001-1564-4277 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-70712-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Visual Pattern Discovery and Recognition

2026-03-18T05:18:36Z

Yazar Wang, Hongxing. author. Weng, Chaoqun. author. Yuan, Junsong. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-4840-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Facial Kinship Verification A Machine Learning Approach

2026-03-18T05:18:36Z

Yazar Yan, Haibin. author. Lu, Jiwen. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-4484-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Systems for Big Graph Analytics

2026-03-18T05:18:36Z

Yazar Yan, Da. author. Tian, Yuanyuan. author. Cheng, James. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-58217-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Resource Management for Internet of Things

2026-03-18T05:18:36Z

Yazar Delicato, Flávia C. author. Pires, Paulo F. author. Batista, Thais. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-54247-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mobile Information Retrieval

2026-03-18T05:18:36Z

Yazar Crestani, Fabio. author. Mizzaro, Stefano. author. Scagnetto, Ivan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-60777-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatorial Testing in Cloud Computing

2026-03-18T05:18:36Z

Yazar Tsai, Wei-Tek. author. Qi, Guanqiu. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-4481-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Preference Query Analysis and Optimization

2026-03-18T05:18:36Z

Yazar Gao, Yunjun. author. Liu, Qing. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-6635-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Secure and Trustworthy Transportation Cyber-Physical Systems

2026-03-18T05:18:36Z

Yazar Sun, Yunchuan. editor. Song, Houbing. editor. (orcid)0000-0003-2631-9223 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-3892-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Discriminative Pattern Discovery on Biological Networks

2026-03-18T05:18:36Z

Yazar Fassetti, Fabio. author. Rombo, Simona E. author. Serrao, Cristina. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-63477-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Methods for Processing and Analysis of Biological Pathways

2026-03-18T05:18:36Z

Yazar Bezerianos, Anastasios. author. Dragomir, Andrei. author. Balomenos, Panos. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-53868-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Crowd-Powered Mobile Computing and Smart Things

2026-03-18T05:18:36Z

Yazar Loke, Seng W. author. (orcid)0000-0002-5339-9305 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-54436-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Art, Design and Technology: Collaboration and Implementation

2026-03-18T05:18:36Z

Yazar Earnshaw, Rae. author. (orcid)0000-0002-5156-7125 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-58121-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Research and Development in the Academy, Creative Industries and Applications

2026-03-18T05:18:36Z

Yazar Earnshaw, Rae. author. (orcid)0000-0002-5156-7125 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-54081-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Failure-Modes-Based Software Reading

2026-03-18T05:18:36Z

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

Internet Video Data Streaming Energy-saving and Cost-aware Methods

2026-03-18T05:18:36Z

Yazar Tian, Ye. author. Zhao, Min. author. Zhang, Xinming. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-6523-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fraud Prevention in Online Digital Advertising

2026-03-18T05:18:36Z

Yazar Zhu, Xingquan. author. (orcid)0000-0003-4129-9611 Tao, Haicheng. author. Wu, Zhiang. author. Cao, Jie. author. Kalish, Kristopher. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-56793-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

State of the Art in Digital Media and Applications

2026-03-18T05:18:36Z

Yazar Earnshaw, Rae. author. (orcid)0000-0002-5156-7125 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-61409-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Context-Aware Collaborative Prediction

2026-03-18T05:18:36Z

Yazar Wu, Shu. author. Liu, Qiang. author. Wang, Liang. author. Tan, Tieniu. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-5373-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Security of Highly Critical Wireless Networks

2026-03-18T05:18:36Z

Yazar Martellini, Maurizio. author. Abaimov, Stanislav. author. Gaycken, Sandro. author. Wilson, Clay. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-52905-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Compilation for Secure Multi-party Computation

2026-03-18T05:18:36Z

Yazar Büscher, Niklas. author. Katzenbeisser, Stefan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67522-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Redescription Mining

2026-03-18T05:18:36Z

Yazar Galbrun, Esther. author. Miettinen, Pauli. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-72889-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ontology-Based Data Access Leveraging Subjective Reports

2026-03-18T05:18:36Z

Yazar Simari, Gerardo I. author. Molinaro, Cristian. author. Vanina Martinez, Maria. author. Lukasiewicz, Thomas. author. Predoiu, Livia. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-65229-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

QoS Prediction in Cloud and Service Computing Approaches and Applications

2026-03-18T05:18:36Z

Yazar Zhang, Yilei. author. Lyu, Michael R. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-5278-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Data Science Design Manual

2026-03-18T05:18:36Z

Yazar Skiena, Steven S. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-55444-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

An Introduction to Distance Geometry applied to Molecular Geometry

2026-03-18T05:18:36Z

Yazar Lavor, Carlile. author. Liberti, Leo. author. A. Lodwick, Weldon. author. Mendonça da Costa, Tiago. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-57183-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Efficient Biometric Indexing and Retrieval Techniques for Large-Scale Systems

2026-03-18T05:18:36Z

Yazar Kavati, Ilaiah. author. Prasad, Munaga V.N.K. author. Bhagvati, Chakravarthy. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-57660-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recurrent Neural Networks for Short-Term Load Forecasting An Overview and Comparative Analysis

2026-03-18T05:18:36Z

Yazar Bianchi, Filippo Maria. author. Maiorino, Enrico. author. Kampffmeyer, Michael C. author. Rizzi, Antonello. author. Jenssen, Robert. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-70338-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Guide to Digital Forensics A Concise and Practical Introduction

2026-03-18T05:18:36Z

Yazar Kävrestad, Joakim. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-67450-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital Image Processing An Algorithmic Introduction Using Java

2026-03-18T05:18:36Z

Yazar Burger, Wilhelm. author. Burge, Mark J. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4471-6684-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Optical Flow and Trajectory Estimation Methods

2026-03-18T05:18:36Z

Yazar Gibson, Joel. author. Marques, Oge. author. (orcid)0000-0003-4321-2719 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-44941-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Elements of Cloud Storage Security Concepts, Designs and Optimized Practices

2026-03-18T05:18:36Z

Yazar Galibus, Tatiana. author. Krasnoproshin, Viktor V. author. (orcid)0000-0002-9463-4869 de Oliveira Albuquerque, Robson. author. Pignaton de Freitas, Edison. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-44962-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Target Detection and Tracking by Bionanosensor Networks

2026-03-18T05:18:36Z

Yazar Okaie, Yutaka. author. Nakano, Tadashi. author. Hara, Takahiro. author. Nishio, Shojiro. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-2468-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Distributed Computing and Monitoring Technologies for Older Patients

2026-03-18T05:18:36Z

Yazar Klonovs, Juris. author. Ahsanul Haque, Mohammad. author. Krüger, Volker. author. Nasrollahi, Kamal. author. Andersen-Ranberg, Karen. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-27024-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Physical Play and Children's Digital Games

2026-03-18T05:18:36Z

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

Research and Development in Art, Design and Creativity

2026-03-18T05:18:36Z

Yazar Earnshaw, Rae. author. (orcid)0000-0002-5156-7125 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-33005-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Android Application Security A Semantics and Context-Aware Approach

2026-03-18T05:18:36Z

Yazar Zhang, Mu. author. Yin, Heng. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47812-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Spatio-Temporal Recommendation in Social Media

2026-03-18T05:18:36Z

Yazar Yin, Hongzhi. author. Cui, Bin. author. (orcid)0000-0003-1681-4677 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-0748-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Intelligence A Methodological Introduction

2026-03-18T05:18:36Z

Yazar Kruse, Rudolf. author. Borgelt, Christian. author. Braune, Christian. author. Mostaghim, Sanaz. author. Steinbrecher, Matthias. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-1-4471-7296-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Digital Watermarking Techniques in Curvelet and Ridgelet Domain

2026-03-18T05:18:36Z

Yazar Rao, Channapragada Rama Seshagiri. author. Prasad, Munaga V.N.K. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-32951-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Spatio-Temporal Data Streams

2026-03-18T05:18:36Z

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

Exploring the Use of Eye Gaze Controlled Interfaces in Automotive Environments

2026-03-18T05:18:36Z

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

Elements of Cloud Computing Security A Survey of Key Practicalities

2026-03-18T05:18:36Z

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

Ontology-based Procedural Modelling of Traversable Buildings Composed by Arbitrary Shapes

2026-03-18T05:18:36Z

Yazar Adão, Telmo. author. Magalhães, Luís. author. (orcid)0000-0002-4426-0002 Peres, Emanuel. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42372-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cross-Cultural Multimedia Computing Semantic and Aesthetic Modeling

2026-03-18T05:18:36Z

Yazar Dubnov, Shlomo. author. Burns, Kevin. author. Kiyoki, Yasushi. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-42873-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Matrix and Tensor Factorization Techniques for Recommender Systems

2026-03-18T05:18:36Z

Yazar Symeonidis, Panagiotis. author. Zioupos, Andreas. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-41357-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Software and Service Composition A Survey and Evaluating Review

2026-03-18T05:18:36Z

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

Spatial Network Data Concepts and Techniques for Summarization

2026-03-18T05:18:36Z

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

Cloud Based 5G Wireless Networks

2026-03-18T05:18:36Z

Yazar Zhang, Yin. author. Chen, Min. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47343-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Link Prediction in Social Networks Role of Power Law Distribution

2026-03-18T05:18:36Z

Yazar Virinchi, Srinivas. author. Mitra, Pabitra. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-28922-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Physical Layer Security in Random Cellular Networks

2026-03-18T05:18:36Z

Yazar Wang, Hui-Ming. author. Zheng, Tong-Xing. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-10-1575-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Innovative Web Applications for Analyzing Traffic Operations

2026-03-18T05:18:36Z

Yazar Petrovska, Natasha. author. Stevanovic, Aleksandar. author. Furht, Borko. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-33319-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Big Data 2.0 Processing Systems A Survey

2026-03-18T05:18:36Z

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

Homomorphic Signature Schemes A Survey

2026-03-18T05:18:36Z

Yazar Traverso, Giulia. author. Demirel, Denise. author. Buchmann, Johannes. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-32115-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Wireless Health

2026-03-18T05:18:36Z

Yazar Wang, Honggang. author. Mahmud, Md Shaad. author. Fang, Hua. author. Wang, Chonggang. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-47946-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Support Vector Machines and Perceptrons Learning, Optimization, Classification, and Application to Social Networks

2026-03-18T05:18:36Z

Yazar Murty, M.N. author. Raghava, Rashmi. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-41063-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Innovative Technologies in Everyday Life

2026-03-18T05:18:36Z

Yazar Marques, Oge. author. (orcid)0000-0003-4321-2719 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-45699-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Creative Mathematical Sciences Communication 7th International Conference, CMSC 2024, Trier, Germany, October 7-10, 2024, Proceedings

2026-03-18T05:18:36Z

Yazar Fernau, Henning. editor. (orcid)0000-0002-4444-3220 Schwank, Inge. editor. (orcid)0000-0003-1546-3369 Staub, Jacqueline. editor. (orcid)0009-0004-7864-5711 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-73257-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Computing and Data Sciences 8th International Conference, ICACDS 2024, Vélizy, France, May 9-10, 2024, Revised Selected Papers

2026-03-18T05:18:36Z

Yazar Singh, Mayank. editor. Tyagi, Vipin. editor. (orcid)0000-0003-4994-3686 Gupta, P. K. editor. Flusser, Jan. editor. (orcid)0000-0003-3747-9214 Ören, Tuncer. editor. (orcid)0000-0001-8202-285X
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-70906-7
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-18T05:18:36Z

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

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

2026-03-18T05:18:36Z

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

Theoretical Aspects of Computing - ICTAC 2024 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings

2026-03-18T05:18:36Z

Yazar Anutariya, Chutiporn. editor. (orcid)0000-0001-7101-212X Bonsangue, Marcello M. editor. (orcid)0000-0003-3746-3618 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-77019-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Maths For Computing A Beginner's Guide

2026-03-18T05:18:36Z

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

Category Theory Using Haskell An Introduction with Moggi and Yoneda

2026-03-18T05:18:36Z

Yazar Yukita, Shuichi. author. (orcid)0009-0006-5297-7501 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-68538-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information and Communications Security 26th International Conference, ICICS 2024, Mytilene, Greece, August 26-28, 2024, Proceedings, Part I

2026-03-18T05:18:36Z

Yazar Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683 Xenakis, Christos. editor. (orcid)0000-0001-6718-122X Kalloniatis, Christos. editor. (orcid)0000-0002-8844-2596 Lambrinoudakis, Costas. editor. (orcid)0000-0003-3101-5347 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-8798-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Static Analysis 31st International Symposium, SAS 2024, Pasadena, CA, USA, October 20-22, 2024, Proceedings

2026-03-18T05:18:36Z

Yazar Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960 Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-74776-2
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-18T05:18:36Z

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

Optimization and Applications 15th International Conference, OPTIMA 2024, Petrovac, Montenegro, September 16-20, 2024, Revised Selected Papers

2026-03-18T05:18:36Z

Yazar Olenev, Nicholas. editor. (orcid)0000-0002-1032-2455 Evtushenko, Yuri. editor. (orcid)0000-0002-6094-7808 Jaćimović, Milojica. editor. (orcid)0000-0002-7068-8563 Khachay, Michael. editor. (orcid)0000-0003-3555-0080 Malkova, Vlasta. editor. (orcid)0000-0002-7928-512X
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-79119-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Translation 20th China Conference, CCMT 2024, Xiamen, China, November 8-10, 2024, Proceedings

2026-03-18T05:18:36Z

Yazar He, Zhongjun. editor. Chen, Yidong. editor. (orcid)0000-0002-0243-7228 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-2292-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

WALCOM: Algorithms and Computation 19th International Conference and Workshops on Algorithms and Computation, WALCOM 2025, Chengdu, China, February 28 - March 2, 2025, Proceedings

2026-03-18T05:18:36Z

Yazar Nakano, Shin-ichi. editor. (orcid)0000-0003-2368-6183 Xiao, Mingyu. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-2845-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part I

2026-03-18T05:18:36Z

Yazar Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-1090-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Theory and Related Fields Festschrift in Memory of Ning Cai

2026-03-18T05:18:36Z

Yazar Deppe, Christian. editor. (orcid)0000-0002-2265-4887 Winter, Andreas. editor. (orcid)0000-0001-6344-4870 Yeung, Raymond W. editor. (orcid)0000-0003-2688-1056 Boche, Holger. editor. (orcid)0000-0002-8375-8946 Althöfer, Ingo. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-82014-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Evolutionary Computation in Combinatorial Optimization 25th European Conference, EvoCOP 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings

2026-03-18T05:18:36Z

Yazar Krejca, Martin S. editor. (orcid)0000-0002-1765-1219 Wagner, Markus. editor. (orcid)0000-0002-3124-0061 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-86849-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Learning, Deep Learning, and Blockchain Fourth International Research Conference, IRCICD 2023, Chennai, India, April 28-29, 2023, Proceedings

2026-03-18T05:18:36Z

Yazar Suriyan, Kannadhasan. editor. (orcid)0000-0001-6443-9993 Sivakumar, Prasanna Devi. editor. Anand, Paavai Gopalan. editor. Palani, Durgadevi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-88237-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Recent Trends in Algebraic Development Techniques 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers

2026-03-18T05:18:36Z

Yazar Țuțu, Ionuț. editor. (orcid)0009-0004-4280-3036 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-88930-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025, Proceedings, Part I

2026-03-18T05:18:36Z

Yazar Tack, Guido. editor. (orcid)0000-0003-3357-6498 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-95973-8
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-18T05:18:36Z

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

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

2026-03-18T05:18:36Z

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

Descriptional Complexity of Formal Systems 26th IFIP WG 1.02 International Conference, DCFS 2025, Loughborough, UK, July 22-24, 2025, Proceedings

2026-03-18T05:18:36Z

Yazar Malcher, Andreas. editor. (orcid)0000-0002-9589-5833 Prigioniero, Luca. editor. (orcid)0000-0001-7163-4965 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97100-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 II

2026-03-18T05:18:36Z

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

Graphs in Biomedical Image Analysis 6th International Workshop, GRAIL 2024, Held in Conjunction with MICCAI 2024, Marrakesh, Morocco, October 6, 2024, Proceedings

2026-03-18T05:18:36Z

Yazar Ahmadi, Seyed-Ahmad. editor. (orcid)0000-0002-7082-0739 Kazi, Anees. editor. (orcid)0000-0003-4528-1670 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-83243-7
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-18T05:18:36Z

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

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

2026-03-18T05:18:36Z

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

Information and Communications Security 26th International Conference, ICICS 2024, Mytilene, Greece, August 26-28, 2024, Proceedings, Part II

2026-03-18T05:18:36Z

Yazar Katsikas, Sokratis. editor. (orcid)0000-0003-2966-9683 Xenakis, Christos. editor. (orcid)0000-0001-6718-122X Kalloniatis, Christos. editor. (orcid)0000-0002-8844-2596 Lambrinoudakis, Costas. editor. (orcid)0000-0003-3101-5347 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-97-8801-9
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-18T05:18:36Z

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

Cultural Perspectives of Human-Centered and Technological Innovations First International Workshop, CPHCATI 2024, Tokyo, Japan, January 27-28, 2024, Proceedings

2026-03-18T05:18:36Z

Yazar Taratukhin, Victor. editor. (orcid)0000-0002-7619-9269 Levchenko, Artem. editor. (orcid)0000-0003-3871-2620 Kim, Sohyeong. editor. (orcid)0000-0003-3333-1079 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-77012-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part I

2026-03-18T05:18:36Z

Yazar Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-81241-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023, Revised Selected Papers, Part II

2026-03-18T05:18:36Z

Yazar Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-81244-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023 Revised Selected Papers, Part III

2026-03-18T05:18:36Z

Yazar Sergeyev, Yaroslav D. editor. (orcid)0000-0002-1429-069X Kvasov, Dmitri E. editor. (orcid)0000-0002-5067-4383 Astorino, Annabella. editor. (orcid)0000-0002-3439-180X SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-81247-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithms and Discrete Applied Mathematics 11th International Conference, CALDAM 2025, Coimbatore, India, February 13-15, 2025, Proceedings

2026-03-18T05:18:36Z

Yazar Gaur, Daya. editor. (orcid)0000-0001-6876-6000 Mathew, Rogers. editor. (orcid)0000-0003-4536-1136 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-83438-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Intelligence in Communications and Business Analytics 6th International Conference, CICBA 2024, Patna, India, January 23-25, 2024, Revised Selected Papers, Part III

2026-03-18T05:18:36Z

Yazar Singh, Jyoti Prakash. editor. (orcid)0000-0002-3742-7484 Singh, Maheshwari Prasad. editor. (orcid)0000-0002-4121-4959 Singh, Amit Kumar. editor. (orcid)0000-0001-7359-2068 Mukhopadhyay, Somnath. editor. (orcid)0000-0002-4532-6245 Mandal, Jyotsna K. editor. (orcid)0000-0001-9447-647X
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-81336-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part III

2026-03-18T05:18:36Z

Yazar Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-1195-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-valued Logic for Decision-Making Under Uncertainty

2026-03-18T05:18:36Z

Yazar Kagan, Evgeny. author. Rybalov, Alexander. author. Yager, Ronald. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-74762-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computing and Combinatorics 30th International Conference, COCOON 2024, Shanghai, China, August 23-25, 2024, Proceedings, Part II

2026-03-18T05:18:36Z

Yazar Chen, Yong. editor. Gao, Xiaofeng. editor. (orcid)0000-0003-1776-8799 Sun, Xiaoming. editor. (orcid)0000-0002-0281-1670 Zhang, An. editor. (orcid)0000-0002-2622-5158 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-1093-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas

2026-03-18T05:18:36Z

Yazar Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-85352-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part I

2026-03-18T05:18:36Z

Yazar García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90062-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applications of Evolutionary Computation 28th European Conference, EvoApplications 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings, Part II

2026-03-18T05:18:36Z

Yazar García-Sánchez, Pablo. editor. (orcid)0000-0003-4644-2894 Hart, Emma. editor. Thomson, Sarah L. editor. (orcid)0000-0001-6971-7817 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90065-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence in Music, Sound, Art and Design 14th International Conference, EvoMUSART 2025, Held as Part of EvoStar 2025, Trieste, Italy, April 23-25, 2025, Proceedings

2026-03-18T05:18:36Z

Yazar Machado, Penousal. editor. (orcid)0000-0002-6308-6484 Johnson, Colin. editor. (orcid)0000-0002-9236-6581 Santos, Iria. editor. (orcid)0000-0002-4910-3890 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90167-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part II

2026-03-18T05:18:36Z

Yazar Du, Donglei. editor. Han, Lu. editor. Xu, Dachuan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-4448-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatorial Optimization and Applications 17th International Conference, COCOA 2024, Beijing, China, December 6-8, 2024, Proceedings, Part I

2026-03-18T05:18:36Z

Yazar Du, Donglei. editor. Han, Lu. editor. Xu, Dachuan. editor. (orcid)0000-0002-7846-0969 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-4445-2
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-18T05:18:36Z

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

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

2026-03-18T05:18:36Z

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

Modelling and Mining Networks 20th International Workshop, WAW 2025, Vilnius, Lithuania, June 30 - July 3, 2025, Proceedings

2026-03-18T05:18:36Z

Yazar Bloznelis, Mindaugas. editor. Drungilas, Paulius. editor. Kamiński, Bogumił. editor. Prałat, Paweł. editor. Šileikis, Matas. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-92898-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Machine Learning and Soft Computing 9th International Conference, ICMLSC 2025, Tokyo, Japan, January 24-26, 2025, Revised Selected Papers, Part II

2026-03-18T05:18:36Z

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

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings

2026-03-18T05:18:36Z

Yazar Beckmann, Arnold. editor. (orcid)0000-0001-7958-5790 Oitavem, Isabel. editor. (orcid)0000-0002-3573-9281 Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-95908-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-18T05:18:36Z

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

Languages of Cooperation and Communication Essays Dedicated to Erzsébet Csuhaj-Varjú to Celebrate Her Scientific Career

2026-03-18T05:18:36Z

Yazar Jiménez López, M. Dolores. editor. (orcid)0000-0001-5544-3210 Vaszil, György. editor. (orcid)0000-0003-1213-8616 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-97274-4
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-18T05:18:36Z

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 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV

2026-03-18T05:18:36Z

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-18T05:18:36Z

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 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II

2026-03-18T05:18:36Z

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-18T05:18:36Z

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 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part IV

2026-03-18T05:18:36Z

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 - ICCS 2025 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part I

2026-03-18T05:18:36Z

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 Workshops 25th International Conference, Singapore, Singapore, July 7-9, 2025, Proceedings, Part II

2026-03-18T05:18:36Z

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

Arithmetic of Finite Fields 10th International Workshop, WAIFI 2024, Ottawa, ON, Canada, June 10-12, 2024, Revised Selected Papers

2026-03-18T05:18:36Z

Yazar Petkova-Nikova, Svetla. editor. (orcid)0000-0003-3133-9261 Panario, Daniel. editor. (orcid)0000-0003-3551-4063 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-81824-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Parallel and Distributed Computing, Applications and Technologies 25th International Conference, PDCAT 2024, Hong Kong, China, December 13-15, 2024, Proceedings

2026-03-18T05:18:36Z

Yazar Li, Yupeng. editor. Zhang, Yong. editor. (orcid)0000-0002-8730-3711 Xu, Jianliang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-981-96-4207-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Explainability, Agents, and Large Language Models First International Workshop on Causality, Agents and Large Models, CALM 2024, Kyoto, Japan, November 18-19, 2024, Proceedings

2026-03-18T05:18:36Z

Yazar Mualla, Yazan. editor. (orcid)0000-0002-6772-6135 Yu, Liuwen. editor. (orcid)0000-0002-7200-6001 Liga, Davide. editor. (orcid)0000-0003-1124-0299 Tchappi, Igor. editor. (orcid)0000-0001-5437-1817 Markovich, Réka. editor. (orcid)0000-0002-2488-2293
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-89103-8
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-18T05:18:36Z

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-18T05:18:36Z

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

Foundations of Software Science and Computation Structures 28th International Conference, FoSSaCS 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-18T05:18:36Z

Yazar Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611 Kesner, Delia. editor. (orcid)0000-0003-4254-3129 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-90897-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integer Programming and Combinatorial Optimization 26th International Conference, IPCO 2025, Baltimore, MD, USA, June 11-13, 2025, Proceedings

2026-03-18T05:18:36Z

Yazar Megow, Nicole. editor. (orcid)0000-0002-3531-7644 Basu, Amitabh. editor. (orcid)0000-0002-1070-2626 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-93112-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-18T05:18:36Z

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

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

2026-03-18T05:18:36Z

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

Algorithmic Aspects of Cloud Computing 9th International Symposium, ALGOCLOUD 2024, London, UK, September 2-3, 2024, Revised Selected Papers

2026-03-18T05:18:36Z

Yazar Doka, Katerina. editor. Tsiropoulou, Eirini Eleni. editor. (orcid)0000-0003-1322-1876 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-94677-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Integration of Constraint Programming, Artificial Intelligence, and Operations Research 22nd International Conference, CPAIOR 2025, Melbourne, VIC, Australia, November 10-13, 2025, Proceedings, Part II

2026-03-18T05:18:36Z

Yazar Tack, Guido. editor. (orcid)0000-0003-3357-6498 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-95976-9
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-18T05:18:36Z

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

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

2026-03-18T05:18:36Z

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

Combinatorial Algorithms 36th International Workshop, IWOCA 2025, Bozeman, MT, USA, July 21-24, 2025, Proceedings

2026-03-18T05:18:36Z

Yazar Fernau, Henning. editor. (orcid)0000-0002-4444-3220 Zhu, Binhai. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-98740-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Bioinformatics and Computational Biology 17th International Conference, BICOB 2025, San Francisco, CA, USA, March 17, 2025, Proceedings

2026-03-18T05:18:36Z

Yazar Aldwairi, Tamer. editor. Al-Mubaid, Hisham. editor. Eulenstein, Oliver. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-94039-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computing and Combinatorics 29th International Conference, COCOON 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part II

2026-03-18T05:18:36Z

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

Combinatorial Optimization and Applications 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part I

2026-03-18T05:18:36Z

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

Combinatorial Optimization and Applications 16th International Conference, COCOA 2023, Hawaii, HI, USA, December 15-17, 2023, Proceedings, Part II

2026-03-18T05:18:36Z

Yazar Wu, Weili. editor. (orcid)0000-0001-8747-6340 Guo, Jianxiong. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-49614-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Algorithmic Aspects of Cloud Computing 8th International Symposium, ALGOCLOUD 2023, Amsterdam, The Netherlands, September 5, 2023, Revised Selected Papers

2026-03-18T05:18:36Z

Yazar Chatzigiannakis, Ioannis. editor. Karydis, Ioannis. editor. (orcid)0000-0002-9470-2729 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-49361-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Selected Reflections in Language, Logic, and Information ESSLLI 2019, ESSLLI 2020 and ESSLLI 2021 Student Sessions, Selected Papers

2026-03-18T05:18:36Z

Yazar Pavlova, Alexandra. editor. Pedersen, Mina Young. editor. Bernardi, Raffaella. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-50628-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Operations Research and Enterprise Systems 11th International Conference, ICORES 2022, Virtual Event, February 3-5, 2022, and 12th International Conference, ICORES 2023, Lisbon, Portugal, February 19-21, 2023, Revised Selected Papers

2026-03-18T05:18:36Z

Yazar Liberatore, Federico. editor. (orcid)0000-0001-9900-5108 Wesolkowski, Slawo. editor. Demange, Marc. editor. (orcid)0000-0001-6195-2919 Parlier, Greg H. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-49662-2
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-18T05:18:36Z

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

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

2026-03-18T05:18:36Z

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-50524-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Petri Net Primer A Compendium on the Core Model, Analysis, and Synthesis

2026-03-18T05:18:36Z

Yazar Best, Eike. author. (orcid)0000-0003-0884-6468 Devillers, Raymond. author. (orcid)0000-0002-4339-2708 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-48278-6
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-18T05:18:36Z

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

Advanced Computational Applications of Geometric Algebra First International Conference, ICACGA 2022, Denver, CO, USA, October 2-5, 2022, Proceedings

2026-03-18T05:18:36Z

Yazar Silva, David W. editor. (orcid)0000-0003-4498-0525 Hitzer, Eckhard. editor. Hildenbrand, Dietmar. editor. (orcid)0000-0002-6384-4345 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-34031-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part I

2026-03-18T05:18:36Z

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

LATIN 2024: Theoretical Informatics 16th Latin American Symposium, Puerto Varas, Chile, March 18-22, 2024, Proceedings, Part II

2026-03-18T05:18:36Z

Yazar Soto, José A. editor. Wiese, Andreas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-55601-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part I

2026-03-18T05:18:36Z

Yazar Smith, Stephen. editor. Correia, João. editor. Cintrano, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-56852-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Applications of Evolutionary Computation 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part II

2026-03-18T05:18:36Z

Yazar Smith, Stephen. editor. Correia, João. editor. Cintrano, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-56855-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence in Music, Sound, Art and Design 13th International Conference, EvoMUSART 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings

2026-03-18T05:18:36Z

Yazar Johnson, Colin. editor. Rebelo, Sérgio M. editor. Santos, Iria. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-56992-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling and Mining Networks 19th International Workshop, WAW 2024, Warsaw, Poland, June 3-6, 2024, Proceedings

2026-03-18T05:18:36Z

Yazar Dewar, Megan. editor. Kamiński, Bogumił. editor. (orcid)0000-0002-0678-282X Kaszyński, Daniel. editor. Kraiński, Łukasz. editor. Prałat, Paweł. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-031-59205-8
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 II

2026-03-18T05:18:36Z

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-63751-3
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 IV

2026-03-18T05:18:36Z

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-63772-8
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-18T05:18:36Z

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

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

2026-03-18T05:18:36Z

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-63749-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1