Arama Sonuçlarını Sınırlandır
Yazar
SpringerLink (Online service)
(23)
Gurfinkel, Arie. editor. (orcid)0000-0002-5964-6792
(3)
Heule, Marijn. editor. (orcid)0000-0002-5587-8801
(3)
Bryson, J. R., 1963-
(2)
Daniel, Florian. editor.
(2)
Dil
Yayın Yılı
-
Konu
Competition, International.
(26)
Software engineering.
(11)
Computer science.
(8)
Artificial intelligence.
(7)
Theory of Computation.
(7)
Materyal Türü
Shelf Location
Liste görünümüne geç
Küçük resim görünümüne geç
Eylem Seç
75 sonuç bulundu Arama sonuçlarına abone ol
000000000000DEFAULT_TR
Yazdır
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
2. 
Techno-nationalism : how it's reshaping trade, geopolitics and society için kapak resmi
Techno-nationalism : how it's reshaping trade, geopolitics and society
Yazar 
Capri, Alex, author.
Yer Numarası 
HC79 .T4 C37 2025
Elektronik Erişim 
https://onlinelibrary.wiley.com/doi/book/10.1002/9781119766193
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
3. 
RoboCup 2024: Robot World Cup XXVII için kapak resmi
RoboCup 2024: Robot World Cup XXVII
Yazar 
Barros, Edna. editor. (orcid)0000-0001-6479-3052 Hanna, Josiah P. editor. (orcid)0000-0002-7411-0398 Okada, Hiroyuki. editor. (orcid)0000-0003-4217-1548 Torta, Elena. editor. (orcid)0000-0001-9198-1374 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-85859-8
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
4. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
5. 
Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings için kapak resmi
Fundamental Approaches to Software Engineering 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings
Yazar 
Boronat, Artur. editor. (orcid)0000-0003-2024-1736 Fraser, Gordon. editor. (orcid)0000-0002-4364-6595 SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-90900-9
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
6. 
Entertainment Computing - ICEC 2025 24th IFIP TC 14 International Conference, Tokyo, Japan, August 27-30, 2025, Proceedings için kapak resmi
Entertainment Computing - ICEC 2025 24th IFIP TC 14 International Conference, Tokyo, Japan, August 27-30, 2025, Proceedings
Yazar 
Sugimoto, Maki. editor. Di Iorio, Angelo. editor. (orcid)0000-0002-6893-7452 Figueroa, Pablo. editor. (orcid)0000-0001-5412-8630 Yamanishi, Ryosuke. editor. (orcid)0009-0007-6798-279X Matsumura, Kohei. editor. (orcid)0000-0001-6397-7255
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-032-02555-5
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
7. 
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 için kapak resmi
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
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: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
8. 
The Routledge handbook of great power competition için kapak resmi
The Routledge handbook of great power competition
Yazar 
Fong, Brian C. H., editor. Chong, Ja Ian, editor.
Yer Numarası 
JZ1310
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003340997
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
9. 
Advanced Parallel Processing Technologies 15th International Symposium, APPT 2023, Nanchang, China, August 4-6, 2023, Proceedings için kapak resmi
Advanced Parallel Processing Technologies 15th International Symposium, APPT 2023, Nanchang, China, August 4-6, 2023, Proceedings
Yazar 
Li, Chao. editor. (orcid)0000-0001-6218-4659 Li, Zhenhua. editor. (orcid)0000-0001-7286-122X Shen, Li. editor. (orcid)0000-0001-9043-2998 Wu, Fan. editor. (orcid)0000-0003-0965-9058 Gong, Xiaoli. editor.
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-981-99-7872-4
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
10. 
Trade, competition and domestic regulatory policy : trade liberalisation, competitive markets and property rights protection için kapak resmi
Trade, competition and domestic regulatory policy : trade liberalisation, competitive markets and property rights protection
Yazar 
Singham, Shanker, author. Abbott, Alden F., author.
Yer Numarası 
HD3612
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9780429323331
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
11. 
Robotics in Education Proceedings of the RiE 2023 Conference için kapak resmi
Robotics in Education Proceedings of the RiE 2023 Conference
Yazar 
Balogh, Richard. editor. Obdržálek, David. editor. Christoforou, Eftychios. editor. SpringerLink (Online service)
Yer Numarası 
ONLINE
Elektronik Erişim 
https://doi.org/10.1007/978-3-031-38454-7
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
12. 
China, the United States and the technological supremacy in Europe için kapak resmi
China, the United States and the technological supremacy in Europe
Yazar 
Moldicz, Csaba, author.
Yer Numarası 
T49.5
Elektronik Erişim 
Taylor & Francis https://www.taylorfrancis.com/books/9781003128625
OCLC metadata license agreement http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf
Format: 
Durum 
Çevrimiçi Kütüphane~1
Rafta:
Kopya:
Eylem Seç