Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(216)
Dongarra, Jack J. editor. (orcid)0000-0003-3247-1782
(11)
Sloot, Peter M. A. editor. (orcid)0000-0002-3848-5395
(11)
Cao, Longbing. editor. (orcid)0000-0003-1524-9063
(7)
Franco, Leonardo. editor. (orcid)0000-0003-0012-5914
(7)
Dil
English
(216)
Yayın Yılı
-
Konu
Computer science -- Mathematics.
(213)
Artificial intelligence.
(121)
Computer networks .
(104)
Computer science.
(90)
Theory of Computation.
(77)
Materyal Türü
Shelf Location
Kütüphane
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
216 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
1. 
Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023 Revised Selected Papers, Part III için kapak resmi
Numerical Computations: Theory and Algorithms 4th International Conference, NUMTA 2023, Pizzo Calabro, Italy, June 14-20, 2023 Revised Selected Papers, Part III
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II için kapak resmi
Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part II
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I için kapak resmi
Verification, Model Checking, and Abstract Interpretation 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
Optimization and Applications 15th International Conference, OPTIMA 2024, Petrovac, Montenegro, September 16-20, 2024, Revised Selected Papers için kapak resmi
Optimization and Applications 15th International Conference, OPTIMA 2024, Petrovac, Montenegro, September 16-20, 2024, Revised Selected Papers
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Algorithms and Discrete Applied Mathematics 11th International Conference, CALDAM 2025, Coimbatore, India, February 13-15, 2025, Proceedings için kapak resmi
Algorithms and Discrete Applied Mathematics 11th International Conference, CALDAM 2025, Coimbatore, India, February 13-15, 2025, Proceedings
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
Distributed Computer and Communication Networks 27th International Conference, DCCN 2024, Moscow, Russia, September 23-27, 2024, Revised Selected Papers için kapak resmi
Distributed Computer and Communication Networks 27th International Conference, DCCN 2024, Moscow, Russia, September 23-27, 2024, Revised Selected Papers
Yazar 
Vishnevsky, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. (orcid)0000-0002-6368-9680 Kozyrev, Dmitry V. editor. (orcid)0000-0003-0538-8430 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-80853-1
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Integrated Uncertainty in Knowledge Modelling and Decision Making 11th International Symposium, IUKM 2025, Ho Chi Minh City, Vietnam, March 17-19, 2025, Proceedings, Part II için kapak resmi
Integrated Uncertainty in Knowledge Modelling and Decision Making 11th International Symposium, IUKM 2025, Ho Chi Minh City, Vietnam, March 17-19, 2025, Proceedings, Part II
Yazar 
Huynh, Van-Nam. editor. (orcid)0000-0002-3860-7815 Honda, Katsuhiro. editor. (orcid)0000-0001-9080-5942 Le, Bac. editor. (orcid)0000-0002-4306-6945 Inuiguchi, Masahiro. editor. (orcid)0000-0001-9970-1621 Huynh, Hieu T. editor. (orcid)0000-0002-2097-0704
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-96-4603-6
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Modelling and Development of Intelligent Systems 9th International Conference, MDIS 2024, Sibiu, Romania, October 17-19, 2024, Revised Selected Papers için kapak resmi
Modelling and Development of Intelligent Systems 9th International Conference, MDIS 2024, Sibiu, Romania, October 17-19, 2024, Revised Selected Papers
Yazar 
Simian, Dana. editor. (orcid)0000-0002-5210-1810 Stoica, Laura Florentina. editor. (orcid)0000-0002-4758-6606 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-87386-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
Distributed Computer and Communication Networks 27th International Conference, DCCN 2024, Moscow, Russia, September 23-27, 2024, Revised Selected Papers için kapak resmi
Distributed Computer and Communication Networks 27th International Conference, DCCN 2024, Moscow, Russia, September 23-27, 2024, Revised Selected Papers
Yazar 
Vishnevskiy, Vladimir M. editor. (orcid)0000-0001-7373-4847 Samouylov, Konstantin E. editor. (orcid)0000-0002-6368-9680 Kozyrev, Dmitry V. editor. (orcid)0000-0003-0538-8430 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-89211-0
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç